RE: Verifying Stereotypes with OCL constraints

Date view Thread view Subject view Author view Attachment view

From: Jörn Guy Süß (
Date: Wed 24 Mar 2004 - 16:04:17 GMT

Although I do not have the document available (and thus cannot verify the structure), this sounds like UML 1.x, where all types where derived from ModelElement, which provided a link to the stereotype in the Extension system. Under those circumstances, the approach is a perfectly normal navigation.


Jörn Guy Süß
Dipl.-Inform. Jörn Guy Süß            | CIS - Sekr. EN7
phone / fax : +49(30) 314-23553/21601 | TU Berlin, FB Informatik
phone (secretary) : +49(30) 314-23555 | Einsteinufer 17       | D-10587 BERLIN / GERMANY

  -----Original Message-----
  From: []On Behalf Of Miguel Goulăo
  Sent: Wednesday, March 24, 2004 2:15 PM
  Subject: Verifying Stereotypes with OCL constraints


  How can one verify if a given model element in OCL has a specific stereotype?

  For instance, in section 15.3.14 of the UML superstructure document, version 3 (030208), page 499, the specification of Transition (from BehaviorStatemachines), there is an association to trigger, specifying the triggers that may fire a transition. Among other constraints, there is one that says that an initial transition at the topmost level either has no trigger or it has a trigger with the stereotype "create", defined in OCL as:

  self.source.oclIsKindOf(Pseudostate) implies
       (self.source.oclAsType(Pseudostate).kind = #initial) implies
             (self.source.container = implies
                   ((self.trigger->IsEmpty) or
                    ( = 'create'))

  My question is, how can "self.trigger.stereotype" be a valid navigation on the UML 2.0 metamodel? I can't find an attribute called stereotype in the trigger's class, or any of its ancestors, so I don't really understand how this works.

  Assuming this is not a mistake, what am I missing here?
  Is this the normal way of verifying stereotypes with OCL constraints, or is there a better one?

  Thanks in advance,
  Miguel Goulăo
  Departamento de Informática da FCT/ UNL
  Quinta da Torre, 2829-516 Caparica, Portugal
  Tel: +351-21 294 85 36  - Ext. 10731
  Fax: +351-21 294 85 41


Date view Thread view Subject view Author view Attachment view