IEEE DRAFT 1320.2 : D0.9 FEB 98

Clause
Introduction
Participants
Contents
1 Overview
1.1 Scope
1.2 Purpose
1.3 Evolution of IDEFIX
2 References
3 Definitions
4 IDEFIX language overview
4.1 IDEFIX language constructs
4.2 IDEFIX notation
5 Class
5.1 Introduction
5.2 State Class
5.3 Value Class
5.4 Generalization
5.5 Relationship
6 Responsibility
6.1 Introduction
6.4 Attribute
6.5 Participant Property
6.6 Operation
6.7 Constraint
6.8 Note
7 Rule and constrain language
7.1 Introduction
7.2 Realization
7.3 Message
7.4 Typing
7.5 Message resolution
7.6 Assignment
7.7 Propositions
7.8 Sentences
7.9 Type Checking
7.10 Constraint checking
7.11 Query
7.12 Total ordering
7.13 Implementation dependent
7.14 Lexical characteristics
7.15 RCL Syntax
8 Model infrastructure constructs
8.1 View
8.2 Identity style view level
8.3 Environment
8.4 Glossary
8.5 Model
9 Key style modeling
9.1 Entity
9.2 Domain/value class
9.3 Key-style view
9.4 Attribute
9.5 Relationship
9.6 Entity Generalization
9.7 Primary and alternate key
9.8 Foreign key
9.9 Common Ancestor Constraint
9.10 Key style view level
9.11 Key style glossary
9.12 Key style notes
9.13 Key style lexical rules
10 Formalization
10.1 Introduction
10.2 IDEF object Metamodel
10.3 Definition clausal form
10.4 Vocabulary
10.5 Frequently used axioms
10.6 Rewriting an IDEF object View to definition clausal form
10.7 Formalization of the modeling constructs
10.8 Summary of the formal meaning of a view
ANNEXES
Annex A Bibliography
Annex B Comparison of IDEFIX93 and IDEFIX97 constructs
Annex C Examples (informative)
Annex D Built in Classes (normative