Eclipse Community Forums: Papyrus » Defining constraints in class diagrams

Home » Modeling » Papyrus » Defining constraints in class diagrams

Defining constraints in class diagrams [message #898293]

Thu, 26 July 2012 02:58

Eclipse User

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] by Moderator

Re: Defining constraints in class diagrams [message #899248 is a reply to message #898293]

Tue, 31 July 2012 04:33

Eclipse User

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:

-=] Back to Top [=-

Current Time: Wed Jul 23 09:32:40 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter