1 Scope
2 Conformance
2.1 Conformance of binding
2.2 Conformance of implementation
2.3 Conformance of DDL texts and processors
3 Normative references
4 Definitions
4.1 Technical terms
4.2 Other terms
5 Formal notations
6 Overview of PCTE
6.1 PCTE structural architecture
6.2 Object management system
6.3 Object base
6.4 Schema management
6.5 Self-representation and predefined SDSs
6.6 Object contents
6.7 Process execution
6.8 Monitoring
6.9 Communication between processes
6.10 Notification
6.11 Concurrency and integrity control
6.12 Distribution
6.13 Replication
6.14 Security
6.15 Accounting
6.16 Implementation limits
6.17 Support of fine-grain objects
6.18 Support of object-orientation
7 Outline of the Standard
8 Foundation
8.1 The state
8.2 The object base
8.3 Types
8.4 Types in SDS
8.5 Types in working schema
8.6 Types in global schema
8.7 Operations
9 Object Management
9.1 Object management concepts
9.2 Link operations
9.3 Object operations
9.4 Version operations
10 Schema management
10.1 Schema management concepts
10.2 SDS update operations
10.3 SDS usage operations
10.4 Working schema operations
11 Volumes, devices, and archives
11.1 Volume, device, and archiving concepts
11.2 Volume, device, and archive operations
12 Files, pipes, and devices
12.1 File, pipe, and device concepts
12.2 File, pipe, and device operations
13 Process execution
13.1 Process execution concepts
13.2 Process execution operations
13.3 Security operations
13.4 Profiling operations
13.5 Monitoring operations
14 Message queues
14.1 Message queue concepts
14.2 Message queue operations
15 Notification
15.1 Notification concepts
15.2 Notification operations
16 Concurrency and integrity control
16.1 Concurrency and integrity control concepts
16.2 Concurrency and integrity control operations
17 Replication
17.1 Replication concepts
17.2 Replication operations
18 Network connection
18.1 Network connection concepts
18.2 Network connection operations
18.3 Foreign system operations
18.4 Time operations
19 Discretionary security
19.1 Discretionary security concepts
19.2 Operations for discretionary access control operation
19.3 Discretionary security administration operations
20 Mandatory security
20.1 Mandatory security concepts
20.2 Operations for mandatory security operation
20.3 Mandatory security administration operations
20.4 Mandatory security operations for processes
21 Auditing
21.1 Auditing concepts
21.2 Auditing operations
22 Accounting
22.1 Accounting concepts
22.2 Accounting administration operations
22.3 Consumer identity operations
23 Common binding features
23.1 Mapping of types
23.2 Object reference operations
23.3 Link reference operations
23.4 Type reference operations
24 Implementation limits
24.1 Bounds on installation-wide limits
24.2 Bounds on workstation-dependent limits
24.3 Limit operations
Annex A - VDM Specification Language for the Abstract
Specification
Annex B - The Data Definition Language (DDL)
Annex C - Specification of Errors
Annex D - Auditable Events
Annex E - The Predefined Schema Definition Sets
Annex F - The fine-grain objects module
Annex G - The object-orientation module
Index of Operations
Index of Error Conditions
Index of Technical Terms