ISO-13719-1-1998.pdf

B C Reference number ISO/IEC 13719-1:1998(E) INTERNATIONAL STANDARD ISO/IEC 13719-1 Second edition 1998-10-01 Information technology Portable Common Tool Environment (PCTE) Part 1: Abstract specification Technologies de l'information Environnement doutil courant portable (PCTE) Partie 1: Spécifications abstraites Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13719-1:1998(E) © ISO/IEC 1998 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. ISO/IEC Copyright Office Case postale 56 CH-1211 Genève 20 Switzerland Printed in Switzerland ii Contents 1 Scope1 2 Conformance1 2.1 Conformance of binding1 2.2 Conformance of implementation2 2.3 Conformance of DDL texts and processors3 3 Normative references3 4 Definitions4 4.1 Technical terms4 4.2 Other terms4 5 Formal notations5 6 Overview of PCTE5 6.1 PCTE structural architecture5 6.2 Object management system6 6.3 Object base6 6.4 Schema management6 6.5 Self-representation and predefined SDSs7 6.6 Object contents7 6.7 Process execution8 6.8 Monitoring8 6.9 Communication between processes8 6.10 Notification8 6.11 Concurrency and integrity control8 6.12 Distribution9 6.13 Replication9 6.14 Security10 6.15 Accounting10 6.16 Implementation limits10 6.17 Support of fine-grain objects11 6.18 Support of object-orientation11 7 Outline of the Standard11 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- © ISO/IECISO/IEC 13719-1:1998(E) iii 8 Foundation13 8.1 The state13 8.2 The object base14 8.2.1 Objects14 8.2.2 Attributes15 8.2.3 Links16 8.3 Types17 8.3.1 Object types17 8.3.2 Attribute types18 8.3.3 Link types19 8.3.4 Enumeral types23 8.4 Types in SDS23 8.4.1 Object types in SDS25 8.4.2 Attribute types in SDS25 8.4.3 Link types in SDS26 8.4.4 Enumeral types in SDS26 8.5 Types in working schema26 8.5.1 Object types in working schema27 8.5.2 Attribute types in working schema28 8.5.3 Link types in working schema28 8.5.4 Enumeral types in working schema28 8.6 Types in global schema28 8.7 Operations29 8.7.1 Calling process29 8.7.2 Direct and indirect effects29 8.7.3 Errors32 8.7.4 Operation serializability33 9 Object management33 9.1 Object management concepts33 9.1.1 The basic type “object“33 9.1.2 The common root37 9.1.3 Datatypes for object management37 9.2 Link operations37 9.3 Object operations47 9.4 Version operations61 10 Schema management69 10.1 Schema management concepts69 10.1.1 Schema definition sets and the SDS directory69 10.1.2 Types70 10.1.3 Object types71 10.1.4 Attribute types72 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13719-1:1998(E) © ISO/IEC iv 10.1.5 Link types73 10.1.6 Enumeral types74 10.1.7 Datatypes for schema management75 10.2 SDS update operations75 10.3 SDS usage operations105 10.4 Working schema operations112 11 Volumes, devices, and archives117 11.1 Volume, device, and archiving concepts117 11.1.1 Volumes117 11.1.2 Administration volumes118 11.1.3 Devices118 11.1.4 Archives119 11.2 Volume, device, and archive operations120 12 Files, pipes, and devices128 12.1 File, pipe, and device concepts128 12.2 File, pipe, and device operations132 13 Process execution140 13.1 Process execution concepts140 13.1.1 Static contexts140 13.1.2 Foreign execution images141 13.1.3 Execution classes141 13.1.4 Processes142 13.1.5 Initial processes149 13.1.6 Profiling and monitoring concepts150 13.2 Process execution operations150 13.3 Security operations166 13.4 Profiling operations171 13.5 Monitoring operations172 14 Message queues174 14.1 Message queue concepts174 14.2 Message queue operations177 15 Notification183 15.1 Notification concepts183 15.1.1 Access events and notifiers183 15.1.2 Notification messages184 15.1.3 Time of sending notification messages185 15.1.4 Range of concerned message queues185 15.2 Notification operations185 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- © ISO/IECISO/IEC 13719-1:1998(E) v 16 Concurrency and integrity control187 16.1 Concurrency and integrity control concepts187 16.1.1 Activities187 16.1.2 Resources and locks190 16.1.3 Lock modes192 16.1.4 Inheritance of locks194 16.1.5 Establishment and promotion of locks195 16.1.6 Implied locks196 16.1.7 Conditions for establishment or promotion of a lock197 16.1.8 Releasing locks198 16.1.9 Permanence of updates199 16.1.10 Tables for locks200 16.2 Concurrency and integrity control operations202 17 Replication208 17.1 Replication concepts208 17.1.1 Replica sets208 17.1.2 Replicated objects209 17.1.3 Selection of an appropriate replica210 17.1.4 Administration replica set211 17.2 Replication operations212 18 Network connection218 18.1 Network connection concepts218 18.1.1 Execution sites218 18.1.2 Workstations219 18.1.3 Foreign systems222 18.1.4 Network partitions222 18.1.5 Accessibility223 18.1.6 Workstation closedown225 18.2 Network connection operations226 18.3 Foreign system operations231 18.4 Time operations233 19 Discretionary security234 19.1 Discretionary security concepts234 19.1.1 Security groups234 19.1.2 Access control lists238 19.1.3 Discretionary access modes241 19.1.4 Access control lists on object creation243 19.2 Operations for discretionary access control operation244 19.3 Discretionary security administration operations248 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13719-1:1998(E) © ISO/IEC vi 20 Mandatory security253 20.1 Mandatory security concepts253 20.1.1 Mandatory classes253 20.1.2 The mandatory class structure255 20.1.3 Labels and the concept of dominance256 20.1.4 Mandatory rules for information flow258 20.1.5 Multi-level security labels261 20.1.6 Floating security levels264 20.1.7 Implementation restrictions266 20.1.8 Built-in policy aspects266 20.2 Operations for mandatory security operation268 20.3 Mandatory security administration operations274 20.4 Mandatory security operations for processes279 21 Auditing281 21.1 Auditing concepts281 21.1.1 Audit files281 21.1.2 Audit selection criteria283 21.2 Auditing operations284 22 Accounting289 22.1 Accounting concepts289 22.1.1 Consumers and accountable resources289 22.1.2 Accounting logs and accounting records290 22.2 Accounting administration operations294 22.3 Consumer identity operations299 23 Common binding features300 23.1 Mapping of types300 23.1.1 Mapping of predefined PCTE datatypes300 23.1.2 Mapping of designators and nominators302 23.1.3 Mapping of other values310 23.2 Object reference operations311 23.3 Link reference operations314 23.4 Type reference operations317 24 Implementation limits320 24.1 Bounds on installation-wide limits320 24.2 Bounds on workstation-dependent limits321 24.3 Limit operations322 24.3.1 Datatypes for limit operations322 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- © ISO/IECISO/IEC 13719-1:1998(E) vii Annex A - VDM Specification Language for the Abstract Specification323 Annex B - The Data Definition Language (DDL)329 Annex C - Specification of Errors339 Annex D - Auditable Events362 Annex E - The Predefined Schema Definition Sets370 Annex F - The fine-grain objects module387 Annex G - The object-orientation module400 Index of Operations425 Index of Error Conditions431 Index of Technical Terms439 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13719-1:1998(E) © ISO/IEC viii Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the work. In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote. International Standard ISO/IEC 13719-1 was prepared by ECMA (as Standard ECMA-149) and was adopted, under a special “fast-track procedure”, by Joint Technical Committee ISO/IEC JTC 1, Information technology, in parallel with its approval by national bodies of ISO and IEC. This second edition cancels and replaces the first edition (ISO/IEC 13719-1:1995), which has been technically revised. ISO/IEC 13719 consists of the following parts, under the general title Information technology - Portable Common Tool Environment (PCTE): Part 1: Abstract specification Part 2: C programming language binding Part 3: Ada programming language binding Part 4: IDL binding (Interface Definition Language) Annexes A to D and annexes F and G form an integral part of this part of ISO/IEC 13719. Annex E is for information only. Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- INTERNATIONAL STANDARD © ISO/IEC ISO/IEC 13719-1:1998(E) 1 Information technology Portable Common Tool Environment (PCTE) Part 1: Abstract specification 1 Scope This part of ISO/IEC 13719 specifies PCTE in abstract, programming-language-independent, terms. It specifies the interface supported by any conforming implementation as a set of abstract operation specifications, together with the types of their parameters and results. It is supported by a number of standard bindings, i.e. representations of the interface in standard programming languages. The scope of this part of ISO/IEC 13719 is restricted to a single PCTE installation. It does not specify the means of communication between PCTE installations, nor between a PCTE installation and another system. A number of features are not completely defined in this part of ISO/IEC 13719, some freedom being allowed to the implementor. Some of these are implementation limits, for which constraints are defined (see clause 24). The other implementation-dependent and implementation-defined features are specified in the appropriate places in this Standard. PCTE is an interface to a set of facilities that forms the basis for constructing environments supporting systems engineering projects. These facilities are designed particularly to provide an infrastructure for programs which may be part of such environments. Such programs, which are used as aids to systems development, are often referred to as tools. This part of ISO/IEC 13719 also includes (in annex B) a language standard for the PCTE Data Description Language (DDL), suitable for writing PCTE schema definition sets. 2 Conformance 2.1 Conformance of binding A binding conforms to this part of ISO/IEC 13719 if and only if: - it consists of a set of operational interfaces and datatypes, with a mapping from the operations and datatypes of this part of ISO/IEC 13719; - each operation of this part of ISO/IEC 13719 is mapped to one or more sequences of one or more operations of the binding (distinct operations need not be mapped to distinct sets of sequences of binding operations); - each datatype of this part of ISO/IEC 13719 is mapped to one or more datatypes of the binding; - each named error of this part of ISO/IEC 13719 is mapped to one or more error values (status values, exceptions, or the like) of the binding; - the conditions of clause 23 on common binding features are satisfied; Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/02/2007 20:10:54 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13719-1:1998(E) © ISO/IEC 2 -the conditions for conformance of an implementation to the binding are defined, are achievable, and are not in conflict with the conditions in 2.2 below. 2.2Conformance of implementation The functionality of PCTE is divided into the following modules: -The core module consists of the datatypes and operations defined in clauses 8 to 19 (except 13.1.6, 13.4, and 13.5) and 23. -The mandatory access control module consists of the datatypes and operations defined in clause 20. -The auditing module consists of the datatypes and operations defined in clause 21. -The accounting module consists of the datatypes and operations defined in clause 22. -The profiling module consists of the datatypes defined in 13.1.6 and the operations defined in 13.4. -The monitoring module consists of the datatype Address defined in 13.1.6 and operations defined in 13.5. -The fine-grain objects module consists of the following extensions defined in annex F: .extensions to the semantics of ope