ISO 20534:2018

INTERNATIONAL ISO
STANDARD 20534
First edition
2018-09
Industrial automation systems and
integration — Formal semantic
models for the configuration of global
production networks
Systèmes d'automatisation industrielle et intégration — Modèles
sémantiques formels pour la configuration des réseaux de production
mondiaux
Reference number
©
ISO 2018
© ISO 2018
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
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
CP 401 • Ch. de Blandonnet 8
CH-1214 Vernier, Geneva
Phone: +41 22 749 01 11
Fax: +41 22 749 09 47
Email: copyright@iso.org
Website: www.iso.org
Published in Switzerland
ii © ISO 2018 – All rights reserved

Contents Page
Foreword .vi
Introduction .vii
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 Formal semantics . 8
5.2 Overview of the 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
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 2 formal semantics — Properties .25
7.3.1 Property — Network .25
7.3.2 Property — Product .25
7.3.3 Property — PhysicalProduct .25
7.3.4 Property — Physical product with service .25
7.3.5 Property — Service .25
7.3.6 Property — Service using physical product .26
7.3.7 Propery — Prototype .26
7.3.8 Property — Organization function . .26
7.3.9 Property — Facility function .26
7.3.10 Property — Actor type.26
7.3.11 Property — Actor .27
7.3.12 Property — Customer .27
7.3.13 Property — Supplier .27
7.3.14 Property — Gateway .27
7.3.15 Property — Diverging gateway .27
7.3.16 Property — Converging gateway .28
7.3.17 Property — Inclusive diverging gateway .28
7.3.18 Property — Inclusive converging gateway .28
7.3.19 Property — Exclusive diverging gateway .28
7.3.20 Property — Exclusive converging gateway .28
7.3.21 Property — Condition .29
7.3.22 Property — Business event .29
7.3.23 Property — Start event .29
7.3.24 Property — End event . .29
7.3.25 Property — Decision event .29
7.3.26 Property — Plan .30
7.3.27 Property — Project .30
7.3.28 Property — Location .30
7.3.29 Property — Zonetype .
...