IEEE 1320.2 1998

$94.25

IEEE Standard for Conceptual Modeling Language – Syntax and Semantics for IDEF1X97 (IDEFobject)

Published By	Publication Date	Number of Pages
IEEE	1998	316

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

New IEEE 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.

PDF Catalog

PDF Pages	PDF Title
1	Title Page
3	Introduction
9	Participants
11	CONTENTS
13	1. Overview 1.1 Scope
14	1.2 Purpose
15	1.3 Evolution of IDEF1X
21	1.4 Conformance
22	2. References 3. Definitions, acronyms, and abbreviations 3.1 Definitions
36	3.2 Abbreviations and acronyms 4. IDEF1X language overview
37	4.1 IDEF1X language constructs
38	4.2 IDEF1X notation
43	5. Class 5.1 Introduction
47	5.2 State class
53	5.3 Value class
60	5.4 Generalization
69	5.5 Relationship
77	6. Responsibility 6.1 Introduction
82	6.2 Request
86	6.3 Property
99	6.4 Attribute
109	6.5 Participant property
117	6.6 Operation
125	6.7 Constraint
133	6.8 Note
135	7. Rule and constraint language 7.1 Introduction
137	7.2 Realization
139	7.3 Message
142	7.4 Typing
145	7.5 Dynamic binding
148	7.6 Assignment
149	7.7 Propositions
150	7.8 Sentences
152	7.9 Type checking 7.10 Constraint checking
153	7.11 Query 7.12 Total ordering
154	7.13 Implementation-dependent 7.14 Lexical characteristics
155	7.15 RCL syntax
158	8. Model infrastructure constructs
159	8.1 View
165	8.2 Identity-style view level
167	8.3 Environment
170	8.4 Glossary
172	8.5 Model
175	9. Key-style modeling
176	9.1 Entity
178	9.2 Domain/value class 9.3 Key-style view
180	9.4 Attribute
183	9.5 Relationship
191	9.6 Entity generalization
195	9.7 Primary and alternate key
197	9.8 Foreign key
201	9.9 Common ancestor constraint
204	9.10 Key-style view level
208	9.11 Key-style glossary
209	9.12 Key-style notes 9.13 Key-style lexical rules
210	10. Formalization 10.1 Introduction
213	10.2 IDEFobject metamodel
220	10.3 Definition clausal form
225	10.4 Vocabulary
230	10.5 Axioms of base theories
232	10.6 Rewriting an IDEFobject view to definition clausal form
245	10.7 Formalization of the modeling constructs
277	10.8 Summary of the formal meaning of a view
278	Annex A—Bibliography
280	Annex B—Comparison of IDEF1X93 and IDEF1X97 constructs
283	Annex C—Examples
302	Annex D—Built-in classes

Additional information

Standard Title	IEEE Standard for Conceptual Modeling Language – Syntax and Semantics for IDEF1X97 (IDEFobject)
Published Code	IEEE
Publication Date	1998
Pages Count	316

Preview PDF


PDF Format	Searchable	Printable	Preview Now

IEEE 1320.2 1998

PDF Catalog

Related products