Defining constraints in class diagrams [message #898293] |
Thu, 26 July 2012 06:58 |
Bea Perez Messages: 26 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 06:58] Report message to a moderator
|
|
|
Re: Defining constraints in class diagrams [message #899248 is a reply to message #898293] |
Tue, 31 July 2012 08:33 |
Camille Letavernier Messages: 952 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
Camille Letavernier
|
|
|
Powered by
FUDForum. Page generated in 0.02110 seconds