CAN CSA-ISO IEC 13719-1-2000 Information Technology - Portable Common Tool Environment (PCTE) - Part 1 Abstract Specification.pdf

1、National Standard of Canada CAN/CSA-ISOFEC 1371 9-1 -00 (ISO/IEC 13719-1:1998) CSA I NT E R NAT IO NA 1 - International Standard ISO/IEC 13719-1:1998 (second edition 1998-10-01) has been adopted without modification as CSA Standard CAN/CSA-ISO/IEC 13719-1-00, which has been approved as a National St

2、andard of Canada by the Standards Council of Canada. ISBN 1-55324-053-7 March 2000 Information technology - Portable Common Tool Environment (PCTE) - Part 1: Abstract specification Technologies de /information - Envirunnement doutil courant portable (PCTE) - Partie I: Specifications abstraites (Reaf

3、firmed 2004) Reference n urn be r ISOAEC 1371 9-11 1998(E) The Canadian Standards Association, which operates under the name CSA International (CSA), under whose auspices this National Standard has been produced, was chartered in 191 9 and accredited by the Standards Council of Canada to the Nationa

4、l Standards system in 1973. It is a not-for-profit, nonstatutory, voluntary membership association engaged in standards development and certification activities. and users - including manufacturers, consumers, retailers, unions and professional organizations, and governmental agencies. The standards

5、 are used widely by industry and commerce and often adopted by municipal, provincial, and federal governments in their regulations, particularly in the fields of health, safety, building and construction, and the environment. indicate their support for CSAs standards development by volunteering thei

6、r time and skills to CSA Committee work and supporting the Associations objectives through sustaining memberships. The more than 7000 committee volunteers and the 2000 sustaining memberships together form CSAs total membership from which its Directors are chosen. Sustaining memberships represent a m

7、ajor source of income for CSAs standards development activities. in support of and as an extension to its standards development activities. To ensure the integrity of its certification process, the Association regularly and continually audits and inspects products that bear the CSA Mark. Toronto, CS

8、A has regional branch offices in major centres across Canada and inspection and testing agencies in eight countries. Since 191 9, the Association has developed the necessary expertise to meet its corporate mission: CSA is an independent service organization whose mission is to provide an open and ef

9、fective forum for activities facilitating the exchange of goods and services through the use of standards, certification and related services to meet national and international needs. For futher information on CSA services, write to CSA International 178 Rexdale Boulevard Toronto, Ontario, M9W 1 R3

10、Canada CSA standards reflect a national consensus of producers Individuals, companies, and associations across Canada The Association offers certification and testing services In addition to its head office and laboratory complex in CSA I NTE RNAT I ONAL / The Standards Council of Canada is the coor

11、dinating body of the National Standards system, a federation of independent, autonomous organizations working towards the further development and improvement of voluntary standardization in the national interest. The principal objects of the Council are to foster and promote voluntary standardizatio

12、n as a means of advancing the national economy, benefiting the health, safety, and welfare of the public, assisting and protecting the consumer, facilitating domestic and international trade, and furthering international cooperation in the field of standards. has been approved by the Standards Counc

13、il of Canada and one which reflects a reasonable agreement among the views of a number of capable individuals whose collective interests provide to the greatest practicable extent a balance of representation of producers, users, consumers, and others with relevant interests, as may be appropriate to

14、 the subject in hand. It normally is a standard which is capable of making a significant and timely contribution to the national interest. Approval of a standard as a National Standard of Canada indicates that a standard conforms to the criteria and procedures established by the Standards Council of

15、 Canada, Approval does not refer to the technical content of the standard; this remains the continuing responsibility of the accredited sta nda rds-deve lo prnen t organ ization . Those who have a need to apply standards are encouraged to use National Standards of Canada whenever practicable. These

16、standards are subject to periodic review; therefore, users are cautioned to obtain the latest edition from the organization preparing the standard. The responsibility for approving National Standards of Canada rests with the Standards Council of Canada 45 OConnor Street, Suite 1200 Ottawa, Ontario,

17、K1 P 6N7 Canada A National Standard of Canada is a standard which Although the intended primary application of this Stondard is stated in its Scope, it is important to note that it remains the responsibility of the users to judge its suitability for their particular purpose. CAN/CSA-/SO/iEC 7 371 9-

