1、 Reference number ISO 18629-1:2004(E) ISO 2004INTERNATIONAL STANDARD ISO 18629-1 First edition 2004-11-15 Industrial automation systems and integration Process specification language Part 1: Overview and basic principles Systmes dautomatisation industrielle et intgration Langage de spcification de p
2、rocd Partie 1: Vue densemble et principes de base ISO 18629-1:2004(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 not be edited unless the typefaces which are embedded are licensed to and instal
3、led 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. Adobe is a trademark of Adobe Systems Incorporated. Details of the software produc
4、ts 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 member bodies. In the unlikely event that a problem relating to it is found, pl
5、ease inform the Central Secretariat at the address given below. ISO 2004 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 writi
6、ng 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 www.iso.org Published in Switzerland ii ISO 2004 All rights reserved ISO 18629-
7、1 : 2004 (E) Contents Page 1. Scope. 1 2. Normative references 1 3. Terms, definitions and abbreviations 2 3.1. Terms and definitions 2 3.2. Abbreviations 8 4. Overview of ISO 18629 8 4.1. ISO 18629 general. 8 4.2. The Process Specification Language (PSL) fundamental principles. 10 4.3. Requirements
8、 for PSL extensions . 11 4.3.1. Non-logical Lexicon 11 4.3.2. Specification of Models. 12 4.3.3. Axioms of the extensions 12 4.3.4. Grammar for process descriptions. 12 4.3.5. Format for extensions 12 4.4. Organisation of the ISO 18629 Standard. 13 4.5. ISO 18629-1x series Core theories 14 4.5.1. IS
9、O 18629-11 PSL-Core . 14 4.5.2. ISO 18629-12 Outer Core . 15 4.5.3. ISO 18628-13 Time and ordering theories 16 4.5.4. ISO 18629-14 Resource theories. 16 4.5.5. ISO 18629-15 Activity performance theories . 17 4.6. ISO 18629-2x series External mappings . 17 4.7. ISO 18629-4x series Definitional Extens
10、ions . 17 4.7.1. ISO 18629-41: Activities. 17 4.7.2. ISO 18629-42: Time and State 18 4.7.3. ISO 18629-43: Ordering 18 4.7.4. ISO 18629-44 Resource roles 19 4.7.5. ISO 18629-45 Kinds of resource sets 19 4.7.6. ISO 18629-46 Processor Activities . 20 4.7.7. ISO 18629-47 Process intent. 20 4.8. ISO 1862
11、9-2xx series Translator implementation guidelines . 20 5. Conformance testing methodology and framework 20 5.1. Conformance of Applications with ISO 18629 . 20 5.2. Conformance of Ontologies with ISO 18629 21 5.2.1. Conformance of user-defined extensions 21 5.2.2. Conformance of external ontologies
12、. 21 5.3. Conformance of future extensions. 21 5.3.1. Specification of Models. 21 5.3.2. Verification of the extensions 22 Annex A (normative) ASN.1 Identifier of ISO 18629-1. 23 Annex B (informative) Background to the development of ISO 18629. 24 Annex C (informative) The Need for Semantics 25 Anne
13、x D (informative) Interoperability 28 Annex E (informative) Architecture of PSL . 32 iii ISO 2004 All rights reservedISO 18629-1 : 2004 (E) Bibliography 36 Index 37 Figures : Figure D1: Interlingua Architecture . 30 Figure D2: Interoperability and PSL. 31 Figure E1: The theories in the Outer Core of
14、 PSL. .33 Figure E2: Definitional extensions of PSL 35 iv ISO 2004 All rights reserved ISO 18629-1 : 2004 (E) v Foreword ISO (the International Organization for Standardization) is a worldwide federation of national standards bodies (ISO member bodies). The work of preparing International Standards
15、is normally carried out through ISO technical committees. 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 organizations, governmental and non-governmental, in liaison with ISO, also take pa
16、rt in the work. ISO collaborates closely with the 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
17、prepare International Standards. Draft International Standards adopted by the 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 th
18、at some of the elements of this document may be the subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights. ISO 18629-1 was prepared by ISO/TC 184, Industrial automation systems and integration, Subcommittee SC 4, Industrial data. A complete list of
19、 parts of ISO 18629 is available from the Internet. http:/www.tc184-sc4.org/titles ISO 2004 All rights reservedISO 18629-1 : 2004 (E) Introduction As the use of information technology in manufacturing has matured, the necessity for software applications to inter-operate has become crucial to the con
20、duct of business and operations in organisations. To be competitive and maintain good economic performance, manufacturing organisations need to employ increasingly effective and efficient systems. Such systems should result in the seamless integration of manufacturing applications and exchange of ma
21、nufacturing processes between applications. Organisations should also be able to preserve and retrieve on demand the knowledge contained in their business and operational processes, regardless of the applications used to produce and handle these processes. Many manufacturing engineering and business
22、 software applications use process information, including manufacturing simulation, production scheduling, manufacturing process planning, workflow, business process reengineering, product realisation process modelling, and project management. However, each of these applications utilises process inf
23、ormation in a different way, and each representation of process information inherent to these applications is also different. Thus interoperability is difficult to achieve. Consequently, these concerns have led to the development of a process specification language (PSL) that complements the process
24、 representations utilised in manufacturing engineering and business software applications. ISO 18629 provides a generic language for process specifications applicable to a broad range of specific process representations in manufacturing applications. ISO 18629 provides semantics to the computer-inte
25、rpretable exchange of information related to manufacturing processes. Taken together, all the parts contained in ISO 18629 a language for describing a manufacturing process throughout the entire production process within the same industrial company or across several industrial sectors or companies,
26、independently from any particular representation model. The nature of this language makes it suitable for sharing process information related to manufacturing during all the stages of a production process. The process representations used by engineering and business software applications are influen
27、ced by the specific needs and objectives of the applications. Therefore, the use of the process specification language also varies from one application to another. A major purpose of the Process Specification Language is to enable the interoperability of manufacturing processes between software appl
28、ications that utilise different process models and process representations. As a result of implementing process interoperability, economies of scale are made in the integration of manufacturing applications. This part and all other parts of ISO 18629 are independent of any specific process represent
29、ation or model used in a given application. Collectively, they provide a structural framework for interoperability. ISO 18629 describes what elements inter-operable systems should encompass, but not how a specific application implements these elements. It is not the purpose of ISO 18629 to enforce u
30、niformity in manufacturing process representations. Objectives and design of software applications vary. Therefore the implementation of an interoperable application must necessarily be influenced by the particular objectives and processes of each specific application. This part of ISO 18629 provide
31、s an overview of the principal concepts contained in ISO 18629, and guidance on selection and use of its parts. vi ISO 2004 All rights reservedINTERNATIONAL STANDARD ISO 18629-1 : 2004 (E) Industrial automation systems and integration Process specification language Part 1: Overview and basic princip
32、les 1. Scope The scope of this part of ISO 18629 is the provision of an overview of the whole ISO 18629 and of the main underlying principles of the Process Specification Language. This part of ISO 18629 also specifies the characteristics of the various series of parts in ISO 18629 and the relations
33、hips among them. The following are within the scope of this part of ISO 18629: general overview of ISO 18629 and of the main principles used; structure of ISO 18629 and relationships between the series of parts of which this standard is composed; definitions of terms used throughout ISO 18629; confo
34、rmance criteria for process-related applications; conformance criteria for other ontologies; conformance criteria for parts of ISO 18629. The scope of this part of ISO 18629 includes providing explanations addressing the following items: Annex B: Background to the development of ISO 18629; Annex C:
35、Need for semantics; Annex D: Interoperability; Annex E: Architecture of PSL. 2. Normative references The following referenced 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 refe
36、renced document (including any amendments) applies. 1 ISO 2004 All rights reservedISO 18629-1 : 2004 (E) ISO/IEC 8824-1: Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation. ISO 10303-1: Industrial automation systems and integration Product data representatio
37、n and exchange Part 1: Overview and fundamental principles. ISO 10303-11: Industrial automation systems and integration Product data representation and exchange Part 11: Description methods: The EXPRESS language reference manual. ISO 15531-1: Industrial automation systems and integration Industrial
38、manufacturing management data Part 1: General overview. ISO 15531-31: Industrial automation systems and integration Industrial manufacturing management data Part 31: Resource information model. ISO 15531-32: 1)Industrial automation systems and integration Industrial manufacturing management data Par
39、t 32: Conceptual information model for resources usage management data. ISO 15531-42: 2)Industrial automation systems and integration Industrial manufacturing management data Part 42: Manufacturing flow management data Time model. 3. Terms, definitions and abbreviations 3.1. Terms and definitions Fo
40、r the purposes of this document, the following terms and definitions apply: 3.1.1 axiom well-formed formula in a formal language that provides constraints on the interpretation of symbols in the lexicon of a language 3.1.2 conservative definition definition that specifies necessary and sufficient co
41、nditions that a term shall satisfy and that does not allow new inferences to be drawn from the theory 3.1.3 core theory set of axioms for relation and function symbols that denote primitive concepts 1)To be published 2)To be published 2 ISO 2004 All rights reserved ISO 18629-1 : 2004 (E) 3.1.4 data
42、a representation of information in a formal manner suitable for communication, interpretation, or processing by human beings or computers ISO 10303-1 3.1.5 defined lexicon set of symbols in the non-logical lexicon which denote defined concepts NOTE Defined lexicon is divided into constant, function
43、and relation symbols. EXAMPLE terms with conservative definitions. 3.1.6 definitional extension extension of PSL-Core that introduces new linguistic items which can be completely defined in terms of the PSL-Core NOTE: Definitional extensions add no new expressive power to PSL-Core but are used to sp
44、ecify the semantics and terminology in the domain application. 3.1.7 discrete manufacturing production of discrete items EXAMPLE Cars, appliances or computer. ISO 15531-1 3.1.8 duration length of a period of time, measured using a given unit of time EXAMPLE 1 the 24 hours between Monday 1.00 p.m. an
45、d Tuesday 12.00 a.m. EXAMPLE 2 every Monday of every week between January and July. NOTE interval of time measures the distance between two points in time. In that case it is the length of the time domain that is bounded by the two points in time under consideration. ISO 15531-42 3.1.9 extension aug
46、mentation of PSL-Core containing additional axioms NOTE 1 The PSL-Core is a relatively simple set of axioms that is adequate for expressing a wide range of basic 3 ISO 2004 All rights reservedISO 18629-1 : 2004 (E) processes. However, more complex processes require expressive resources that exceed t
47、hose of the PSL-Core. Rather than clutter the PSL-Core itself with every conceivable concept that might prove useful in describing one process or another, a variety of separate, modular extensions need to be developed and added to the PSL-Core as necessary. In this way a user can tailor the language
48、 precisely to suit his or her expressive needs. NOTE 2 All extensions are core theories or definitional extensions. 3.1.10 grammar specification of how logical symbols and lexical terms can be combined to make well-formed formulae 3.1.11 information facts, concepts, or instructions 3.1.12 language c
49、ombination of a lexicon and a grammar 3.1.13 lexicon set of symbols and terms NOTE The lexicon consists of logical symbols (such as Boolean connectives and quantifiers) and non-logical symbols. For ISO 18629, the non logical part of the lexicon consists of expressions (constants, function symbols, and relation symbols) chosen to represent the basic concepts of the ontology. 3.1.14 manufacturing function or act of converting or transforming material from
