🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
IEEE ISO IEC 31320 2 2012

IEEE ISO IEC 31320 2 2012

$138.13

Information technology — Modeling LanguagesPart 2: Syntax and Semantics for IDEF1X97 (IDEFobject)

Published By Publication Date Number of Pages
IEEE 2012 320
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

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]

– Active. The semantics and syntax of IDEF1X, a language used to represent a conceptual schema, are described. Two styles of IDEF1X model are described. 1. The key style is used to produce information models that represent the structure and semantics of data within an enterprise and is backward-compatible with the US government’s Federal Information Processing Standard (FIPS) PUB 184, Integration Definition for Information Modeling (IDEF1X). 2. The identity style is used to produce object models that represent the knowledge, behaviour, and rules of the concepts within an enterprise. It can be used as a growth path for key-style models. The identity style can, with suitable automation support, be used to develop a model that is an executable prototype of the target object-oriented system..

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

Related products

IEEE ISO IEC 31320 2 2012
$138.13