ISO/IEC 19514:2017

INTERNATIONAL ISO/IEC
STANDARD 19514
First edition
2017-03
Information technology — Object
management group systems modeling
language (OMG SysML)
Technologies de l’information — Langage de modélisation de sytèmes
OMG (OMG SysML)
Reference number
ISO/IEC 19514:2017(E)
©
ISO/IEC 2017

---------------------- Page: 1 ----------------------
ISO/IEC 19514:2017(E)

COPYRIGHT PROTECTED DOCUMENT
© ISO/IEC 2017, 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
copyright@iso.org
www.iso.org
ii © ISO/IEC 2017 – All rights reserved

---------------------- Page: 2 ----------------------
ISO/IEC 19514:2017(E)
Table of Contents
FOREWORD .xix
INTRODUCTION. xx
1 Scope . 1
1.1 General .1
2 Normative References. 1
3 Additional Information. 2
3.1 Relationships to Other Standards .2
3.2 How to Read this International Standard.2
3.2.1 Organization. 3
3.3 Acknowledgments .4
4 Language Architecture . 7
4.1 General .7
4.2 Design Principles.10
4.3 Architecture .10
4.4 Extension Mechanisms .13
4.5 SysML Diagrams .13
5 Conformance. 15
5.1 Overview .15
5.2 Conformance Types .15
6 Language Formalism. 17
6.1 Levels of Formalism .17
6.2 Clause Structure.17
6.2.1 Overview . 17
6.2.2 Diagram Elements . 17
6.2.3 UML Extensions. 17
6.2.4 Usage Examples. 18
6.3 Conventions and Typography .18
STRUCTURAL CONSTRUCTS . 19
 ISO/IEC 2017 - All rights reserved    iii

---------------------- Page: 3 ----------------------
ISO/IEC 19514:2017(E)
7 Model Elements.21
7.1 Overview.21
7.1.1 View and Viewpoint. 21
7.2 Diagram Elements.22
7.3 UML Extensions .25
7.3.1 Diagram Extensions. 25
7.3.1.1 UML Diagram Elements not Included in SysML .25
7.3.2 Stereotypes. 26
7.3.2.1 Conform .26
7.3.2.2 ElementGroup .27
7.3.2.3 Expose .28
7.3.2.4 Problem .28
7.3.2.5 Rationale .29
7.3.2.6 Stakeholder .29
7.3.2.7 View .29
7.3.2.8 Viewpoint .30
7.4 Usage Examples .30
8 Blocks .33
8.1 Overview.33
8.2 Diagram Elements.34
8.2.1 Block Definition Diagram. 34
8.2.2 Internal Block Diagram. 40
8.3 UML Extensions .42
8.3.1 Diagram Extensions. 42
8.3.1.1 Block Definition Diagram .42
8.3.1.2 Internal Block Diagram .44
8.3.1.3 UML Diagram Elements not Included in SysML Block Definition Diagrams .46
8.3.1.4 UML Diagram Elements not Included in SysML Internal Block Diagrams .46
8.3.2 Stereotypes. 47
8.3.2.1 AdjunctProperty .49
8.3.2.2 Binding Connector .50
8.3.2.3 Block .51
8.3.2.4 Bound Reference .53
8.3.2.5 ClassifierBehaviorProperty .54
8.3.2.6 ConnectorProperty .54
8.3.2.7 DirectedRelationshipPropertyPath .55
8.3.2.8 DistributedProperty .56
8.3.2.9 ElementPropertyPath .56
8.3.2.10 EndPathMultiplicity .56
8.3.2.11 NestedConnectorEnd .57
8.3.2.12 ParticipantProperty .57
8.3.2.13 PropertySpecificType .58
8.3.2.14 ValueType .58
8.3.3 Model Libraries. 59
iv    ISO/IEC 2017 - All rights reserved

---------------------- Page: 4 ----------------------
ISO/IEC 19514:2017(E)
8.3.3.1 Package PrimitiveValueTypes .59
8.3.3.2 Package UnitAndQuantityKind .60
8.4 Usage Examples .62
8.4.1 Wheel Hub Assembly. 62
8.4.2 Example Value Type Definitions . 64
8.4.3 Design Configuration for SUV EPA Fuel Economy Test. 65
8.4.4 Water Delivery . 65
8.4.5 Constraining Decomposition .65
8.4.6 Units and Quantity Kinds . 67
9 Ports and Flows. 71
9.1 Overview .71
9.1.1 Ports. 71
9.1.2 Flow Properties, Provided and Required Features, and Nested Ports . 71
9.1.3 Proxy Ports and Full Ports . 71
9.1.4 Item Flows. 72
9.1.5 Deprecation of Flow Ports and Flow Specifications. 72
9.2 Diagram Elements.73
9.2.1 Block Definition Diagram. 73
9.2.2 Internal Block Diagram. 76
9.3 UML Extensions .78
9.3.1 Diagram Extensions. 78
9.3.1.1 DirectedFeature .78
9.3.1.2 FlowProperty .78
9.3.1.3 FullPort .78
9.3.1.4 InvocationOnNestedPortAction .78
9.3.1.5 ItemFlow .78
9.3.1.6 Port. 78
9.3.1.7 ProxyPort .79
9.3.1.8 TriggerOnNestedPort .79
9.3.2 Stereotypes. 79
9.3.2.1 AcceptChangeStructuralFeatureEventAction .81
9.3.2.2 Block . 82
9.3.2.3 ChangeStructuralFeatureEvent .82
9.3.2.4 DirectedFeature .82
9.3.2.5 FeatureDirection .83
9.3.2.6 FlowDirection. 84
9.3.2.7 FlowProperty .84
9.3.2.8 FullPort .85
9.3.2.9 InterfaceBlock .86
9.3.2.10 InvocationOnNestedPortAction .86
9.3.2.11 ItemFlow .86
9.3.2.12 ProxyPort .87
9.3.2.13 TriggerOnNestedPort .88
 ISO/IEC 2017 - All rights reserved    v

---------------------- Page: 5 ----------------------
ISO/IEC 19514:2017(E)
9.4 Usage Examples .89
9.4.1 Ports with Required and Provided Features . 89
9.4.2 Flow Ports and Item Flows. 89
9.4.3 Ports with Flow Properties . 90
9.4.4 Proxy and Full Ports. 90
9.4.5 Association and Port Decomposition . 91
9.4.6 Item Flow Decomposition. 95
10 Constraint Blocks.97
10.1 Overview.97
10.2 Diagram Elements.98
10.2.1 Block Definition Diagram. 98
10.2.2 Parametric Diagram . 98
10.3 UML Extensions .99
10.3.1 Diagram Extensions. 99
10.3.1.1 Block Definition Diagram .99
10.3.1.2 Parametric Diagram .101
10.3.2 Stereotypes. 100
10.3.2.1 ConstraintBlock .101
10.4 Usage Examples .101
10.4.1 Definition of Constraint Blocks on a Block Definition Diagram. 101
10.4.2 Usage of Constraint Blocks on a Parametric Diagram. 101
BEHAVIORAL CONSTRUCTS.103
11 Activities .105
11.1 Overview.105
11.1.1 Control as Data . 105
11.1.2 Continuous Systems . 105
11.1.3 Probability . 105
11.1.4 Activities as Blocks. 106
11.1.5 Timelines. 106
11.2 Diagram Elements.107
11.2.1 Activity Diagram . 105
11.3 UML Extensions .114
11.3.1 Diagram Extensions. 114
11.3.1.1 Activity .114
11.3.1.2 CallBehaviorAction .115
11.3.1.3 ControlFlow .116
11.3.1.4 ObjectNode, Variables, and Parameters .116
11.3.2 Stereotypes. 117
11.3.2.1 Continuous .118
vi    ISO/IEC 2017 - All rights reserved

---------------------- Page: 6 ----------------------
ISO/IEC 19514:2017(E)
11.3.2.2 ControlOperator .119
11.3.2.3 Discrete .119
11.3.2.4 NoBuffer .119
11.3.2.5 Overwrite .120
11.3.2.6 Optional .120
11.3.2.7 Probability .120
11.3.2.8 Rate .121
11.3.3 Model Libraries . 121
11.3.3.1 Package ControlValues .121
11.4 Usage Examples .122
12 Interactions. 127
12.1 Overview .127
12.2 Diagram Elements.128
12.2.1 Sequence Diagram . 128
12.3 UML Extensions .133
12.3.1 Diagram Extensions. 133
12.3.1.1 Exclusion of Communication Diagram, Interaction Overview Diagram, and
        Timing Diagram .133
12.3.1.2 Interactions and Parameters .133
12.4 Usage Examples .134
12.4.1 Sequence Diagrams .134
13 State Machines. 135
13.1 Overview .135
13.2 Diagram Elements.135
13.2.1 State Machine Diagram . 135
13.3 UML Extensions .140
13.3.1 Diagram Extensions. 140
13.3.1.1 State Machines and Parameters .140
13.4 Usage Examples .140
13.4.1 State Machine Diagram . 140
14 Use Cases. 141
14.1 Overview .141
14.2 Diagram Elements.142
14.2.1 Use Case Diagram. 142
14.3 UML Extensions .143
14.4 Usage Examples .143
CROSSCUTTING CONSTRUCTS. 145
 ISO/IEC 2017 - All rights reserved    vii

---------------------- Page: 7 ----------------------
ISO/IEC 19514:2017(E)
15 Allocations .147
15.1 Overview.147
15.2 Diagram Elements.147
15.2.1 Representing Allocation on Diagrams. 148
15.3  UML Extensions .149
15.3.1 Diagram Extensions. 149
15.3.1.1 Tables .149
15.3.1.2 Allocate Relationship Rendering . 149
15.3.1.3 Allocation Compartment Format .149
15.3.1.4 Allocation Callout Format .149
15.3.1.5 AllocatedActivityPartition Label .149
15.3.2 Stereotypes. 150
15.3.2.1 Allocate(from Allocations) .150
15.3.2.2 AllocateActivityPartition(from Allocations) .151
15.4 Usage Examples .152
15.4.1 Behavior Allocation of Actions to Parts and Activities to Blocks . 152
15.4.2 Allocate Flow. 153
15.4.2.1 Allocating Structure .154
15.4.2.2 Automotive Example .154
15.4.3 Tabular Representation. 155
16 Requirements .157
16.1 Overview.
...