ISO/IEC 19505-2:2012

INTERNATIONAL ISO/IEC
STANDARD 19505-2
First edition
2012-04-15

Information technology — Object
Management Group Unified Modeling
Language (OMG UML) —
Part 2:
Superstructure
Technologies de l'information — Langage de modélisation unifié OMG
(OMG UML) —
Partie 2: Superstructure




Reference number
ISO/IEC 19505-2:2012(E)
©
ISO/IEC 2012

---------------------- Page: 1 ----------------------
ISO/IEC 19505-2:2012(E)

COPYRIGHT PROTECTED DOCUMENT


©  ISO/IEC 2012
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means,
electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or
ISO's member body in the country of the requester.
ISO copyright office
Case postale 56  CH-1211 Geneva 20
Tel. + 41 22 749 01 11
Fax + 41 22 749 09 47
E-mail copyright@iso.org
Web www.iso.org
Published in Switzerland

ii © ISO/IEC 2012 – All rights reserved

---------------------- Page: 2 ----------------------
ISO/IEC 19505-2:2012(E)
Table of Contents
1. Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Conformance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.1 Language Units . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2
2.2 Compliance Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2
2.3 Meaning and Types of Compliance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6
2.4 Compliance Level Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .8
3. Normative References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4. Terms and Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5. Notational Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5.1 Keywords for Requirement Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .10
5.2 Annotations on Example Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .10
6. Additional Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6.1 Architectural Alignment and MDA Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
6.2 On the Run-Time Semantics of UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
6.2.1 The Basic Premises . 11
6.2.2 The Semantics Architecture . 11
6.2.3 The Basic Causality Model . 12
6.2.4 Semantics Descriptions in the Specification . 13
6.3 The UML Metamodel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14
6.3.1 Models and What They Model . 14
6.3.2 Semantic Levels and Naming . 14
6.4 How to Read this Proceed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
6.4.1 Specification format . 15
6.4.2 Diagram format . 18
6.4.3 Contents of Subparts . 19
Subpart I - Supplement . 23
7. Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
7.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .25
© ISO/IEC 2012 - All rights reserved    iii

---------------------- Page: 3 ----------------------
ISO/IEC 19505-2:2012(E)
7.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .26
7.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .39
7.3.1 Abstraction (from Dependencies) . 39
7.3.2 AggregationKind (from Kernel) . 39
7.3.3 Association (from Kernel) . 40
7.3.4 AssociationClass (from AssociationClasses) . 48
7.3.5 BehavioralFeature (from Kernel) . 51
7.3.6 BehavioredClassifier (from Interfaces) . 52
7.3.7 Class (from Kernel) . 52
7.3.8 Classifier (from Kernel, Dependencies, PowerTypes, Interfaces) . 55
7.3.9 Comment (from Kernel) . 60
7.3.10 Constraint (from Kernel) . 61
7.3.11 DataType (from Kernel) . 64
7.3.12 Dependency (from Dependencies) . 65
7.3.13 DirectedRelationship (from Kernel) . 67
7.3.14 Element (from Kernel) . 68
7.3.15 ElementImport (from Kernel) . 69
7.3.16 Enumeration (from Kernel) .71
7.3.17 EnumerationLiteral (from Kernel) . 72
7.3.18 Expression (from Kernel) . 73
7.3.19 Feature (from Kernel) . 74
7.3.20 Generalization (from Kernel, PowerTypes) . 75
7.3.21 GeneralizationSet (from PowerTypes) . 79
7.3.22 InstanceSpecification (from Kernel) . 87
7.3.23 InstanceValue (from Kernel) .90
7.3.24 Interface (from Interfaces) . 91
7.3.25 InterfaceRealization (from Interfaces) . 94
7.3.26 LiteralBoolean (from Kernel) . 94
7.3.27 LiteralInteger (from Kernel) . 95
7.3.28 LiteralNull (from Kernel) . 96
7.3.29 LiteralReal . 97
7.3.30 LiteralSpecification (from Kernel) .98
7.3.31 LiteralString (from Kernel) . 99
7.3.32 LiteralUnlimitedNatural (from Kernel) . 99
7.3.33 MultiplicityElement (from Kernel) . 100
7.3.34 NamedElement (from Kernel, Dependencies) . 104
7.3.35 Namespace (from Kernel) . 105
7.3.36 OpaqueExpression (from Kernel) . 108
7.3.37 Operation (from Kernel, Interfaces) . 109
7.3.38 Package (from Kernel) . 113
7.3.39 PackageableElement (from Kernel) . 116
7.3.40 PackageImport (from Kernel) . 117
7.3.41 PackageMerge (from Kernel) . 118
7.3.42 Parameter (from Kernel) . 127
7.3.43 ParameterDirectionKind (from Kernel) . 129
7.3.44 PrimitiveType (from Kernel) . 129
7.3.45 Property (from Kernel, AssociationClasses, Interfaces) . 130
7.3.46 Realization (from Dependencies) . 136
7.3.47 RedefinableElement (from Kernel) . 137
7.3.48 Relationship (from Kernel) . 139
iv © ISO/IEC 2012 - All rights reserved

