Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » stereotype missing: invariant/postcondition/precondition
stereotype missing: invariant/postcondition/precondition [message #31347] Fri, 29 June 2007 08:14 Go to next message
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 Go to previous message
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.
>
Previous Topic:Re: OCL plugin
Next Topic:new article: How to process OCL Abstract Syntax Trees
Goto Forum:
  


Current Time: Thu Sep 18 21:51:02 GMT 2014

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

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