UML Metamodel version September 1997

Transcription

1 UML Metamodel version. September 997 This is the metamodel of the Unified Modeling Language (UML). It describes the constituents of all well-formed models that may be represented in the UML, using the UML itself. See for updates. The metamodel is organized according to the following packages: Foundation Core Auxiliary Elements Extension Mechanisms Data Types Behavioral Elements Common Behavior Collaborations Use Cases State Machines Model Management Behavioral Elements Model Management Foundation

2 Top-Level Packages Behavioral Elements Model Management Foundation

3 DataTypes DataType literal Primitive Enumeration.. {ordered} EnumerationLiteral name : Name Structure Primitives Enumerations <<primitive>> Float AggregationKind OperationDirectionKind Geometry body : Uninterpreted Multiplicity <<primitive>> Integer Boolean ParameterDirectionKind GraphicMarker body : Uninterpreted <<primitive>> String <<primitive>> Time CallConcurrencyKind ChangeableKind PseudostateKind ScopeKind Mapping body : Uninterpreted Name body : String ranges.. MultiplicityRange lower : Integer upper : Integer <<primitive>> Uninterpreted EventOriginKind SynchronousKind Expression language : Name body : Uninterpreted MessageDirectionKind VisibilityKind ProcedureExpression TimeExpression ObjectSetExpression BooleanExpression

4 Standard Elements Stereotypes, tagged values, and constraints are the mechanisms of extensibility in the UML. Stereotypes extend the classes in the metamodel, tagged values extend the attributes of classes in the metamodel, and constraints extend the semantics of the metamodel. Certain stereotypes, tagged values, and constraints are predefined in the UML; others may be user defined. Standard stereotypes becomes bind calldependency constraint classify copy create declassify delete derived document enter state enumeration exit state extends facade file framework friend implementation class import inherits instance invariant library metaclass postcondition powertype precondition process requirement role self send stereotype stub subclass subtype system table thread top-level package type uses utility Standard tagged values documentation location persistence responsibility semantics Standard constraints association broadcast complete disjoint global implicit incomplete local or overlapping parameter vote

5 Collaborations Namespace Classifier Operation represented Classifier represented Operation {or} Collaboration constrainingelement context interaction Interaction message.. Message predecessor action Action 0.. (from Common Behavior) /ownedelement activator 0.. Association base AssociationRole multiplicity : Multiplicity receiver sender 2.. AssociationEnd connection base /connection 2.. AssociationEndRole.. ClassifierRole multiplicity : Multiplicity /ownedelement /type base Classifier availablefeature Feature

6 State Machines: Main context 0.. behavior 0.. StateMachine 0.. Guard expression : BooleanExpression guard 0.. substate.. Pseudostate kind : PseuostateKind StateVertex transitions source outgoing target incoming top 0.. internaltransition State 0.. Transition entry 0.. exit effect ActionSequence {ordered} 0.. action Action parent 0.. CompositeState isconcurent : Boolean SimpleState SubmachineState submachine StateMachine deferredevent 0.. Event trigger 0..

7 State Machines: Activity Models StateMachine behavior context contents ActivityModel partition Partition StateVertex 0.. top State instate Pseudostate SimpleState ActivityState ActionState ObjectFlowState Classifier type typestate 0.. ClassifierInState

8 State Machines: Events Event SignalEvent CallEvent TimeEvent duration : TimeExpression ChangeEvent changeexpression : BooleanExpression occurrence occurrence Signal Operation (from Common Behavior)

9 Auxiliary Elements: Dependencies 0.. owningdependency subdependency Dependency description : String requirement client template 0.. templateparameter Refinement mapping : Mapping Usage Trace Binding 0.. argument.. {ordered}

10 Auxiliary Elements: Physical Structures and View Elements Classifier Node Component deployment implementation Presentation model ViewElement view Comment Presentation geometry : Geometry style : GraphicMarker

11 Foundation Packages Auxiliary Elements Core Extension Mechanisms Data Types

12 Extension Mechanisms extendedelement {ordered} constrainedelement taggedvalue TaggedValue tag : Name value : Uninterpreted requiredtag GeneralizableElement Constraint stereotypeconstraint constraint stereotype Stereotype icon : Geometry baseclass : Name 0.. constrainedstereotype 0..

13 Common Behavior: Instances and Links Link linkrole 2.. LinkEnd linkend instance value Instance 0.. AttributeLink slot associationend association Association connection AssociationEnd 2.. Object DataValue Link.. classifier Classifier attribute Attribute MessageInstance LinkObject specification Request receiver argument sender Instance

14 Common Behavior: Actions {ordered} Argument value : Expression actualargument ActionSequence action 0.. Action recurrence : Expression target : ObjectSetExpression isasynchronous : Boolean script : String request 0.. Request Classifier instantiation 0.. CreateAction LocalInvocation SendAction TerminateAction CallAction mode : SynchronousKind ReturnAction UninterpretedAction body : String DestroyAction

15 Common Behavior: Requests GeneralizableElement Parameter parameter 0.. {ordered} Request 0.. signal Signal Exception raisedexception context BehavioralFeature 0.. reception Reception ispolymorphic : Boolean specification : Uninterpreted Operation

16 Core: Backbone ElementOwnership visibility : VisibilityKind Element ownedelement name : Name constrainedelement.. {ordered} namespace 0.. Namespace Feature ownerscope : ScopeKind visibility : VisibilityKind Parameter defaultvalue : Expression kind : ParameterDirectionKind constraint Constraint body : BooleanExpression GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean feature {ordered} parameter {ordered} realization specification owner Classifier type type feature {ordered} StructuralFeature multiplicity : Multiplicity changeable : ChangeableKind targetscope : ScopeKind 0.. BehavioralFeature isquery : Boolean Interface Class isactive : Boolean DataType Attribute Operation initialvalue : Expression Method specification : Uninterpreted ispolymorphic : Boolean body : ProcedureExpression specification concurrency : CallConcurrencyKind

17 Core: Relationships client supplier name : Name Namespace requirement provision Dependency description : String Generalization discriminator : Name generalization subtype specialization supertype GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean Classifier type specification associationend participant AssociationEnd isnavigable : Boolean isordered : Boolean aggregation : AggregationKind multiplicity : Multiplicity changeable : ChangeableKind targetscope : ScopeKind 2.. {ordered} connection Association associationend 0.. Class {ordered} qualifier Attribute AssociationClass

18 Model Management referencedelement ownedelement ElementOwnership visibility : VisibilityKind Namespace 0.. namespace ElementReference visibility : VisibilityKind alias : Name GeneralizableElement Classifier Package Subsystem isinstantiable : Boolean Model

19 Behavioral Elements Packages Collaborations Use Cases State Machines Common Behavior

20 Use Cases realization specification Classifier classifier.. Instance (from Common Behavior) Actor UseCase extensionpoint : list of String UseCaseInstance