ISO 18629-14:2006

INTERNATIONAL ISO
STANDARD 18629-14
First edition
2006-08-15
Industrial automation systems and
integration — Process specification
language —
Part 14:
Resource theories
Systèmes d'automatisation industrielle et intégration — Langage de
spécification de procédé —
Partie 14: Théories de ressource

Reference number
©
ISO 2006
PDF disclaimer
This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but
shall not 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 Adobe's licensing policy. The ISO Central Secretariat
accepts no liability in this area.
Adobe 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 member 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 mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or
ISO's 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 copyright@iso.org
Web www.iso.org
Published in Switzerland
ii © ISO 2006 – All rights reserved

ISO 18629-14 : 2006 (E)
Content        Page
1 Scope. 1
2 Normative references . 1
3 Terms, definitions, and abbreviations . 1
3.1 Terms and definitions. 1
3.2 Abbreviations. 4
4 General information on ISO 18629. 4
5 Organization of ISO 18629-14. 5
6 Resource Requirements theory. 5
6.1 Primitive Relations of the Resource Requirements theory . 5
6.2 Primitive Functions of the Resource Requirements theory. 6
6.3 Defined Relations of the Resource Requirements theory . 6
6.4 Theories required by Resource Requirements . 6
6.5 Definitional extensions required by Resource Requirements . 6
6.6 Informal Semantics of the Resource Requirements theory. 6
6.6.1 requires. 6
6.6.2 resource_point. 7
6.6.3 demand. 7
6.6.4 agg_demand .7
6.6.5 resource . 7
6.7 Definitions in the Resource Requirements theory. 8
6.7.1 Definition 1: . 8
6.8 Axioms of the Resource Requirements theory. 8
6.8.1 Axiom 1 . 8
6.8.2 Axiom 2 . 8
6.8.3 Axiom 3 . 8
6.8.4 Axiom 4 . 9
6.8.5 Axiom 5 . 9
7 Resource Set theory . 9
7.1 Primitive Functions. 9
7.2 Defined Functions. 9
7.3 Theories required by Resource Set . 10
7.4 Definitional Extensions required by Resource Set. 10
7.5 Informal Semantics of the Resource Set theory. 10
7.5.1 resource_set. 10
7.5.2 in_resource_set. 10
7.5.3 resource_subset . 10
7.6 Axioms for the Resource Set theory . 11
7.6.1 Axiom 1 . 11
7.6.2 Axiom 2 . 11
7.6.3 Axiom 3 . 11
7.7 Definitions for the Resource Set theory . 12
7.7.1 Definition 1 . 12
7.7.2 Definition 2 . 12
8 Additive Quantities theory . 12
iii
ISO 18629-14 : 2006 (E)
8.1 Primitive Categories in the Additive Quantities theory . 12
8.2 Primitive Functions in the Additive Quantities theory. 12
8.3 Primitive Constants in the Additive Quantities theory. 12
8.4 Primitive Relations in the Additive Quantities theory . 13
8.5 Theories required by Resource Set . 13
8.6 Informal Semantics of the Additive Quantities theory. 13
8.6.1 additive. 13
8.6.2 plus. 13
8.6.3 zero_quantity.13
8.6.4 greater . 13
8.7 Axioms for the Additive Quantities theory. 14
8.7.1 Axiom 1 . 14
8.7.2 Axiom 2 . 14
8.7.3 Axiom 3 . 14
8.7.4 Axiom 4 . 14
8.7.5 Axiom 5 . 14
8.7.6 Axiom 6 . 14
8.7.7 Axiom7 . 15
8.7.8 Axiom 8 . 15
8.7.9 Axiom 9 . 15
8.7.10 Axiom 10. 15
8.7.11 Axiom 11. 16

Annex A (normative) Use of ASN.1 Identifiers in SC4 standards. 17
Annex B (informative) Example of process description using ISO 18629-14. 18

Bibliography ………………………………………………………………………………………….25

Index………. 26

Figures
Figure B1: TOP level process for manufacturing a GT350 [10]. 18
Figure B.2: PROCESS for manufacturing the 350–Engine [10]. 20
Figure B.3: PROCESS for manufacturing the 350–Block [10]. 21
Figure B.4: PROCESS for manufacturing the 350–Harness [10] . 22
Figure B.5: PROCESS for manufacturing the harness wire [10]. 23
Figure B.6 : Process for manufacturing the 350-Wire [10]. 24
iv
ISO 18629-14 : 2006 (E)
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 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 organisations, governmental and non-governmental, in liaison with ISO, also take part 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 ISO/IEC Directives, Part 2.
The main task of technical committees is to 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 that some of the elements of this part of ISO 18629 may be the
subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights.
ISO 18629-14 was prepared by Technical Committee ISO/TC 184, Industrial automation systems and
integration, Subcommittee SC4, Industrial data.
A complete list of parts of ISO 18629 is available from the Internet.
http://www.tc184-sc4.org/titles
v
ISO 18629-14 : 2006 (E)
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 the 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 makes it suitable for sharing
process information related to manufacturing during all the stages of a production process.
This part of ISO 18629 provides a description of the core elements of the language defined within
ISO 18629.
All parts of ISO 18629 are independent of any specific process representation or model proposed in a
software application in the domain of manufacturing management. Collectively, they provide a
structural framework for improving the interoperability of these applications.
vi
INTERNATIONAL STANDARD                                 ISO 18629-14 : 2006 (E)
Industrial automation systems and
...