Object Management Group, 2013. — 264 p.This specification defines the Unified Modeling Language (UML), revision 2 . The objective of UML is to provide system architects, software engineers, and software developers with tools for analysis, design, and implementation of software-based systems as well as for modeling business and similar processes.
Стандарт UML. Описание объектного языка ограничений OCL (Object Constraint Language).Contents:
Scope.
Conformance.
Normative References.
Normative References.
Informative References.
Terms and Definitions.
Symbols.
Additional Information.
Changes to Adopted OMG Specifications.
Structure of the Specification.
Acknowledgements.
OCL Language Description.
Why OCL?
Where to Use OCL.
Introduction.
Legend.
Example Class Diagram.
Character Set.
Relation to the UML Metamodel.
Self.
Specifying the UML Context.
Invariants.
Pre- and Postconditions.
Package Context.
Operation Body Expression.
Initial and Derived Values.
Other Types of Expressions.
Basic Values and Types.
Types from the UML Model.
Enumeration Types.
Let Expressions.
Additional operations/attributes through «definition» expressions.
Type Conformance.
Re-typing or Casting Objects.
Re-typing or Casting Collections.
Precedence Rules.
Use of Infix Operators.
Navigation Operators and Navigation Shorthands.
Keywords.
Comment.
Invalid Values.
Objects and Properties.
Properties: Attributes.
Properties: Operations.
Properties: AssociationEnds and Navigation.
Navigation to Association Classes.
Navigation from Association Classes.
Navigation through Qualified Associations.
Using Pathnames for Packages.
Accessing overridden properties of supertypes.
Predefined properties on All Objects.
Features on Classes Themselves.
Collections.
Collections of Collections.
Collection Type Hierarchy and Type Conformance Rules.
Previous Values in Postconditions.
Tuples.
Collection Operations.
Select and Reject Operations.
Collect Operation.
ForAll Operation.
Exists Operation.
Closure Operation.
Iterate Operation.
Messages in OCL.
Calling operations and sending signals.
Accessing result values.
An example.
Resolving Properties.
Abstract Syntax.
Introduction.
The Types Package.
Type Conformance.
Operations and Well-formedness Rules for the Types Package.
The Expressions Package.
Expressions Core.
FeatureCall Expressions.
If Expressions.
Message Expressions.
Literal Expressions.
Let Expressions.
Well-formedness Rules of the Expressions package.
Additional Operations on UML metaclasses.
Additional Operations on OCL Metaclasses.
Overview of class hierarchy of OCL Abstract Syntax metamodel.
Concrete Syntax.
Structure of the Concrete Syntax.
A Note to Tool Builders.
Parsing.
Visibility.
Concrete Syntax.
ExpressionInOclCS.
OclExpressionCS.
VariableExpCS.
simpleNameCS.
restrictedKeywordCS.
unreservedSimpleNameCS.
pathNameCS.
LiteralExpCS.
EnumLiteralExpCS.
CollectionLiteralExpCS.
CollectionTypeIdentifierCS.
CollectionLiteralPartsCS.
CollectionLiteralPartCS.
CollectionRangeCS.
PrimitiveLiteralExpCS.
TupleLiteralExpCS.
UnlimitedNaturalLiteralExpCS.
IntegerLiteralExpCS.
RealLiteralExpCS.
StringLiteralExpCS.
BooleanLiteralExpCS.
TypeLiteralExpCS.
CallExpCS.
LoopExpCS.
IteratorExpCS.
IterateExpCS.
VariableDeclarationCS.
TypeCS.
primitiveTypeCS.
oclTypeCS.
collectionTypeCS.
tupleTypeCS.
variableDeclarationListCS.
FeatureCallExpCS.
OperationCallExpCS.
PropertyCallExpCS.
NavigationCallExpCS.
AssociationClassCallExpCS.
isMarkedPreCS.
argumentsCS.
LetExpCS.
LetExpSubCS.
OclMessageExpCS.
OclMessageArgumentsCS.
OclMessageArgCS.
IfExpCS.
NullLiteralExpCS.
InvalidLiteralExpCS.
Comments.
Environment Definition.
Environment.
NamedElement.
Namespace.
Concrete to Abstract Syntax Mapping.
Abstract Syntax to Concrete Syntax Mapping.
Semantics Described Using UML.
Introduction.
The Values Package.
Definitions of Concepts for the Values Package.
Well-formedness Rules for the Values Package.
Additional Operations for the Values Package.
Overview of the Values Package.
The Evaluations Package.
Definitions of Concepts for the Evaluations Package.
Well-formedness Rules of the Evaluations Package.
Additional Operations of the Evaluations Package.
Overview of the Values Package.
The AS-Domain-Mapping Package.
Well-formedness rules for the AS-Domain-Mapping.type-value Package.
Additional Operations for the AS-Domain-Mapping.type-value Package.
OCL Standard Library.
Introduction.
The OclAny, OclVoid, OclInvalid, and OclMessage Types.
OclAny.
OclMessage.
OclVoid.
OclInvalid.
Operations and Well-formedness Rules.
OclAny.
OclVoid.
OclInvalid.
OclMessage.
Primitive Types.
Real.
Integer.
String.
Boolean.
UnlimitedNatural.
Operations and Well-formedness Rules.
Real.
Integer.
String.
Boolean.
UnlimitedNatural.
Collection-Related Types.
Collection.
Set.
OrderedSet.
Bag.
Sequence.
Operations and Well-formedness Rules.
Collection.
Set.
OrderedSet.
Bag.
Sequence.
Predefined Iterator Expressions.
Extending the Standard Library with Iterator Expressions.
Mapping Rules for Predefined Iterator Expressions.
Collection.
Set.
Bag.
Sequence.
OrderedSet.
The Use of OCL Expressions in UML Models.
Introduction.
The ExpressionInOcl Type.
ExpressionInOcl.
Well-formedness Rules.
ExpressionInOcl.
Standard Placements of OCL Expressions.
How to Extend the Use of OCL at Other Places.
Definition.
Well-formedness Rules.
Invariant.
Well-formedness rules.
Precondition.
Well-formedness rules.
Postcondition.
Well-formedness rules.
Initial Value Expression.
Well-formedness rules.
Derived Value Expression.
Operation Body Expression.
Guard.
Well-formedness rules.
Concrete Syntax of Context Declarations.
packageDeclarationCS.
contextDeclarationCS.
propertyContextDeclCS.
initOrDerValueCS.
classifierContextDeclCS.
invOrDefCS.
defExpressionCS.
operationContextDeclCS.
prePostOrBodyDeclCS.
operationCS.
parametersCS.
The Basic OCL and Essential OCL.
Introduction.
OCL Adaptation for Metamodeling.
Diagrams.
Annexes:.
Semantics.
Object Models.
Syntax of Object Models.
Interpretation of Object Models.
OCL Types and Operations.
Basic Types.
Common Operations On All Types.
Enumeration Types.
Object Types.
Collection and Tuple Types.
Special Types.
Type Hierarchy.
Data Signature.
OCL Expressions and Constraints.
Expressions.
Pre- and Postconditions.
Bibliography.
Index.
