Abstract | ||
---|---|---|
Model simulation is a credible approach for model validation, complementary to others such as formal verification and testing. For UML 2.x, model simulations are available for state machines and communication diagrams; alternative finer-grained simulations, e.g., as are supported for Executable UML, are not available without significant effort (e.g., via profiles or model transformations). We present a flexible, plug-in based approach to enhance UML model simulation. We show how an existing simulation tool applicable to UML behavioural models can be extended to support external action language processors. The presented approach paves the way to enrich existing UML-based simulation tools with the ability to simulate external action languages. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-31491-9_25 | ECMFA |
Keywords | Field | DocType |
executable uml,model simulation,model transformation,existing simulation tool,alternative finer-grained simulation,credible approach,model validation,uml model simulation,uml-based simulation tool,behavioural model | UML state machine,Programming language,Systems engineering,UML tool,Unified Modeling Language,Action language,Computer science,Executable UML,Applications of UML,Object Constraint Language,Class diagram | Conference |
Citations | PageRank | References |
1 | 0.38 | 8 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alek Radjenovic | 1 | 22 | 3.81 |
Richard F. Paige | 2 | 2053 | 163.62 |
Louis M. Rose | 3 | 522 | 34.34 |
Jim Woodcock | 4 | 244 | 18.34 |
Steve King | 5 | 76 | 9.97 |