From UML sequence diagrams and statecharts to analysable petrinet models.
Simona BernardiSusanna DonatelliJosé MerseguerPublished in: Workshop on Software and Performance (2002)
Keyphrases
- sequence diagrams
- class diagrams
- uml models
- activity diagrams
- petri net
- object oriented
- uml class diagrams
- class diagram
- intermediate representation
- manufacturing systems
- test cases
- reverse engineering
- unified modelling language
- model based testing
- regression testing
- metamodel
- complex systems
- open source
- conceptual modeling
- database