Adoption Standard - Active.IDEF1X97 consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible with the US governments 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X97 identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X97 conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X97 is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X97 model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X97 to define the valid set of IDEF1X97 models.
IEC/IEEE 31320-2-2012由国际电工委员会 IX-IEC 发布于 2012。
IEC/IEEE 31320-2-2012 在中国标准分类中归属于: L74 程序语言,在国际标准分类中归属于: 35.060 信息技术用语言。
非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 IEC/IEEE 31320-2-2012 前三页,或者稍后再访问。
点击下载后,生成下载文件时间比较长,请耐心等待......
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号