ISO 18629-43-2006 Industrial automation systems and integration - Process specification language - Part 43 Definitional extension Activity ordering and duration.pdf

1、 Reference number ISO 18629-43:2006(E) ISO 2006INTERNATIONAL STANDARD ISO 18629-43 First edition 2006-08-15 Industrial automation systems and integration Process specification language Part 43: Definitional extension: Activity ordering and duration extensions Systmes dautomatisation industrielle et

2、intgration Langage de spcification de procd Partie 43: Extension de dfinition: Extensions de la dure et de classement dactivit ISO 18629-43:2006(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall no

3、t be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adob

4、e is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO m

5、ember bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. ISO 2006 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

6、 mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web w

7、ww.iso.org Published in Switzerland ii ISO 2006 All rights reserved ISO 18629-43:2006(E) ISO 2006 All rights reserved iiiContents Page 1. Scope.1 2. Normative References.1 3. Terms, definitions, and abbreviations.2 3.1 Terms and definitions2 3.2 Abbreviations5 4. General information on ISO 18629.5 5

8、. Organization of this part of ISO 18629.6 6. Strong partially ordered activities.6 6.1 Primitive lexicon of the Strong partially ordered activities 7 6.2 Defined lexicon for concepts of Strong partially ordered activities7 6.3 Core theories required by Strong partially ordered activities .7 6.4 Def

9、initional extensions required by Strong partially ordered activities7 6.5 Definitions of concepts for Strong partially ordered activities .8 6.5.1 same_bag.8 6.5.2 snapshot.8 6.5.3 rotate .8 6.5.4 reflect 9 6.5.5 flip.9 6.5.6 turn 10 6.5.7 bag.10 6.5.8 choice_poset10 6.5.9 strong_poset 11 6.5.10 com

10、plex_poset 11 6.6 Grammar for process descriptions of Strong partially ordered activities11 7. Duration constraints for activity occurrences .12 7.1 Primitive lexicon of Duration constraints for activity occurrences.12 7.2 Defined lexicon of Duration constraints for activity occurrences.12 7.3 Core

11、theories required by Duration constraints for activity occurrences13 7.4 Definitional extensions required by Duration constraints for activity occurrences 13 7.5 Definitions of Duration constraints for activity occurrences 13 7.5.1 dur .13 7.5.2 delay13 7.5.3 dur_equiv 13 7.5.4 delay_equiv .14 7.5.5

12、 constant .14 7.5.6 interval_duration .14 7.5.7 variable14 7.6 Grammar for Duration constraints for activity occurrences15 8. State-based duration15 8.1 Primitive lexicon of State-based duration.15 8.2 Defined relations of State-based duration.15 8.3 Core theories required by State-based duration 16

13、 8.4 Definitional extensions required by State-based duration.16 8.5 Definitions of State-based duration.16 8.5.1 conditional_duration .16 8.5.2 context_duration16 8.5.3 unconditional_duration .17 8.6 Grammar for State-based duration17 9. Time-based duration .18 ISO 18629-43:2006(E) ISO 2006 All rig

14、hts reserved iv 9.1 Primitive lexicon of Time-based duration.18 9.2 Defined relations of Time-based duration.18 9.3 Core theories required by Time-based duration18 9.4 Definitional extensions required by Time-based duration 18 9.5 Definitions of Time-based duration 18 9.5.1 rushhour 18 9.5.2 weekend

15、 19 9.5.3 gridlock .19 9.6 Grammar for process descriptions of Time-based duration20 10. Duration based on state and time 20 10.1 Primitive lexicon of duration based on state and time .20 10.2 Defined lexicon of duration based on state and time 20 10.3 Core theories required by duration based on sta

16、te and time .21 10.4 Definitional extensions required by Duration based on state and time.21 10.5 Definitions of Duration based on state and time.21 10.5.1 mixed_duration .21 10.5.2 nondet_mixed_duration 21 10.5.3 rigid_mixed_duration22 10.6 Grammar for of Duration based on state and time22 11. Orde

17、ring and duration constraints on activity occurrences.23 11.1 Primitive lexicon of Ordering and duration constraints on activity occurrences23 11.2 Defined lexicon of Ordering and duration constraints on activity occurrences23 11.3 Core theories required by Ordering and duration constraints on activ

18、ity occurrences .23 11.4 Definitional extensions required by Ordering and duration constraints on activity occurrences .24 11.5 Definitions of Ordering and duration constraints on activity occurrences24 11.5.1 ordered_duration .24 11.5.2 partial_ordered_duration.24 11.5.3 unordered_duration .25 11.6

19、 Grammar of process descriptions for Ordering and duration constraints on activity occurrences .25 12. Ordering and duration constraints on embedded activity occurrences .26 12.1 Primitive lexicon of Ordering and duration constraints on embedded activity occurrences.26 12.2 Defined lexicon of Orderi

20、ng and duration constraints on embedded activity occurrences.26 12.3 Core theories required by Ordering and duration constraints on embedded activity occurrences .26 12.4 Definitional extensions required by Ordering and duration constraints on embedded activity occurrences .26 12.5 Definitions of Or

21、dering and duration constraints on embedded activity occurrences 27 12.5.1 embed_duration.27 12.5.2 partial_embed_duration 27 12.5.3 nonembed_duration.28 12.6 Grammar for Ordering and duration constraints on embedded activity occurrences28 13. Spoilage preconditions for activities.28 13.1 Primitive

22、lexicon of Spoilage preconditions for activities.28 13.2 Defined lexicon of Spoilage precondition for activities .29 13.3 Theories required by Spoilage preconditions for activities.29 13.4 Definitional extensions required by Spoilage preconditions for activities .29 13.5 Definitions of Spoilage prec

23、onditions for activities29 13.5.1 spoilage .29 13.5.2 possible_spoilage 30 13.5.3 nonspoilage .30 13.6 Grammar for process descriptions of Spoilage preconditions for activities. 30 14. Scheduled embedding constraints.31 14.1 Primitive lexicon of Scheduled embedding constraints .32 ISO 18629-43:2006(

24、E) ISO 2006 All rights reserved v 14.2 Defined lexicon of Scheduled embedding constraints 32 14.3 Core theories required by Scheduled embedding constraints .32 14.4 Definitional extensions required by Scheduled embedding constraints32 14.5 Definitions of Scheduled embedding constraints32 14.5.1 sche

25、duled.32 14.5.2 partial_scheduled 33 14.5.3 unscheduled.33 14.6 Grammar for Scheduled embedding constraints.34 15. Duration-based effects 34 15.1 Primitive lexicon of Duration-based effects .35 15.2 Defined lexicon of Duration-based effects .35 15.3 Core theories required by Duration-based effects.3

26、5 15.4 Definitional extensions required by Duration-based effects.35 15.5 Definitions of Duration-based effects .35 15.5.1 duration_effects.35 15.5.2 partial_duration_effects 36 15.5.3 nonduration_constraints36 15.6 Grammar for Duration-based effects 36 16. Effects of activities based on duration an

27、d time .37 16.1 Primitive lexicon of Effects of activities based on duration and time 37 16.2 Defined lexicon of Effects of activities based on duration and time 37 16.3 Core theories required by Effects of activities based on duration and time37 16.4 Definitional extensions required by Effects of a

28、ctivities based on duration and time37 16.5 Definitions of Effects of activities based on duration and time 38 16.5.1 maintain_effects38 16.5.2 partial_maintain 38 16.5.3 nonmaintain.39 16.6 Grammar for Effects of activities based on duration and time .39 17. Complex sequence ordering relations .40

29、17.1 Primitive lexicon of Complex sequence ordering relations 40 17.2 Defined lexicon of Complex sequence ordering relations 40 17.3 Theories required by Complex sequence ordering relations.40 17.4 Definitional extensions required by Complex sequence ordering relations40 17.5 Definitions of Complex

30、sequence ordering relations40 17.5.1 coo_precedes.41 17.5.2 strong_parallel.41 17.5.3 atomocc .41 Annex A (normative ASN.1) Identifier of ISO 18629-43 42 Annex B (informative) Example of process description using ISO 18629-43 .43 Bibliography .52 Index .53 Figures Figure B1: TOP level process for ma

31、nufacturing a GT350 5 43 Figure B.2: PROCESS for manufacturing the 350Engine 5 46 Figure B.3: PROCESS for manufacturing the 350Block 5 48 Figure B.4: PROCESS for manufacturing the 350Harness 5.49 Figure B.5: PROCESS for manufacturing the harness wire 550 Figure B.6 : Process for manufacturing the 35

32、0-Wire 5 50 ISO 18629-43:2006(E) ISO 2006 All rights reserved vi Foreword The International Organisation for Standardisation (ISO) is a worldwide federation of national standards bodies (ISO member bodies). The work of preparing International Standards is normally carried out through ISO technical c

33、ommittees. Each member body interested in a subject for which a technical committee has been established has the right to be represented on that committee. International organisations, governmental and non-governmental, in liaison with ISO, also take part in the work. ISO collaborates closely with t

34、he International Electrotechnical Commission (IEC) on all matters of electrotechnical standardization. International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, Part 2. The main task of technical committees is to prepare International Standards. Draft Internat

35、ional Standards (DIS) adopted by technical committees are circulated to the member bodies for voting. Publication as an International Standard requires approval by at least 75% of the member bodies casting a vote. Attention is drawn to the possibility that some of the elements of this document may b

36、e the subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights. ISO 18629-43 was prepared by Technical Committee ISO/TC 184, Industrial automation systems and integration, Subcommittee SC 4, Industrial data. A complete list of parts of ISO 18629 is av

37、ailable from the Internet: http:/www.tc184-sc4.org/titles ISO 18629-43:2006(E) ISO 2006 All rights reserved vii Introduction ISO 18629 is an International Standard for the computer-interpretable exchange of information related to manufacturing processes. Taken together, all the parts contained in th

38、e ISO 18629 Standard provide a generic language for describing a manufacturing process throughout the entire production process within the same industrial company or across several industrial sectors or companies, independently from any particular representation model. The nature of this language ma

39、kes it suitable for sharing process specifications and properties related to manufacturing during all the stages of a production process. This part of ISO 18629 provides a description of the definitional extensions of the language related to activity extensions defined within ISO 18629. All parts of

40、 ISO 18629 are independent of any specific process representation model used in a given application. Collectively, they provide a structural framework for improving the interoperability of these applications. INTERNATIONAL STANDARD ISO 18629-43:2006(E) ISO 2006 All rights reserved 1 1. Scope This pa

41、rt of ISO 18629 provides a specification of non-primitive concepts of the language, using a set of definitions written in the language of ISO 18629. These definitions provide an axiomatization of the semantics for terminology in this part of ISO 18629. The following is within the scope of this part

42、of ISO 18629: definitions of concepts using terminology specified in ISO 18629-13. The following is outside the scope of this part of ISO 18629: definitions of state and time-related concepts using only terminology specified in ISO 18629-11 and ISO 18629-12. 2. Normative References The following ref

43、erenced documents are indispensable for the application of this document. For dated references, only the edition cited applies. For undated references, the latest edition of the referenced document (including any amendments) applies. ISO/IEC 8824-1, Information technology Abstract Syntax Notation On

44、e (ASN.1) Part 1: Specification of basic notation ISO 15531-1, Industrial automation systems and integration Industrial manufacturing management data Part 1: General overview ISO 15531-42, Industrial automation systems and integration Industrial manufacturing management data Part 42: Time Model ISO

45、18629-1: 2004, Industrial automation systems and integration Process specification language Part 1: Overview and basic principles ISO 18629-11 2005, Industrial automation systems and integration Process specification language Part 11: PSL core ISO 18629-12, Industrial automation systems and integrat

46、ion Process specification language Part 12: Outer core ISO 18629-13, Industrial automation systems and integration Process specification language Part 13: Duration and ordering theories Industrial automation systems and integration Process specification language Part 43: Definitional extension: Acti

47、vity ordering and duration extensions ISO 18629-43:2006(E) ISO 2006 All rights reserved 2 3. Terms, definitions, and abbreviations 3.1 Terms and definitions For the purpose of this document, the following terms and definitions apply: 3.1.1 automorphism one-to-one mapping of elements on a set that pr

48、eserves the relations and functions in some model ISO 18629-13 3.1.2 axiom well-formed formula in a formal language that provides constraints on the interpretation of symbols in the lexicon of a language ISO 18629-1 3.1.3 defined lexicon set of symbols in the non-logical lexicon which denote defined concepts NOTE Defined lexicon is divided into constant, function and relation symbols. EXAMPLE terms with conservative definitions. ISO 18629-1 3.1.4 definitional extension extension of PSL-Core that introduces new linguistic items which can be completely defined in terms of the