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

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

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

Tue, 15 November 2016 14:28

Eclipse User

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

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 17:27

Eclipse User

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

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 [=-

Current Time: Wed Apr 30 00:57:50 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter