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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Atego. Artisan Studio (2011), http://www.atego.com/products/artisan-studio/
dos Santos, O.M., Woodcock, J., Paige, R.F., King, S.: The Use of Model Transformation in the INESS Project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 147–165. Springer, Heidelberg (2010)
Dotan, D., Kirshin, A.: Debugging and Testing Behavioral UML Models. In: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion (OOPSLA 2007), pp. 838–839 (2007)
IBM, Rational Rhapsody (2012), www.ibm.com/software/awdtools/rhapsody/
IBM, Rational Software Architect RealTime Edition (RSA–RTE) (2012), http://www.ibm.com/software/rational/products/swarchitect/
Jiang, K., Zhang, L., Miyake, S.: An Executable UML with OCL-based Action Semantics Language. In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 302–309 (December 2007)
Know Gravity. CASSANDRA (2011), http://www.knowgravity.com/eng/value/cassandra.htm
Mellish, C.S., Clocksin, W.F.: Programming in Prolog: Using the ISO Standard. Springer (2003)
Mentor Graphics. BridgePoint (2012)
Mooney, J., Sarjoughia, H.: A Framework for Executable UML Models. In: 2009 Spring Simulation Multiconference. Society for Computer Simulation International (2009)
OMG. Action Language for Foundational UML (Alf). Technical Report October 2010, OMG (2011)
OMG. Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0. Technical Report, OMG (February 2011)
Perseil, I.: ALF formal. Innovations in Systems and Software Engineering 7(4), 325–326 (2011)
Radjenovic, A., Paige, R.F.: Behavioural Interoperability to Support Model-Driven Systems Integration. In: 1st Workshop on Model Driven Interoperability (MDI 2010), at MODELS 2010, Oslo, Norway. ACM Press (2010)
Radjenovic, A., Paige, R.F.: An Approach for Model Querying-by-Example Applied to Multi-Paradigm Models. In: 5th International Workshop on Multi-Paradigm Modelling (MPM 2011), at MODELS 2011. ECEASST, vol. 42, pp. 1–12 (2011)
Risco-Martín, J.L., de La Cruz, J.M., Mittal, S., Zeigler, B.P.: eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation. Simulation 85(11-12), 750–777 (2009)
Shlaer, S., Mellor, S.J.: Object-Oriented Systems Analysis: Modeling the World in Data. Prentice Hall (1988)
Shlaer, S., Mellor, S.J.: Recursive Design. Computer Language 7(3) (1990)
Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Prentice Hall (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radjenovic, A., Paige, R.F., Rose, L.M., Woodcock, J., King, S. (2012). A Plug-in Based Approach for UML Model Simulation. In: Vallecillo, A., Tolvanen, JP., Kindler, E., Störrle, H., Kolovos, D. (eds) Modelling Foundations and Applications. ECMFA 2012. Lecture Notes in Computer Science, vol 7349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31491-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-31491-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31490-2
Online ISBN: 978-3-642-31491-9
eBook Packages: Computer ScienceComputer Science (R0)