BS IS0 18629-14:2006 BSl Standards Publication Industrial automation systems and integration - Process specification language Part 14: Resource theories bsi. BS IS0 18629-14:2006 BRITISH STANDARD National foreword This British Standard is the UK implementation of IS0 18629-14:2006. The UK participation in its preparation was entrusted to Technical Committee AMT/4, Industrial data and manufacturing interfaces. A list of organizations represented on this committee can be obtained on request to its committee manager. Contractual and legal considerations This publication has been prepared in good faith, however no representation, warranty, assurance or undertaking (express or implied) is or will be made, and no responsibility or liability is or will be reasonableness of this publication. All and any such responsibility and liability is expressly disclaimed to the full extent permitted by the law. This publication is provided as is, and is to be used at the recipient's own risk. The recipient is advised to consider seeking professional guidance with respect to its use of this publication. This publication is not intended to constitute a contract. Users are responsible for its correct application. @ The British Standards Institution 2023 Published by BSI Standards Limited 2023 ISBN9780539222234 ICS 25.040.40 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committee on 31 March 2023. Amendments/corrigenda issued since publication Date Textaffected BS ISO 18629-14:2006 INTERNATIONAL ISO STANDARD 18629-14 Firstedition 2006-08-15 Industrial automation systems and integration Process specification language Part 14: Resource theories Systemes d'automatisation industrielle et integration - Langage de spécification de procédé- Partie 14: Théories de ressource Reference number IS0 18629-14:2006(E) ISO @ IS0 2006 BS IS0 18629-14:2006 IS0 18629-14:2006(E) COPYRIGHT PROTECTED DOCUMENT IS0 2006, Published in Switzerland All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized otherwise in any form or by any means, electronic or mechanical, including photocopying, or posting on the internet or an intranet, without prior written permission. Permission can be requested from either ISO at the address below or ISO's member body in the country of the requester. ISO copyright office Ch. de Blandonnet 8 . CP 401 CH-1214 Vernier, Geneva, Switzerland Tel. +41 22 749 01 11 Fax +41 22 749 09 47 [email protected] www.iso.org ii @ IS0 2006 - All rights reserved BSIS018629-14:2006 IS0 18629-14:2006 Contents Page Foreword ..V Introduction ..vi 1 Scope. .1 2 Normative references 3 Terms, definitions, and abbreviations 3.1 Terms and definitions. 1 3.2 Abbreviations... .4 4 General information on Is0 18629 .4 5 Organization of this part of Is0 18629 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. 5 6.3 Defined relations of the Resource requirements theory 5 6.4 Core theories required by Resource requirements theory 6.5 Definitional extensions required by Resource requirements theory. 6 6.6 Informal Semantics of the Resource Requirements theory. 6 6.6.1 requires. 6.6.2 resource_point 6 6.6.3 demand 6 6.6.4 agg_demand 6 6.6.5 resource 7 6.7 Definitions in the Resource Requirements theory 7 6.7.1 Definition 1: 7 6.8 Axioms of the Resource Requirements theory 7 6.8.1 Axiom 1 1 6.8.2 Axiom 2 7 6.8.3 Axiom 3 8 6.8.4 Axiom 4 8 6.8.5 Axiom 5 .8 7 Resource set theory .8 7.1 Primitive functions of Resource set theory 8 7.2 Defined functions of Resource set theory 8 7.3 Core theories required by Resource set theory .8 7.4 Definitional extensions required by Resource set theory 7.5 Informal semantics of the Resource set theory 9 7.5.1 resourceset 9 7.5.2 in_resource_set. 9 7.5.3 resource_subs