IEC/IEEE 31320-2:2012 Estándar internacional ISO/IEC/IEEE - Tecnología de la información - Lenguajes de modelado - Parte 2: Sintaxis y semántica para IDEF1X97 (IDEFobject)
Estándar de adopción: Active.IDEF1X97 consta de dos lenguajes de modelado conceptual. El lenguaje de estilo clave admite el modelado de datos/información y es compatible con versiones anteriores del estándar FIPS PUB 184 del gobierno de EE. UU. de 1993. El lenguaje de estilo de identidad se basa en el modelo de objetos con reglas y restricciones declarativas. El estilo de identidad IDEF1X97 incluye construcciones para los componentes distintos pero relacionados de la abstracción de objetos: interfaz, solicitudes y realización; utiliza gráficos para indicar la interfaz; y define un lenguaje de reglas y restricciones declarativo y directamente ejecutable para solicitudes y realizaciones. El modelado conceptual IDEF1X97 admite la implementación mediante bases de datos relacionales, bases de datos relacionales extendidas, bases de datos de objetos y lenguajes de programación de objetos. IDEF1X97 se define formalmente en términos de lógica de primer orden. Se proporciona un procedimiento mediante el cual cualquier modelo IDEF1X97 válido puede transformarse en una teoría equivalente en lógica de primer orden. Luego, ese procedimiento se aplica a un metamodelo de IDEF1X97 para definir el conjunto válido de modelos IDEF1X97.
IEC/IEEE 31320-2:2012 Historia
2012IEC/IEEE 31320-2:2012 Estándar internacional ISO/IEC/IEEE - Tecnología de la información - Lenguajes de modelado - Parte 2: Sintaxis y semántica para IDEF1X97 (IDEFobject)