Part 1: Conceptual Schema for IRDS
Foreword
List of figures
1 Introduction
1.1 Purpose and scope
1.2 Project approach summary and details
1.3 Integration approaches
1.4 Summary
1.5 Recommendations
2 References
3 Definitions
4 Requirements
4.1 IRDS requirements
4.2 IRDS three-schema requirements
4.3 Conceptual schema language requirements
5 Conceptual schema architecture
5.1 IRDS and the role of the conceptual schema
5.2 Foundations of the conceptual schema
5.3 Roles of the conceptual schema
5.4 Conceptual schema taxonomy
5.5 Levels of description
5.6 Schema language framework
5.7 Schema operations
6 Conceptual schema of the IRDS
7 An approach to unification
7.1 Introduction
7.2 Summary of IRDS unification
7.3 Developing the IRDS Defining and Normative Schemas
7.4 Identifying deep semantic constructs
7.5 Identifying deep semantic constructs in modeling
languages
7.6 Examples of semantic constructs of modeling languages
Annex
A Logical foundation
A.1 Propositional logic
A.2 Predicates
A.3 Predicate logic
A.4 Formation rules
A.5 Rules of inference
A.6 Other logics
A.7 Sets
A.8 Relations and functions
B Conceptual graph formalism
B.1 Conceptual graphs
B.2 Referents
B.3 Type hierarchy
B.4 Conceptual relations
B.5 Situations and contexts
B.6 Coreference links
B.7 Defining concept and relation types
B.8 Quantification
B.9 Higher order types
B.10 Plurals
B.11 Actors
B.12 Mapping to predicate calculus
C IRDS conceptual schema constructs
C.1 IRDS static, dynamic, and higher order construct
groupings
C.2 IRDS Construct Definitions
D Example UoD
D.1 Oz Car Registration Authority
D.2 Oz Car Regulations
E Glossary of related terms
F References
G Selected bibliography
Index
Part 2: Modeling Language Analysis
Foreword
List of Figures
1 Introduction
1.1 Model analysis approach, scope, purpose
2 Analysis and review of ISO IRDS
2.1 Introduction
2.2 Model analyzed
2.3 Overview of model
2.4 Model concepts and constructs
3 Analysis and review of ANSI X3.138-1988
3.1 Introduction
3.2 Model analyzed
3.3 Overview of model
3.4 Model concepts and constructs
4 Analysis and review of IDEF1X
4.1 Introduction
4.2 Model analyzed
4.3 Overview of model
4.4 Model concepts and constructs
4.5 Grammar and semantics
4.6 Modeling procedure and rules
5 Analysis and review of NIAM
5.1 Introduction
5.2 Model analyzed
5.3 Overview of model
5.4 Model concepts and constructs
5.5 Modeling procedure and rules
5.6 NIAM graphical and textual representations
5.7 Usage with standard example UoD
6 Analysis and review of OO
6.1 Introduction
6.2 Model analyzed
6.3 Overview of model
6.4 Model concepts and constructs
7 Analysis and review of UDM
7.1 Introduction
7.2 Model analyzed
7.3 Overview of model
7.4 Model concepts and constructs
7.5 Modeling procedure and rules
8 Analysis and review of PDES/SUMM
8.1 Introduction
8.2 Model analyzed
8.3 Overview of PDES/SUMM
8.4 Model concepts and constructs
9 Analysis and review of KIF
9.1 Introduction
9.2 Model analyzed
9.3 Overview of model
9.4 Model concepts and constructs
10 Analysis and review of CG
10.1 Introduction
10.2 Model analyzed
10.3 Overview of model
10.4 Model concepts and constructs
Annex
A References
Index