stereotype missing: invariant/postcondition/precondition [message #31347] |
Fri, 29 June 2007 08:14 |
Eclipse User |
|
|
|
Originally posted by: firstname.name.gmail.com
Hello,
I (re)read the OCL specification 06-05-01, and more precisely section "The Use
of OCL Expressions in UML Models"
According to the spec, a well-formedness invariant should imply that the
expression is stereotyped «invariant». However, I didn't find such stereotype in
the UML Standard UML profile.
Did I miss something.
--
F. Lagarde
|
|
|
Re: stereotype missing: invariant/postcondition/precondition [message #31482 is a reply to message #31347] |
Fri, 29 June 2007 14:13 |
Eclipse User |
|
|
|
Originally posted by: cdamus.ca.ibm.com
Hi, François,
This is one of numerous points on which the OCL and UML specifications are
not aligned.
Rather than define a new profile in the MDT OCL implementation in which to
define these stereotypes, we opted just to use the UML2's light-weight
"keywords" to tag constraints as <<invariant>> etc.
Cheers,
Christian
François Lagarde wrote:
> Hello,
>
> I (re)read the OCL specification 06-05-01, and more precisely section "The
> Use of OCL Expressions in UML Models"
>
> According to the spec, a well-formedness invariant should imply that the
> expression is stereotyped «invariant». However, I didn't find such
> stereotype in the UML Standard UML profile.
>
> Did I miss something.
>
|
|
|
Powered by
FUDForum. Page generated in 0.01978 seconds