Rose allows the capture of pre and post-conditions in operation specs, and
of constraints in event gaurds. However, if you want to use your OCL outside
of Rose you might want to consider capturing constraint models in separate
files (say, in an XML file for easy parsing and updating). You can also
attach OCL in notes.
Tools like Modelrun do require that you write OCL in particular parts of the
model, but these tools are not very advacned yet, so that is likely to
change.
I actually use Excel spreadsheets for keeping precise spec, one workbook for
each package and one worksheet for each class.
I'm afraid this part of the tools market is just in its infancy, so you have
to find a way to store OCL where it can be easily parsed and remain linked
to both design and test models (not to mention your code!)
Hope this helps
Jason Gorman
http://www.xml-objects.com
-----Original Message-----
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]]On Behalf Of
[EMAIL PROTECTED]
Sent: 16 February 2001 13:59
To: [EMAIL PROTECTED]
Subject: (ROSE) OCL
Hello,
I want to know how introduce OCL in Rose Model ?
Thank you
_________________________________________
Vincent IBANEZ
THALES COMMUNICATION
Service Genie Logiciel
* 01 46 13 31 29
* [EMAIL PROTECTED]
_________________________________________
************************************************************************
* Rose Forum is a public venue for ideas and discussions.
* For technical support, visit http://www.rational.com/support
*
* Admin.Subscription Requests: [EMAIL PROTECTED]
* Archive of messages:
http://www.rational.com/products/rose/usergroups/rose_forum.jtmpl
* Other Requests: [EMAIL PROTECTED]
*
* To unsubscribe from the list, please send email
*
* To: [EMAIL PROTECTED]
* Subject:<BLANK>
* Body: unsubscribe rose_forum
*
*************************************************************************
************************************************************************
* Rose Forum is a public venue for ideas and discussions.
* For technical support, visit http://www.rational.com/support
*
* Admin.Subscription Requests: [EMAIL PROTECTED]
* Archive of messages:
http://www.rational.com/products/rose/usergroups/rose_forum.jtmpl
* Other Requests: [EMAIL PROTECTED]
*
* To unsubscribe from the list, please send email
*
* To: [EMAIL PROTECTED]
* Subject:<BLANK>
* Body: unsubscribe rose_forum
*
*************************************************************************
