CONTENTS

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