Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » Defining constraints in class diagrams
Defining constraints in class diagrams [message #898293] Thu, 26 July 2012 02:58 Go to next message
Bea Perez is currently offline Bea Perez
Messages: 4
Registered: July 2012
Junior Member
Hi everyone!
I need to define some contraints in a class diagram but without being associated to any profile. I have been tried with the Constraint element but altough I can establish the context of the constraint, I do not know how to put neither the type of the constraint (invariant, pre or post) nor the specification of the constraint in such a way that it is validated.

Does anybody can tall me hoy to defined constraints? Do I need some Papyrus extension?

I am using version 0.9.0.v201206131215.

Thank you very much!
Bea

[Updated on: Thu, 26 July 2012 02:58]

Report message to a moderator

Re: Defining constraints in class diagrams [message #899248 is a reply to message #898293] Tue, 31 July 2012 04:33 Go to previous message
Camille Letavernier is currently offline Camille Letavernier
Messages: 421
Registered: February 2011
Senior Member
Hello,


The type (pre/post condition) is not defined in the constraint itself. They can be set for an Operation (Among others). The invariant can be defined on a State (And a few other elements). There's also a Stereotype <<Invariant>> (From the Standard Profile) which applies to Constraints.

In Papyrus, the pre- and post- condition are accessible from the "Advanced" tab in the properties view.


Regards,
Camille
Previous Topic:Deployment Diagrams
Next Topic:How to apply my customized uiCustom file to Model Explorer
Goto Forum:
  


Current Time: Wed Jul 30 19:32:43 EDT 2014

Powered by FUDForum. Page generated in 0.01472 seconds