ISO/IEC 19514:2017
(Main)Information technology — Object management group systems modeling language (OMG SysML)
Information technology — Object management group systems modeling language (OMG SysML)
The purpose of ISO/IEC 19514:2017 is to specify the Systems Modeling Language (SysML), a general-purpose modeling language for systems engineering. Its intent is to specify the language so that systems engineering modelers may learn to apply and use SysML; modeling tool vendors may implement and support SysML; and both can provide feedback to improve future versions. Note that a definition of "system" and "systems engineering" can be found in ISO/IEC/IEEE 15288. SysML reuses a subset of UML 2 and provides additional extensions to satisfy the requirements of the language. This International Standard documents the language architecture in terms of the parts of UML 2 that are reused and the extensions to UML 2. The International Standard includes the concrete syntax (notation) for the complete language and specifies the extensions to UML 2. The reusable portion of the UML 2 standard is not included directly in the International Standard but is included by reference. The International Standard also provides examples of how the language can be used to solve common systems engineering problems. SysML is designed to provide simple but powerful constructs for modeling a wide range of systems engineering problems. It is particularly effective in specifying requirements, structure, behavior, allocations, and constraints on system properties to support engineering analysis. The language is intended to support multiple processes and methods such as structured, object-oriented, and others, but each methodology may impose additional constraints on how a construct or diagram kind may be used. This version of the language supports most, but not all, of the requirements of the UML for Systems Engineering RFP, as shown in the Requirements Traceability referenced by Annex F. These gaps are intended to be addressed in future versions of SysML as indicated in the matrix. The following sub clauses provide background information about this International Standard. Instructions for both systems engineers and tool vendors who read this International Standard are provided in "How to Read this International Standard." The main body of this International Standard describes the normative technical content. The annexes include additional information to aid in understanding and implementation of this International Standard.
Technologies de l'information — Langage de modélisation de sytèmes OMG (OMG SysML)
General Information
Standards Content (Sample)
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.
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.