Summary
Introduction
1
Scope
2
Normative references
2.1 Identical Recommendations | International Standards
2.2 Paired Recommendations | International Standards equivalent in
technical content
3
Definitions
3.1 Descriptive definitions
3.2 Abbreviations
4
Framework
4.1 Viewpoints
4.1.1 Concepts
4.1.2 Using viewpoints
4.2 ODP viewpoint languages
4.2.1
Concept
4.2.2 Using viewpoint languages
4.3 ODP functions
4.4 ODP distribution transparencies
4.4.1 Concepts
4.4.2 Using distribution transparency
4.5 Standards derived from the framework
4.6 Conformance
5
Enterprise language
5.1 Concepts
5.2 Structuring rules
5.3 Conformance and reference points
6
Information language
6.1 Concepts
6.2 Structuring rules
6.3 Conformance and reference points
7
Computational language
7.1 Concepts
7.2 Structuring rules
7.2.1 Naming rules
7.2.2 Interaction rules
7.2.2.1 Signal interaction
rules
7.2.2.2 Stream interaction
rules
7.2.2.3 Operation interaction
rules
7.2.2.4
Parameter rules
7.2.2.5 Flows, operations and
signals
7.2.3 Binding rules
7.2.3.1 Implicit binding
rules for server operation interfaces
7.2.3.2
Primitive binding rules
7.2.3.3 Compound binding
rules
7.2.4 Type rules
7.2.4.1 Signature subtyping
rules for signal interfaces
7.2.4.2 Signature subtyping rules for stream interfaces
7.2.4.3 Signature subtyping
rules for operation interfaces
7.2.5 Template rules
7.2.5.1 Computational object template rules
7.2.5.2 Computational
interface instantiation
7.2.5.3 Computational object
template instantiation
7.2.6 Failure rules
7.2.7
Portability rules
7.3 Conformance and reference points
8
Engineering language
8.1 Concepts
8.2 Structuring rules
8.2.1 Channel rules
8.2.1.1 Stubs
8.2.1.2 Binders
8.2.1.3 Protocol objects
8.2.1.4 Interceptors
8.2.2 Interface reference rules
8.2.3 Distributed binding rules
8.2.4 Relocation rules
8.2.5 Cluster rules
8.2.6 Capsule rules
8.2.7 Node rules
8.2.8 Application management rules
8.2.9 Failure rules
8.3 Conformance and reference points
9
Technology language
9.1 Concepts
9.2 Structuring rules
9.3 Conformance and reference points
10 Consistency rules
10.1 Computational and
information specification correspondences
10.2 Engineering and computational specification correspondences
11 ODP functions
12 Management functions
12.1 Node management function
12.1.1
Thread management
12.1.2 Clock access and timer management
12.1.3 Channel creation and interface location
12.1.4 Capsule template instantiation and
capsule deletion
12.2 Object management
function
12.3 Cluster management function
12.3.1 Cluster checkpoint
12.3.2 Cluster deletion, deactivation and
failure
12.3.3 Cluster reactivation and recovery
12.3.4
Cluster migration
12.4 Capsule management function
12.4.1 Cluster template instantiation
12.4.2 Capsule deletion
13 Coordination functions
13.1 Event notification function
13.1.1 Concepts
13.1.2 Rules
13.2 Checkpoint and recovery function
13.2.1 Checkpointing
13.2.2 Recovery
13.3 Deactivation and reactivation function
13.3.1 Deactivation
13.3.2 Reactivation
13.4 Group function
13.4.1 Concepts
13.4.2 Rules
13.5 Replication function
13.6 Migration function
13.6.1 Replication
13.6.2 Deactivation and reactivation
13.7 Transaction function
13.7.1 Concepts
13.7.2 Rules
13.8 ACID transaction function
13.9 Engineering
interface reference tracking function
14 Repository functions
14.1 Storage function
14.1.1 Concepts
14.1.2 Rules
14.2 Information organization function
14.3 Relocation function
14.3.1 Concepts
14.3.2 Rules
14.4 Type repository function
14.4.1 Rules
14.5 Trading function
14.5.1 Concepts
14.5.2 Rules
15 Security functions
15.1 Concepts
15.2 Access control function
15.3 Security audit function
15.4 Authentication function
15.5 Integrity function
15.6 Confidentiality function
15.7 Non-repudiation function
15.8 Key management function
16 ODP distribution transparency
16.1 Access transparency
16.2 Failure transparency
16.2.1 Concepts
16.2.2 Rules
16.2.2.1 Replication
16.2.2.2 Checkpoint and
recovery
16.3 Location transparency
16.4 Migration transparency
16.4.1 Concepts
16.4.2
Rules
16.5 Persistence transparency
16.5.1 Concepts
16.5.2 Rules
16.6 Relocation transparency
16.7 Replication transparency
16.7.1 Concepts
16.7.2 Rules
16.8 Transaction transparency
16.8.1 Concept
16.8.2 Rules
Annex A – Formal computational supertype/subtype rules
A.1 Notations and conventions
A.2 Type system
A.2.1 Typing rules
A.2.2 Type definitions
A.2.3 An algorithm for type checking
A.3 Signal interface signature types
A.4 Operation interface signature types
A.5 Stream interface types
A.6 Example