Abstract
– The paper presents Framework for eXecutable UML (FXU). FXU transforms UML models into programming code and supports execution of the resulting application according to the behavioral model. The code generation and execution is based on UML classes and their state machines. The FXU framework takes into account all concepts of state machines defined by the UML 2.0 specification. Ambiguities of UML state machine interpretation had to been resolved within the framework in order to obtain an executable application. During the runtime execution separate state machines and orthogonal regions are run as parallel threads. All kinds of events, states, pseudostates and activities are processed, as well. The framework was implemented and tested for C# code. The tool supports model-driven development of high quality applications.
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
UML 2.0 specification,http://www.uml.org/#UML2.0
The Object Management Group (OMG),http://www.omg.org/
M. Crane, J. Dingel, On the Semantics of UML State Machines: Categorization and Comparison., Tech. Rep. 2005-501, School of Computing, Queens University of Kingston, Ontario, Canada, 2005.
Poseidon for UML,http://www.gentleware.com/
MagicDraw UML,http://www.magicdraw.com/
Rhapsody,http://www.ilogix.com/
T. Quatrani, J. Palistrant, Visual Modeling with IBM Rational Software Architect and UML, 1st ed, IBM Press, May 2006.
SmartState,http://www.smartstatestudio.com
A. Knapp, S. Merz, C. Rauh. ,,Model Checking Timed UML State Machines and Collaborations”, in Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Syst., 2002, pp.395-414.
S. J. Mellor, M. J. Balcer, Executable UML a Fundation for Model-Driven Architecture, Addison-Wesley, 2002.
R. Pilitowski, Generation of C# code from UML 2.0 class and state machine diagrams (in Polish), Master thesis, Inst. of Computer Science, Warsaw University of Technology, Poland, 2006.
F. Budinsky, D. Steinberg, E. Merks, R. Ellersick,T. Grose, Eclipse Modeling Framework, 1st ed, Addison-Wesley, Aug. 2003.
Iftikhar Azim Niaz, Jiro Tanaka, “Mapping UML Statecharts into Java code", in Proc. of the IASTED Int. Conf. Software Engineering, Feb. 2004, pp. 111-116.
M. Gallardo, P. Merino, E. Pimentelis, “Debugging UML Designs with Model Checking", in Journal of Object Technology, vol. 1., no. 2, pp. 101-117, July-August 2002.
G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison Wesley, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Pilitowski, R., Dereziñska, A. (2007). Code Generation and Execution Framework for UML 2.0 Classes and State Machines. In: Sobh, T. (eds) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6268-1_75
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6268-1_75
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6267-4
Online ISBN: 978-1-4020-6268-1
eBook Packages: EngineeringEngineering (R0)