Eclipse Community Forums: OCL » navigate from a UML class to a UML lifeline/message in an OCL constraint

Help

Home

Home » Modeling » OCL » navigate from a UML class to a UML lifeline/message in an OCL constraint

Show: Today's Messages :: Show Polls :: Message Navigator

navigate from a UML class to a UML lifeline/message in an OCL constraint [message #1747542]

Tue, 15 November 2016 19:28

ping cin

Messages: 13
Registered: February 2014

Junior Member

Hi everyone,

Please, I would like to know if it is possible in OCL to navigate in the UML metamodel from a class (in a class diagram) to a lifeline/message (in a sequence diagram).

Basically, I would like to write a constraint on the uml that looks like:

context class inv: self. .... .lifeline->forall()

or

context class inv: self. .... .message->forall()

Thank you in advance.
Best regards

Report message to a moderator

Re: navigate from a UML class to a UML lifeline/message in an OCL constraint [message #1747556 is a reply to message #1747542]

Tue, 15 November 2016 22:27

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

Diagrams are a rendering facility for views of a UML model.

Diagrams are irrelevant to the UML model. and so irrelevant to OCL that just uses the UML model. So just use the classes and their properties.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	Validation of property access in post-conditions of UML static operations
Next Topic:	How should max,min handle null case ?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 12:43:25 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter