Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
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 19:28 Go to next message
ping cin is currently offline ping cinFriend
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
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 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 5970
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
Previous Topic:Validation of property access in post-conditions of UML static operations
Next Topic:How should max,min handle null case ?
Goto Forum:
  


Current Time: Wed Jul 18 04:54:56 GMT 2018

Powered by FUDForum. Page generated in 0.02018 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top