Object Management Group, 2013. — 831 p.
The goal of this specification is to enable a smooth and seamless exchange of documents compliant to the UML standard (in the following referred to as UML models) between different software tools. While this certainly includes tools for developing UML models, it also includes tools such as whiteboard tools, code generators, word processing tools, and desktop publishing tools. Also, special attention is given to the Internet as a medium for exchanging and presenting UML models.
Стандарт языка UML (версия 2.5).
Contents:
Scope.
Conformance.
Normative References.
Terms and Definitions.
Notational Conventions.
Key words for Requirement Statements.
Annotations on Example Diagrams.
Additional Information.
Specification Simplification.
Architectural Alignment.
On the Semantics of UML.
Models and What They Model.
Semantic Areas.
Stable and Transient Behavioral Semantics.
How to Read this Specification.
Specification Format.
Diagram Format.
Acknowledgements.
Primary Authors.
Technical Support.
Reviewers.
Submitters.
Common Structure.
Summary.
Root.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Templates.
Summary.
Abstract Syntax.
Semantics.
Notation.
Namespaces.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Types and Multiplicity.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Constraints.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Dependencies.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
Abstraction [Class].
Comment [Class].
Constraint [Class].
Dependency [Class].
DirectedRelationship [Abstract Class].
Element [Abstract Class].
ElementImport [Class].
MultiplicityElement [Abstract Class].
NamedElement [Abstract Class].
Namespace [Abstract Class].
PackageImport [Class].
PackageableElement [Abstract Class].
ParameterableElement [Abstract Class].
Realization [Class].
Relationship [Abstract Class].
TemplateBinding [Class].
TemplateParameter [Class].
TemplateParameterSubstitution [Class].
TemplateSignature [Class].
TemplateableElement [Abstract Class].
Type [Abstract Class].
TypedElement [Abstract Class].
Usage [Class].
VisibilityKind [Enumeration].
Association Descriptions.
A_actual_templateParameterSubstitution [Association].
A_annotatedElement_comment [Association].
A_clientDependency_client [Association].
A_constrainedElement_constraint [Association].
A_default_templateParameter [Association].
A_elementImport_importingNamespace [Association].
A_formal_templateParameterSubstitution [Association].
A_importedElement_import [Association].
A_importedMember_namespace [Association].
A_importedPackage_packageImport [Association].
A_lowerValue_owningLower [Association].
A_mapping_abstraction [Association].
A_member_memberNamespace [Association].
A_nameExpression_namedElement [Association].
A_ownedActual_owningTemplateParameterSubstitution [Association].
A_ownedComment_owningElement [Association].
A_ownedDefault_templateParameter [Association].
A_ownedElement_owner [Association].
A_ownedMember_namespace [Association].
A_ownedParameter_signature [Association].
A_ownedParameteredElement_owningTemplateParameter [Association].
A_ownedRule_context [Association].
A_ownedTemplateSignature_template [Association].
A_packageImport_importingNamespace [Association].
A_parameterSubstitution_templateBinding [Association].
A_parameter_templateSignature [Association].
A_parameteredElement_templateParameter [Association].
A_relatedElement_relationship [Association].
A_signature_templateBinding [Association].
A_source_directedRelationship [Association].
A_specification_owningConstraint [Association].
A_supplier_supplierDependency [Association].
A_target_directedRelationship [Association].
A_templateBinding_boundElement [Association].
A_type_typedElement [Association].
A_upperValue_owningUpper [Association].
Values.
Summary.
Literals.
Summary.
Abstract Syntax.
Semantics.
Notation.
Expressions.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Time.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Intervals.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
Duration [Class].
DurationConstraint [Class].
DurationInterval [Class].
DurationObservation [Class].
Expression [Class].
Interval [Class].
IntervalConstraint [Class].
LiteralBoolean [Class].
LiteralInteger [Class].
LiteralNull [Class].
LiteralReal [Class].
LiteralSpecification [Abstract Class].
LiteralString [Class].
LiteralUnlimitedNatural [Class].
Observation [Abstract Class].
OpaqueExpression [Class].
StringExpression [Class].
TimeConstraint [Class].
TimeExpression [Class].
TimeInterval [Class].
TimeObservation [Class].
ValueSpecification [Abstract Class].
Association Descriptions.
A_behavior_opaqueExpression [Association].
A_event_durationObservation [Association].
A_event_timeObservation [Association].
A_expr_duration [Association].
A_expr_timeExpression [Association].
A_max_durationInterval [Association].
A_max_interval [Association].
A_max_timeInterval [Association].
A_min_durationInterval [Association].
A_min_interval [Association].
A_min_timeInterval [Association].
A_observation_duration [Association].
A_observation_timeExpression [Association].
A_operand_expression [Association].
A_result_opaqueExpression [Association].
A_specification_durationConstraint [Association].
A_specification_intervalConstraint [Association].
A_specification_timeConstraint [Association].
A_subExpression_owningExpression [Association].
Classification.
Summary.
Classifiers.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Templates.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Features.
Summary.
Abstract Syntax.
Semantics.
Notation.
Properties.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Operations.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Generalization Sets.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Instances.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
AggregationKind [Enumeration].
BehavioralFeature [Abstract Class].
CallConcurrencyKind [Enumeration].
Classifier [Abstract Class].
ClassifierTemplateParameter [Class].
Feature [Abstract Class].
Generalization [Class].
GeneralizationSet [Class].
InstanceSpecification [Class].
InstanceValue [Class].
Operation [Class].
OperationTemplateParameter [Class].
Parameter [Class].
ParameterDirectionKind [Enumeration].
ParameterEffectKind [Enumeration].
ParameterSet [Class].
Property [Class].
RedefinableElement [Abstract Class].
RedefinableTemplateSignature [Class].
Slot [Class].
StructuralFeature [Abstract Class].
Substitution [Class].
Association Descriptions.
A_attribute_classifier [Association].
A_bodyCondition_bodyContext [Association].
A_classifier_instanceSpecification [Association].
A_classifier_templateParameter_parameteredElement [Association].
A_collaborationUse_classifier [Association].
A_condition_parameterSet [Association].
A_constrainingClassifier_classifierTemplateParameter [Association].
A_contract_substitution [Association].
A_defaultValue_owningParameter [Association].
A_defaultValue_owningProperty [Association].
A_definingFeature_slot [Association].
A_extendedSignature_redefinableTemplateSignature [Association].
A_feature_featuringClassifier [Association].
A_general_classifier [Association].
A_general_generalization [Association].
A_generalizationSet_generalization [Association].
A_generalization_specific [Association].
A_inheritedMember_inheritingClassifier [Association].
A_inheritedParameter_redefinableTemplateSignature [Association].
A_instance_instanceValue [Association].
A_method_specification [Association].
A_operation_templateParameter_parameteredElement [Association].
A_opposite_property [Association].
A_ownedParameterSet_behavioralFeature [Association].
A_ownedParameter_operation [Association].
A_ownedParameter_ownerFormalParam [Association].
A_ownedTemplateSignature_classifier [Association].
A_ownedUseCase_classifier [Association].
A_parameterSet_parameter [Association].
A_postcondition_postContext [Association].
A_powertypeExtent_powertype [Association].
A_precondition_preContext [Association].
A_qualifier_associationEnd [Association].
A_raisedException_behavioralFeature [Association].
A_raisedException_operation [Association].
A_redefinedClassifier_classifier [Association].
A_redefinedElement_redefinableElement [Association].
A_redefinedOperation_operation [Association].
A_redefinedProperty_property [Association].
A_redefinitionContext_redefinableElement [Association].
A_representation_classifier [Association].
A_slot_owningInstance [Association].
A_specification_owningInstanceSpec [Association].
A_subsettedProperty_property [Association].
A_substitution_substitutingClassifier [Association].
A_type_operation [Association].
A_value_owningSlot [Association].
Simple Classifiers.
Summary.
DataTypes.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Signals.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Interfaces.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
BehavioredClassifier [Abstract Class].
DataType [Class].
Enumeration [Class].
EnumerationLiteral [Class].
Interface [Class].
InterfaceRealization [Class].
PrimitiveType [Class].
Reception [Class].
Signal [Class].
Association Descriptions.
A_classifierBehavior_behavioredClassifier [Association].
A_classifier_enumerationLiteral [Association].
A_contract_interfaceRealization [Association].
A_interfaceRealization_implementingClassifier [Association].
A_nestedClassifier_interface [Association].
A_ownedAttribute_datatype [Association].
A_ownedAttribute_interface [Association].
A_ownedAttribute_owningSignal [Association].
A_ownedBehavior_behavioredClassifier [Association].
A_ownedLiteral_enumeration [Association].
A_ownedOperation_datatype [Association].
A_ownedOperation_interface [Association].
A_ownedReception_interface [Association].
A_protocol_interface [Association].
A_redefinedInterface_interface [Association].
A_signal_reception [Association].
Structured Classifiers.
Summary.
Structured Classifiers.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Encapsulated Classifiers.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classes.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Associations.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Components.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Collaborations.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
Association [Class].
AssociationClass [Class].
Class [Class].
Collaboration [Class].
CollaborationUse [Class].
Component [Class].
ComponentRealization [Class].
ConnectableElement [Abstract Class].
ConnectableElementTemplateParameter [Class].
Connector [Class].
ConnectorEnd [Class].
ConnectorKind [Enumeration].
EncapsulatedClassifier [Abstract Class].
Port [Class].
StructuredClassifier [Abstract Class].
Association Descriptions.
A_collaborationRole_collaboration [Association].
A_connectableElement_templateParameter_parameteredElement [Association].
A_contract_connector [Association].
A_definingEnd_connectorEnd [Association].
A_endType_association [Association].
A_end_connector [Association].
A_end_role [Association].
A_extension_metaclass [Association].
A_memberEnd_association [Association].
A_navigableOwnedEnd_association [Association].
A_nestedClassifier_nestingClass [Association].
A_ownedAttribute_class [Association].
A_ownedAttribute_structuredClassifier [Association].
A_ownedConnector_structuredClassifier [Association].
A_ownedEnd_owningAssociation [Association].
A_ownedOperation_class [Association].
A_ownedPort_encapsulatedClassifier [Association].
A_ownedReception_class [Association].
A_packagedElement_component [Association].
A_partWithPort_connectorEnd [Association].
A_part_structuredClassifier [Association].
A_protocol_port [Association].
A_provided_component [Association].
A_provided_port [Association].
A_realization_abstraction_component [Association].
A_realizingClassifier_componentRealization [Association].
A_redefinedConnector_connector [Association].
A_redefinedPort_port [Association].
A_required_component [Association].
A_required_port [Association].
A_roleBinding_collaborationUse [Association].
A_role_structuredClassifier [Association].
A_superClass_class [Association].
A_type_collaborationUse [Association].
A_type_connector [Association].
Packages.
Summary.
Packages.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Profiles.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
Extension [Class].
ExtensionEnd [Class].
Image [Class].
Model [Class].
Package [Class].
PackageMerge [Class].
Profile [Class].
ProfileApplication [Class].
Stereotype [Class].
Association Descriptions.
A_appliedProfile_profileApplication [Association].
A_icon_stereotype [Association].
A_mergedPackage_packageMerge [Association].
A_metaclassReference_profile [Association].
A_metamodelReference_profile [Association].
A_nestedPackage_nestingPackage [Association].
A_ownedEnd_extension [Association].
A_ownedStereotype_owningPackage [Association].
A_ownedType_package [Association].
A_packageMerge_receivingPackage [Association].
A_packagedElement_owningPackage [Association].
A_profileApplication_applyingPackage [Association].
A_profile_stereotype [Association].
A_type_extensionEnd [Association].
Common Behavior.
Summary.
Behaviors.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Events.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
AnyReceiveEvent [Class].
Behavior [Abstract Class].
CallEvent [Class].
ChangeEvent [Class].
Event [Abstract Class].
FunctionBehavior [Class].
MessageEvent [Abstract Class].
OpaqueBehavior [Class].
SignalEvent [Class].
TimeEvent [Class].
Trigger [Class].
Association Descriptions.
A_changeExpression_changeEvent [Association].
A_context_behavior [Association].
A_event_trigger [Association].
A_operation_callEvent [Association].
A_ownedParameterSet_behavior [Association].
A_ownedParameter_behavior [Association].
A_port_trigger [Association].
A_postcondition_behavior [Association].
A_precondition_behavior [Association].
A_redefinedBehavior_behavior [Association].
A_signal_signalEvent [Association].
A_when_timeEvent [Association].
StateMachines.
Summary.
Behavior StateMachines.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
StateMachine Redefinition.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
ProtocolStateMachines.
Summary.
Abstract Syntax.
Semantics.
Notation.
Classifier Descriptions.
ConnectionPointReference [Class].
FinalState [Class].
ProtocolConformance [Class].
ProtocolStateMachine [Class].
ProtocolTransition [Class].
Pseudostate [Class].
PseudostateKind [Enumeration].
Region [Class].
State [Class].
StateMachine [Class].
Transition [Class].
TransitionKind [Enumeration].
Vertex [Abstract Class].
Association Descriptions.
A_conformance_specificMachine [Association].
A_connectionPoint_state [Association].
A_connectionPoint_stateMachine [Association].
A_connection_state [Association].
A_deferrableTrigger_state [Association].
A_doActivity_state [Association].
A_effect_transition [Association].
A_entry_connectionPointReference [Association].
A_entry_state [Association].
A_exit_connectionPointReference [Association].
A_exit_state [Association].
A_extendedRegion_region [Association].
A_extendedStateMachine_stateMachine [Association].
A_generalMachine_protocolConformance [Association].
A_guard_transition [Association].
A_incoming_target_vertex [Association].
A_outgoing_source_vertex [Association].
A_postCondition_owningTransition [Association].
A_preCondition_protocolTransition [Association].
A_redefinedState_state [Association].
A_redefinedTransition_transition [Association].
A_redefinitionContext_region [Association].
A_redefinitionContext_state [Association].
A_redefinitionContext_transition [Association].
A_referred_protocolTransition [Association].
A_region_state [Association].
A_region_stateMachine [Association].
A_stateInvariant_owningState [Association].
A_submachineState_submachine [Association].
A_subvertex_container [Association].
A_transition_container [Association].
A_trigger_transition [Association].
Activities.
Summary.
Activities.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Control Nodes.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Object Nodes.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Executable Nodes.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Activity Groups.
Summary.
Abstract Syntax.
Semantics.
Notation.
Examples.
Classifier Descriptions.
Activity [Class].
ActivityEdge [Abstract Class].
ActivityFinalNode [Class].
ActivityGroup [Abstract Class].
ActivityNode [Abstract Class].
ActivityParameterNode [Class].
ActivityPartition [Class].
CentralBufferNode [Class].
ControlFlow [Class].
ControlNode [Abstract Class].
DataStoreNode [Class].
DecisionNode [Class].
ExceptionHandler [Class].
ExecutableNode [Abstract Class].
FinalNode [Abstract Class].
FlowFinalNode [Class].
ForkNode [Class].
InitialNode [Class].
InterruptibleActivityRegion [Class].
JoinNode [Class].
MergeNode [Class].
ObjectFlow [Class].
ObjectNode [Abstract Class].
ObjectNodeOrderingKind [Enumeration].
Variabl