Code Generation and Execution Framework for UML 2.0 Classes and State Machines

  • Romuald Pilitowski
  • Anna Dereziñska

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.

Keywords

Assure Dispatch 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    UML 2.0 specification,http://www.uml.org/#UML2.0Google Scholar
  2. [2]
    The Object Management Group (OMG),http://www.omg.org/Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    Poseidon for UML,http://www.gentleware.com/Google Scholar
  5. [5]
    MagicDraw UML,http://www.magicdraw.com/Google Scholar
  6. [6]
    Rhapsody,http://www.ilogix.com/Google Scholar
  7. [7]
    T. Quatrani, J. Palistrant, Visual Modeling with IBM Rational Software Architect and UML, 1st ed, IBM Press, May 2006.Google Scholar
  8. [8]
    SmartState,http://www.smartstatestudio.comGoogle Scholar
  9. [9]
    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.Google Scholar
  10. [10]
    S. J. Mellor, M. J. Balcer, Executable UML a Fundation for Model-Driven Architecture, Addison-Wesley, 2002.Google Scholar
  11. [11]
    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.Google Scholar
  12. [12]
    F. Budinsky, D. Steinberg, E. Merks, R. Ellersick,T. Grose, Eclipse Modeling Framework, 1st ed, Addison-Wesley, Aug. 2003.Google Scholar
  13. [13]
    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.Google Scholar
  14. [14]
    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.Google Scholar
  15. [15]
    G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison Wesley, 2003.Google Scholar

Copyright information

© Springer 2007

Authors and Affiliations

  • Romuald Pilitowski
    • 1
  • Anna Dereziñska
    • 1
  1. 1.Institute of Computer ScienceWarsaw University of TechnologyWarsaw00-665 Poland

Personalised recommendations