Hi, My name is Nayun Cho, graduate student at Konkuk Univ. in South Korea.
Nowadays, I'm using Topcased for drawing UML diagrams in Eclipse. Thus, I found great features of Topcased, especially Model simulation. I think that "Model simulation" is kind of "Model checking" technique which validates system or software whether it fulfills its requirements or not. Q1. Is it correct or not? Moreover, I think that it can employ only for "interaction diagram (such as activity, sequence diagram)". Q2. Can we use that kind of validation into "structural diagram (such as class, component diagram)"?? ( This means when we want to validate the architecture of system or software whether it is suitable or not ) Q3. Furthermore, if Q2's answer contains "only for interaction diagram", the architecture of system or software should transform into "interaction diagram" for use "Model Simulation" ? Q4. Also, is there any functionality which processes model-transformation between "structural diagram" into "interaction diagram" for use "Model Simulation" ?? If you give answers, that would be great help to using Topcased. Thank you Best Regards,
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