---------------------- Page: 4 ----------------------
ISO/IEC 19505-2:2012(E)
7.3.49 Slot (from Kernel) . 140
7.3.50 StructuralFeature (from Kernel) . 140
7.3.51 Substitution (from Dependencies) . 141
7.3.52 Type (from Kernel) . 142
7.3.53 TypedElement (from Kernel) . 143
7.3.54 Usage (from Dependencies) . 144
7.3.55 ValueSpecification (from Kernel) . 145
7.3.56 VisibilityKind (from Kernel) . 146
7.4 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .147
8. Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
8.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .151
8.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .151
8.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155
8.3.1 Component (from BasicComponents, PackagingComponents) . 155
8.3.2 ComponentRealization (from BasicComponents) . 164
8.3.3 ConnectableElement (from BasicComponents) . 165
8.3.4 Connector (from BasicComponents) . 165
8.3.5 ConnectorEnd (from BasicComponents) . 169
8.3.6 ConnectorKind (from BasicComponents) . 169
8.4 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .170
9. Composite Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
9.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .173
9.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .173
9.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .178
9.3.1 Class (from StructuredClasses, InternalStructures) . 178
9.3.2 Classifier (from InternalStructures, Collaborations) . 179
9.3.3 Collaboration (from Collaborations) . 180
9.3.4 CollaborationUse (from Collaborations) . 183
9.3.5 ConnectableElement (from InternalStructures) . 186
9.3.6 Connector (from InternalStructures) . 186
9.3.7 ConnectorEnd (from InternalStructures, Ports) . 188
9.3.8 EncapsulatedClassifier (from Ports) . 190
9.3.9 Feature (from InternalStructures) . 190
9.3.10 InvocationAction (from InvocationActions) . 191
9.3.11 Parameter (from Collaborations) . 191
9.3.12 Port (from Ports) . 192
9.3.13 Property (from InternalStructures) . 196
9.3.14 StructuredClassifier (from InternalStructures) . 198
9.3.15 Trigger (from InvocationActions) . 202
9.3.16 Variable (from StructuredActivities) . 203
9.4 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .203
© ISO/IEC 2012 - All rights reserved    v

---------------------- Page: 5 ----------------------
ISO/IEC 19505-2:2012(E)
10. Deployments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .205
10.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .205
10.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .205
10.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .209
10.3.1 Artifact (from Artifacts, Nodes) . 209
10.3.2 CommunicationPath (from Nodes) . 211
10.3.3 DeployedArtifact (from Nodes) . 212
10.3.4 Deployment (from ComponentDeployments, Nodes) . 213
10.3.5 DeploymentSpecification (from ComponentDeployments) . 215
10.3.6 DeploymentTarget (from Nodes) . 217
10.3.7 Device (from Nodes) . 218
10.3.8 ExecutionEnvironment (from Nodes) . 219
10.3.9 InstanceSpecification (from Nodes) . 220
10.3.10 Manifestation (from Artifacts) . 221
10.3.11 Node (from Nodes) . 222
10.3.12 Property (from Nodes) . 224
10.4 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .225
Subpart II - Behavior . 229
11. Actions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .231
11.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .231
11.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .233
11.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .247
11.3.1 AcceptCallAction (from CompleteActions) . 247
11.3.2 AcceptEventAction (from CompleteActions) . 248
11.3.3 Action (from BasicActions) . 250
11.3.4 ActionInputPin (from StructuredActions) . 251
11.3.5 AddStructuralFeatureValueAction (from IntermediateActions) . 252
11.3.6 AddVariableValueAction (from StructuredActions) . 254
11.3.7 BroadcastSignalAction (from IntermediateActions) . 255
11.3.8 CallAction (from BasicActions) . 257
11.3.9 CallBehaviorAction (from BasicActions) . 257
11.3.10 CallOperationAction (from BasicActions) . 259
11.3.11 ClearAssociationAction (from IntermediateActions) . 260
11.3.12 ClearStructuralFeatureAction (from IntermediateActions) . 261
11.3.13 ClearVariableAction (from StructuredActions) . 262
11.3.14 CreateLinkAction (from IntermediateActions) . 263
11.3.15 CreateLinkObjectAction (from CompleteActions) . 265
11.3.16 CreateObjectAction (from IntermediateActions) . 266
11.3.17 DestroyLinkAction (from IntermediateActions) . 267
11.3.18 DestroyObjectAction (from IntermediateActions) . 268
11.3.19 InputPin (from BasicActions) . 269
11.3.20 InvocationAction (from BasicActions) . 270
11.3.21 LinkAction (from IntermediateActions) . 270
vi © ISO/IEC 2012 - All rights reserved

---------------------- Page: 6 ----------------------
ISO/IEC 19505-2:2012(E)
11.3.22 LinkEndCreationData (from IntermediateActions) . 272
11.3.23 LinkEndData (from IntermediateActions, CompleteActions) . 273
11.3.24 LinkEndDestructionData (from IntermediateActions) . 275
11.3.25 MultiplicityElement (from BasicActions) . 276
11.3.26 OpaqueAction (from BasicActions) . 276
11.3.27 OutputPin (from BasicActions) . 277
11.3.28 Pin (from BasicActions) .278
11.3.29 QualifierValue (from CompleteActions) . 278
11.3.30 RaiseExceptionAction (from StructuredActions) . 279
11.3.31 ReadExtentAction (from CompleteActions) . 280
11.3.32 ReadIsClassifiedObjectAction (from CompleteActions) . 281
11.3.33 ReadLinkAction (from IntermediateActions) . 282
11.3.34 ReadLinkObjectEndAction (from CompleteActions) . 284
11.3.35 ReadLinkObjectEndQualifierAction (from CompleteActions) . 285
11.3.36 ReadSelfAction (from IntermediateActions) . 286
11.3.37 ReadStructuralFeatureAction (from IntermediateActions) . 288
11.3.38 ReadVariableAction (from StructuredActions) . 289
11.3.39 ReclassifyObjectAction (from CompleteActions) . 290
11.3.40 ReduceAction (from CompleteActions) . 291
11.3.41 RemoveStructuralFeatureValueAction (from IntermediateActions) . 292
11.3.42 RemoveVariableValueAction (from StructuredActions) . 294
11.3.43 ReplyAction (from CompleteActions) . 295
11.3.44 SendObjectAction (from IntermediateActions) . 296
11.3.45 SendSignalAction (from BasicActions) . 297
11.3.46 StartClassifierBehaviorAction (from CompleteActions) . 298
11.3.47 StartObjectBehaviorAction (from CompleteActions) . 299
11.3.48 StructuralFeatureAction (from IntermediateActions) . 300
11.3.49 TestIdentityAction (from IntermediateActions) . 302
11.3.50 UnmarshallAction (from CompleteActions) . 303
11.3.51 ValuePin (from BasicActions) . 304
11.3.52 ValueSpecificationAction (from IntermediateActions) . 305
11.3.53 VariableAction (from StructuredActions) . 306
11.3.54 WriteLinkAction (from IntermediateActions) . 306
11.3.55 WriteStructuralFeatureAction (from IntermediateActions) . 307
11.3.56 WriteVariableAction (from StructuredActions) . 308
11.4 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .309
12. Activities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
12.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .311
12.2 Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .313
12.3 Class Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .325
12.3.1 AcceptEventAction (as specialized) . 325
12.3.2 Action (from CompleteActivities, FundamentalActivities, StructuredActivities,
CompleteStructuredActivities) . 327
12.3.3 ActionInputPin (as specialized) . 331
12.3.4 Activity (from BasicActivities, CompleteActivities, FundamentalActivities,
StructuredActivities) . 332
© ISO/IEC 2012 - All rights reserved    vii

---------------------- Page: 7 ----------------------
ISO/IEC 19505-2:2012(E)
12.3.5 ActivityEdge (from BasicActivities, CompleteActivities, CompleteStructuredActivities,
IntermediateActivities) . 342
12.3.6 ActivityFinalNode (from BasicActivities, IntermediateActivities) . 347
12.3.7 ActivityGroup (from BasicActivities, FundamentalActivities, IntermediateActivities,
StructuredActivities, CompleteActivities, CompleteStructuredActivities) . 350
12.3.8 ActivityNode (from BasicActivities, CompleteActivities, FundamentalActivities,
IntermediateActivities, CompleteStructuredActivities) . 351
12.3.9 ActivityParameterNode (from BasicActivities) . 354
12.3.10 ActivityPartition (from IntermediateActivities) .358
12.3.11 AddVariableValueAction (as specialized) . 363
12.3.12 Behavior (from CompleteActivities) . 364
12.3.13 BehavioralFeature (from CompleteActivities) . 365
12.3.14 CallBehaviorAction (as specialized) . 366
12.3.15 CallOperationAction (as specialized) . 368
12.3.16 CentralBufferNode (from IntermediateActivities) . 369
12.3.17 Clause (from CompleteStructuredActivities, StructuredActivities) . 370
12.3.18 ConditionalNode (from CompleteStructuredActivities, StructuredActivities) . 371
12.3.19 ControlFlow (from BasicActivities) . 374
12.3.20 ControlNode (from BasicActivities) . 375
12.3.21 DataStoreNode (from CompleteActivities) . 377
12.3.22 DecisionNode (from IntermediateActivities) . 378
12.3.23 ExceptionHandler (from ExtraStructuredActivities) . 381
12.3.24 ExecutableNode (from ExtraStructuredActivities, StructuredActivi
...