IEEE 31320-2-2012

$189.58

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

Published By	Publication Date	Number of Pages
IEEE	2012

Guaranteed Safe Checkout

Category: IEEE

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

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 government’s 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.

PDF Catalog

PDF Pages	PDF Title
1	ISO/IEC/IEEE 31320-2:2012 Front Cover
5	Title Page
7	Introduction
13	CONTENTS
15	1. Overview 1.1 Scope
16	1.2 Purpose
17	1.3 Evolution of IDEF1X
23	1.4 Conformance
24	2. References 3. Definitions, acronyms, and abbreviations 3.1 Definitions
38	3.2 Abbreviations and acronyms 4. IDEF1X language overview
39	4.1 IDEF1X language constructs
40	4.2 IDEF1X notation
45	5. Class 5.1 Introduction
49	5.2 State class
55	5.3 Value class
62	5.4 Generalization
71	5.5 Relationship
79	6. Responsibility 6.1 Introduction
84	6.2 Request
88	6.3 Property
101	6.4 Attribute
111	6.5 Participant property
119	6.6 Operation
127	6.7 Constraint
135	6.8 Note
137	7. Rule and constraint language 7.1 Introduction
139	7.2 Realization
141	7.3 Message
144	7.4 Typing
147	7.5 Dynamic binding
150	7.6 Assignment
151	7.7 Propositions
152	7.8 Sentences
154	7.9 Type checking 7.10 Constraint checking
155	7.11 Query 7.12 Total ordering
156	7.13 Implementation-dependent 7.14 Lexical characteristics
157	7.15 RCL syntax
160	8. Model infrastructure constructs
161	8.1 View
167	8.2 Identity-style view level
169	8.3 Environment
172	8.4 Glossary
174	8.5 Model
176	9. Key-style modeling
177	9.1 Entity
179	9.2 Domain/value class 9.3 Key-style view
181	9.4 Attribute
184	9.5 Relationship
192	9.6 Entity generalization
196	9.7 Primary and alternate key
198	9.8 Foreign key
202	9.9 Common ancestor constraint
205	9.10 Key-style view level
209	9.11 Key-style glossary
210	9.12 Key-style notes 9.13 Key-style lexical rules
211	10. Formalization 10.1 Introduction
214	10.2 IDEFobject metamodel
221	10.3 Definition clausal form
226	10.4 Vocabulary
231	10.5 Axioms of base theories
233	10.6 Rewriting an IDEFobject view to definition clausal form
246	10.7 Formalization of the modeling constructs
278	10.8 Summary of the formal meaning of a view
279	Annex A—Bibliography
281	Annex B—Comparison of IDEF1X93 and IDEF1X97 constructs
284	Annex C—Examples
303	Annex D—Built-in classes
318	Annex E—IEEE list of participants

Additional information

Standard Title	ISO/IEC/IEEE International Standard – Information technology — Modeling Languages — Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)
Published Code	IEEE
Publication Date	2012

Preview PDF


PDF Format	Searchable	Printable	Preview Now

IEEE 31320-2-2012

PDF Catalog

Related products