18、7-00 lnformation technology - Portable Common Tool Environment (PCTE) - Part 1 : Abstract soecification CAN/CSA-ISO/IEC 1371 9-1 -00 Information technology - Portable Common Tool Environment (PCTE) - Part 1: Abstract specifkation CSA Preface Standards development within the Information Technology se

19、ctor is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards Council of Can

20、ada (SCC), the IS0 member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Cons u I tat ive Committee (ITU-T). This International Standard

21、was reviewed by the CSA TClT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Project Manager.) From time to time, ISO/IEC may publish addenda, corrigenda, e

22、tc. The CSA TClT will review these documents for approval and publication. For a listing, refer to the CSA Information Products catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by these Committees and has been approve

23、d as a National Standard of Canada by the Standards Council of Canada. March 2 0 0 0 0 CSA lnternationol- 2000 All rights reserved. No part of this publication may be reproduced in any form whatsoever without the prior permission of the publisher. /SO/EC materiul is reprinted with permission. Inquir

24、ies regarding this Nationul Standurd of Canada should be addressed to CSA International, 7 78 Rexdale Boulevard, Toronto, Ontario, M9W 7 R3. March 2000 CSA/I INTERNATIONAL STANDARD ISO/IEC 1371 9-1 Second edition 1 998- 1 0-0 1 Information technology - Portable Common Tool Environment (PCTE) - Part

25、1: Abstract specification Technologies de iinformation - Environnement doutil courant portable (PCTE) - Partie 7: Specifications abstraites Reference number ISO/IEC 13719-1 :1998(E) ISO/IEC 13719-1:1998(E) Contents 1 Scope 2 Conformance 2.1 Conformance of binding 2.2 Conformance of implementation 2.

26、3 Conformance of DDL texts and processors 3 Normative references 4 Definitions 4,l 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

27、 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-ori

28、entation 7 Outline of the Standard 1 1 1 2 3 3 4 4 4 5 5 5 6 6 6 7 7 8 8 8 8 8 9 9 10 10 10 11 11 11 0 ISO/IEC 1998 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any fotm or by any means, electronic or mechanical, including photocopying

29、 and microfilm, wirhout permission in writing from the publisher. ISO/IEC Copyright Office 0 Case postale 56 CH-1211 Gen?ve 20 Switzerland 0 ISOAEC ISO/IEC 13719-1:1998(6) 8 Foundation 8.1 The state 8.2 The object base 8.2.1 Objects 8.2.2 Attributes 8.2.3 Links 8.3 Types 8.3.1 Object types 8.3.2 Att

30、ribute types 8.3.3 Link types 8.3.4 Enumeral types 8.4 Types in SDS 8.4.1 Object types in SDS 8.4.2 Attribute types in SDS 8.4.3 Link types in SDS 8.4.4 Enurneral types in SDS 8.5 Types in worlung schema 8.5.1 Object types in worlung schema 8.5.2 Attribute types in working schema 8.5.3 Link types in

31、 working schema 8.5.4 Enumeral types in working schema 8.6 Types in global schema 8.7 Operations 8.7.1 Calling process 8.7.2 Direct and indirect effects 8.7.3 Errors 8.7.4 Operation serializability 9 Object management 9.1 Object management concepts 9.1.1 The basic type “object“ 9.1.2 The common root

32、 9.1.3 Datatypes for object management 9.2 Link operations 9.3 Object operations 9.4 Version operations 10 Schema management 10.1 Schema management concepts 10.1.1 Schema definition sets and the SDS directory 10.1.2 Types 10.1.3 Object types 10.1.4 Attribute types 13 13 14 14 15 16 17 17 18 19 23 23

33、 25 25 26 26 26 27 28 28 28 25 29 29 29 32 33 33 33 33 37 37 37 47 61 69 69 69 70 71 72 I 111 ISO/IEC 13719-1:1998(E) 0 ISUAEC 10.1.5 Link types 10.1.6 Enurneral types 10.1.7 Datatypes for schema management 10.2 SDS update operations 10.3 SDS usage operations 10.4 Working schema operations 11 Volume

34、s, devices, and archives 11.1 Volume, device, and archiving concepts 11.1.1 Volumes 11.1.2 Administration volumes 11.1.3 Devices 11.1.4 Archives 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 Pro

35、cess execution 13.1 Process execution concepts 13.1.1 Static contexts 13.1.2 Foreign execution images 13.1.3 Execution classes 13.1.4 Processes 13.1.5 Initial processes 13.1.6 Profiling and monitoring concepts 13.2 Process execution operations 13.3 Security operations 13.4 Profiling operations 13.5

