ISO INTERNATIONAL STANDARD 20534 First edition 2018-09 Industrial automation systems and integration Formal semantic models for the configuration of global production networks Systemes d'automatisation industrielle et integration -Modeles semantiques formels pour la configuration des reseaux de production mondiaux Reference number IS0 20534:2018(E) ISO @ IS0 2018 IS0 20534:2018(E) nobnogpglloolsiigqml COPYRIGHTPROTECTEDDOCUMENT @IS02018 All rights reserved. Unless otherwise specified, or required in the context of its implementation, 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 beloworIso'smemberbodyinthecountryoftherequester. ISO copyright office CP 40i:Ch.de Blandonnet 8 CH-1214 Vernier, Geneva Phone:+4122749 0111 Fax: +4122 749 09 47 Email: copyright@iso.org Website:www.iso.org Published in Switzerland ii @ IS0 2018 - All rights reserved IS0 20534:2018(E) Contents Page Foreword .vi Introduction. 1 Scope. .1 2 Normative references. .1 3 Terms and definitions .1 4 Abbreviated terms. .8 5 Formal semantic models for the configuration of global production networks .8 5.1 Formalsemantics. .8 5.2 Overview ofthe levels of specialization 8 6 System functionality formal semantics - Level 1 .10 6.1 Overview 10 6.2 Level 1 formal semantics — Context .12 6.2.1 Context. 12 6.3 Level 1 formal semantics - Properties 13 6.3.1 Property Basic. 13 6.3.2 Property Entity. .13 nobrogpglloolsinggml 6.3.3 Property Activity 13 6.3.4 Property System function 13 6.3.5 Property Energy 14 6.3.6 Property Material. 14 6.3.7 Property Information 14 6.3.8 Property Role.. .15 6.3.9 Property Input. 15 6.3.10 Property Output. 15 6.3.11 Property Resource. .15 6.3.12 Property Control. 15 6.3.13 Property Scenario 16 6.4 Level 1 formal semantics - Relationships 16 6.4.1 Relationship - Affects state.. .16 6.4.2 Relationship- Basic affects role 16 6.4.3 Relationship - Role affects the state of role 17 6.4.4 Relationship - Plays role. 17 6.4.5 Relationship Role requires a context provided by an activity 17 6.4.6 Relationship Basic composed of a basic. 17 6.4.7 Relationship - Role composed of a role 18 6.4.8 Relationship - Activity contains a role. 18 6.5 Level 1 formal semantics Axioms.. .18 6.5.1 Axiom - Role requires an activity to provide a context. .18 6.5.2 Axiom- An activity cannot contain a role and play the role 19 6.6 Level 1 formal semantics Rules. 19 6.6.1 Rule - Role requires an activity .19 6.6.2 Rule Activity containing a role .19 7 Designed systems formal semantics - Level 2 19 7.1 Overview 19 7.1.1 Level 2 Systems overview 20 7.1.2 Level 2 Role overview.. .20 7.1.3 Level 2 Network overview 21 7.1.4 Product overview at levels 2 and 4 22 7.1.5 Overview of Location .23 7.2 Level 2 formal semantics Context .24 7.2.1 Context - Designed systems .24 7.3 Level 2formal semantics— Properties 25 @ IS0 2018 - All rights reserved iii