IEC/IEEE 31320-2:2012
ISO/IEC/IEEE国际标准. 信息技术. 建模语言. 第2部分: IDEF1X97 (IDEF对象) 用句法和语义学

ISO/IEC/IEEE International Standard - Information technology - Modeling Languages - Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 IEC/IEEE 31320-2:2012 前三页，或者稍后再访问。

如果您需要购买此标准的全文，请联系： 。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

IEC/IEEE 31320-2:2012

发布日期

2012年

实施日期

废止日期

无

中国标准分类号

L74

国际标准分类号

35.060

发布单位

国际电工委员会

引用标准

IEEE 100:1996

适用范围

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相似标准

推荐