Table of Contents
Unified Modeling Language: Infrastructure (V2.0)
1 Scope
2 Conformance
2.1 Language Units
2.2 Compliance Levels
2.3 Meaning and Types of Compliance
2.4 Compliance Level Contents
3 Normative References
4 Terms and Definitions
5 Symbols
6 Additional Information
6.1 Changes to Adopted OMG Specifications
6.2 Architectural Alignment and MDA Support
6.3 How to Read this Specification
6.3.1 Diagram format
6.4 Acknowledgements
I - Introduction
7 Language Architecture
7.1 Design Principles
7.2 Infrastructure Architecture
7.3 Core
7.4 Profiles
7.5 Architectural Alignment between UML and MOF
7.6 Superstructure Architecture
7.7 Reusing Infrastructure
7.8 The Kernel Package
7.9 Metamodel Layering
7.10 The Four-layer Metamodel Hierarchy
7.11 Metamodeling
7.12 An Example of the Four-level Metamodel Hierarchy
8 Language Formalism
8.1 Levels of Formalism
8.2 Package Specification Structure
8.2.1 Class Descriptions
8.2.2 Diagrams
8.2.3 Instance Model
8.3 Class Specification Structure
8.3.1 Description
8.3.2 Attributes
8.3.3 Associations
8.3.4 Constraints
8.3.5 Additional Operations
8.3.6 Semantics
8.3.7 Semantic Variation Points
8.3.8 Notation
8.3.9 Presentation Options
8.3.10 Style Guidelines
8.3.11 Examples
8.3.12 Rationale
8.3.13 Changes from UML 1.4
8.4 Use of a Constraint Language
8.5 Use of Natural Language
8.6 Conventions and Typography
II - Infrastructure Library
9 Core::Abstractions
9.1 BehavioralFeatures package
9.1.1 BehavioralFeature
9.2 Parameter
9.3 Changeabilities Package
9.3.1 ChangeabilityKind
9.3.2 StructuralFeature
9.4 Classifiers package
9.4.1 Classifier
9.4.2 Feature
9.5 Comments Package
9.5.1 Comment
9.5.2 Element
9.6 Constraints Package
9.6.1 Constraint
9.6.2 Namespace
9.7 Elements Package
9.7.1 Element
9.8 Expressions Package
9.8.1 Expression
9.8.2 OpaqueExpression
9.8.3 ValueSpecification
9.9 Generalizations Package
9.9.1 Classifier
9.9.2 Generalization
9.10 Instances Package
9.10.1 InstanceSpecification
9.10.2 InstanceValue
9.10.3 Slot
9.11 Literals Package
9.11.1 LiteralBoolean
9.11.2 LiteralInteger
9.11.3 LiteralNull
9.11.4 LiteralSpecification
9.11.5 LiteralString
9.11.6 LiteralUnlimitedNatural
9.12 Multiplicities Package
9.12.1 MultiplicityElement
9.13 MultiplicityExpressions Package
9.13.1 MultiplicityElement
9.14 Namespaces Package
9.14.1 NamedElement
9.14.2 Namespace
9.15 Ownerships Package
9.15.1 Element
9.16 Redefinitions Package
9.16.1 RedefinableElement
9.17 Relationships Package
9.17.1 DirectedRelationship
9.17.2 Relationship
9.18 StructuralFeatures Package
9.18.1 StructuralFeature
9.19 Super Package
9.19.1 Classifier
9.20 TypedElements Package
9.20.1 Type
9.20.2 TypedElement
9.21 Visibilities Package
9.21.1 NamedElement
9.21.2 VisibilityKind
10 Core::Basic
10.1 Types Diagram
10.1.1 Comment Description
10.1.2 Element
10.1.3 NamedElement
10.1.4 Type
10.1.5 TypedElement
10.2 Classes Diagram
10.2.1 Class
10.2.2 MultiplicityElement
10.2.3 Operation
10.2.4 Parameter
10.2.5 Property
10.3 DataTypes Diagram
10.3.1 DataType Description
10.3.2 Enumeration Description
10.3.3 EnumerationLiteral Description
10.3.4 PrimitiveType Description
10.4 Packages diagram
10.4.1 Package
10.4.2 Type
11 Core::Constructs
11.1 Root diagram
11.1.1 Comment Description
11.1.2 DirectedRelationship
11.1.3 Element
11.1.4 Relationship
11.2 Expressions Diagram
11.2.1 Expression Description
11.2.2 OpaqueExpression Description
11.2.3 ValueSpecification Description
11.3 Classes Diagram
11.3.1 Association
11.3.2 Class
11.3.3 Classifier
11.3.4 Operation
11.3.5 Property
11.4 Classifiers Diagram
11.4.1 Classifier Description
11.4.2 Feature
11.4.3 MultiplicityElement
11.4.4 RedefinableElement
11.4.5 StructuralFeature
11.4.6 Type
11.4.7 TypedElement Description
11.5 Constraints Diagram
11.5.1 Constraint
11.5.2 Namespace
11.6 DataTypes Diagram
11.6.1 DataType
11.6.2 Enumeration
11.6.3 EnumerationLiteral
11.6.4 Operation
11.6.5 PrimitiveType
11.6.6 Property
11.7 Namespaces Diagram
11.7.1 ElementImport
11.7.2 NamedElement Description
11.7.3 Namespace Description
11.7.4 PackageableElement
11.7.5 PackageImport
11.8 Operations Diagram
11.8.1 BehavioralFeature
11.8.2 Operation
11.8.3 Parameter
11.8.4 ParameterDirectionKind
11.9 Packages diagram
11.9.1 Type
11.9.2 Package
11.9.3 PackageMerge
12 Core::PrimitiveTypes
12.1 PrimitiveTypes package
12.1.1 Boolean
12.1.2 Integer
12.1.3 String
12.1.4 UnlimitedNatural
13 Core::Profiles
13.1 Profiles package
13.1.1 Class
13.1.2 Extension
13.1.3 ExtensionEnd
13.1.4 Image
13.1.5 Package
13.1.6 Profile
13.1.7 ProfileApplication
13.1.8 Stereotype
III - Annexes
Mehrdad Nojoumian and Timothy Lethbridge, University of Ottawa,
2007-05-16-04:00