36、Monitoring operations 14 Message queues 14.1 Message queue concepts 14.2 Message queue operations 15 Notification 15.1 Notification concepts 15.1.1 Access events and notifiers 15.1.2 Notification messages 35.1.3 Time of sending notification messages 15.1.4 Range of concerned message queues 15.2 Noti

37、fication operations 73 74 75 75 105 112 117 117 117 118 115 119 120 128 128 132 140 140 140 141 141 142 149 150 150 166 171 172 174 174 177 183 183 183 184 185 185 185 iv 0 ISO/IEC ISOfiEC 13719- I: 1998(E) 16 Concurrency and integrity controI 16.1 Concurrency and integrity control concepts 16.1.1 A

38、ctivities 16.1.2 Resources and locks 16.1.3 Lock modes 16.1.4 Inheritance of locks 16.1.5 EstabIishment and promotion of locks 16.1.6 Implied locks 16.1.7 Conditions for establishment or promotion of a lock 16.1.8 Releasing locks 16.1.9 Permanence of updates 16.1.10 Tables for locks 16.2 Concurrency

39、 and integrity control operations 17 Replication 17.1 Replication concepts 17.1.1 Replica sets 17.1.2 Replicated objects 17.1.3 Selection of an appropriate replica 17.1.4 Administration replica set 17.2 Replication operations 18 Network connection 18.1 Network connection concepts 18.1.1 Execution si

40、tes 18.1.2 Workstations 18.1.3 Foreign systems 18.1.4 Network partitions 18.1.5 Accessibility 18.1.6 Workstation closedown 18.2 Network connection operations 18.3 Foreign system operations 18.4 Time operations 19 Discretionary security 19.1 Discretionary security concepts 19.1.1 Security groups 19.1

41、.2 Access control lists 19.1.3 Discretionary access modes 19.1.4 Access control lists on object creation 19.2 Operations for discretionary access control operation 19.3 Discretionary security administration operations 187 187 187 190 192 194 195 196 197 198 199 200 202 208 208 208 209 210 211 212 21

42、8 218 218 219 222 222 223 225 226 231 233 234 234 234 238 241 243 244 248 V ISOAEC 13719-1:1998(E) 0 ISO/IEC 20 Mandatory security 20.1 Mandatory security concepts 20.1.1 Mandatory classes 20.1.2 The mandatory class structure 20.1.3 Labels and the concept of dominance 20.1.4 Mandatory rules for info

43、rmation flow 20.1.5 Multi-level security labels 20.1.6 Floating security levels 20.1.7 Implementation restrictions 20.1.8 Built-in policy aspects 20.2 Operations for mandatory security operation 20.3 Mandatory security administration operations 20.4 Mandatory security operations for processes 21 Aud

44、iting 21.1 Auditing concepts 21.1.1 Audit files 21.1.2 Audit selection criteria 21.2 Auditing operations 22 Accounting 22.1 Accounting concepts 22.1.1 Consumers and accountable resources 22.1.2 Accounting logs and accounting records 22.2 Accounting administration operations 22.3 Consumer identity op

45、erations 23 Common binding features 23.1 Mapping of types 23.1.1 Mapping of predefined PCTE datatypes 23.1.2 Mapping of designators and nominators 23.1.3 Mapping of other values 23.2 Object reference operations 23.3 Link reference operations 23.4 Type reference operations 24 Implementation limits 24

46、.1 Bounds on installation-wide limits 24.2 Bounds on workstation-dependent limits 24.3 Limit operations 24.3.1 Datatypes for limit operations 253 253 253 255 256 258 261 264 266 266 268 274 279 281 281 281 283 284 289 289 289 290 294 299 300 300 30 302 310 311 314 317 320 320 321 322 322 vi o ISOflE

47、C 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 mod

48、ule Index of Operations Index of Error Conditions Index of Technical Terms ISOfiEC 13719-1 A998fE) 323 329 339 362 370 387 400 425 431 439 vii ISOLEC 13719- I : 1998(E) 0 ISO/IEC Foreword IS0 (the International Organization for Standardization) and IEC (the International Electrotechnical Commission)

49、 form the specialized system for worldwide standardization. National bodies that are members of IS0 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. IS0 and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with IS0 and IEC, also take part in the work. In the field o