English: If a Class is concrete, all the Operations of the Class should have a realizing Method in the full descriptor. OCL: not self.isAbstract implies self.allOperations-> forAll (op | self.allMethods-> exists (m | m.specification-> includes(op)))

,QWURGX.WLRQWR80/

:HOO)RUPHGQHVV5XOHV.RQW¶G
T

([DPSOHRIV\QWD.WL.UXOHV&ODVV
T

Basic Notation: A class is drawn as a solid-outline rectangle with three compartments separated by horizontal lines. Presentation Option: Either or both of the attribute and operation compartments may be suppressed.

6WUX.WXUDO0RGHOLQJ &RUH(OHPHQWV
Construct Description
a description of a set of objects that share the same attributes, operations, methods, relationships and semantics. a named set of operations that interface characterize the behavior of an element. component a modular, replaceable and significant part of a system that packages implementation and exposes a set of interfaces. a run-time physical object that node represents a computational resource. class
,QWURGX.WLRQWR80/

Syntax

« in te rfa c e »

6WUX.WXUDO0RGHOLQJ &RUH(OHPHQWV
Construct
constraint¹

.RQW¶G

Description
a semantic condition or restriction.

Syntax

{co n stra in t}

¹ An extension mechanism useful for specifying structural elements.

,QWURGX.WLRQWR80/

6WUX.WXUDO0RGHOLQJ &RUH5HODWLRQVKLSV
Construct
association

Description

Syntax

a relationship between two or more classifiers that involves connections among their instances. A special form of association that aggregation specifies a whole-part relationship between the aggregate (whole) and the component part. generalization a taxonomic relationship between a more general and a more specific element. a relationship between two modeling dependency elements, in which a change to one modeling element (the independent element) will affect the other modeling element (the dependent element).

,QWURGX.WLRQWR80/

6WUX.WXUDO0RGHOLQJ &RUH5HODWLRQVKLSV
Construct
realization

.RQW¶G

Description
a relationship between a specification and its implementation.

8VH&DVH0RGHOLQJ &RUH(OHPHQWV
Construct Description
use case A sequence of actions, including variants, that a system (or other entity) can perform, interacting with actors of the system. A coherent set of roles that users of use cases play when interacting with these use cases. Represents the boundary between the physical system and the actors who interact with the physical system.

Syntax

U seC aseN am e

actor

A ctorN am e

system boundary

,QWURGX.WLRQWR80/

8VH&DVH0RGHOLQJ &RUH5HODWLRQVKLSV
Construct
association

Description

Syntax

The participation of an actor in a use case. i.e., instance of an actor and instances of a use case communicate with each other. generalization A taxonomic relationship between a more general use case and a more specific use case. A relationship from an extension use extend case to a base use case, specifying how the behavior for the extension use case can be inserted into the behavior defined for the base use case.

<<extend>>

,QWURGX.WLRQWR80/

8VH&DVH0RGHOLQJ &RUH5HODWLRQVKLSV .RQW¶G

Construct
include

Description
An relationship from a base use case to an inclusion use case, specifying how the behavior for the inclusion use case is inserted into the behavior defined for the base use case.