Hi,
There is also the concept of "executable model" which is supported by Rose Real-Time and several other UML tools (especially Rhapsody by I-Logix). They attempt to address exactly the issue that you were raising, in supplying:
1) An executable framework for the model to run indifferent of the OS (typically you would start with your work station and later migrate to the target machine).
2) Built in simulation mechanism that provide both "external world" behavior and interaction with the system under development, and the same for non developed items such as hardware components.
3) A way to express the semantics of the model, based essentially on state diagrams, and pieces of C/C++ code. There is no magic here - what you don't specify wouldn't run, but the format and the framework may help.
I am also interested in applying this concept - this is typically more critical in RT systems, where the architecture MUST be validated at early stages, and in fact not only the software architecture, but also the system architecture which may effect hardware development.
It's a pity that Rational doesn't put an appropriate effort on this direction, especially on the system one, which is an important niche to cover both on the theoretical and also the tool support level.
Keep in touch,
___________________________________________________
Eyal Rozenblat SeaBridge
E-Mail: [EMAIL PROTECTED]
P.O.Box 274, Yoqneam 20692, Israel
Tel.: +972-4-9597277 (Ext. 251) Fax: +972-4-9597279
___________________________________________________
-----Original Message-----
From: Jason Gorman [mailto:[EMAIL PROTECTED]]
Sent: Friday, July 13, 2001 1:57 AM
To: payam` zahadat
Cc: [EMAIL PROTECTED]
Subject: RE: (ROSE) How can test a rose model without coding it?
Currently this is not possible because UML 1.3 has ambiguous semantics, and
is therefore non-testable in any kind of automated way. Look at the OMG's
web site and read about Model-driven Architecture and the proposals for UML
2.0, which should address this kind of problem in the future.
In the meantime, you can do guided inspections, and also use animations of
object diagrams (often called "film strips"), symbolic execution and so on,
to simulate your running system by hand. It helps enormously if you have
defined action specifications in your model (in OCL or Z for example),
because it is impossible to verify the design without this information.
Consistency checking of UML models is very hard work, but worth it on very
high risk or complex designs as you can spot a lot of errors that normally
wouldn't have shown up until coding or testing.
You might also like to investigate things like xUML, Modelrun and Rational's
own Quality Architect.
Cheers
Jason Gorman
Software Engineering Consultant
http://www.precisexp.org
-----Original Message-----
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]]On Behalf Of payam` zahadat
Sent: 12 July 2001 08:51
To: [EMAIL PROTECTED]
Subject: (ROSE) How can test a rose model without coding it?
Hi
How can tese a rose model?
is it posible to test that different views of a system
are compatible in rose?
__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail
http://personal.mail.yahoo.com/
************************************************************************
* 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
*
*************************************************************************
