Abstract
Reactive systems are complex systems which behavior can be adequately modeled using the statechart formalism. The UML standard enriches this formalism with object-oriented concepts. However, manual transformation of these expressive models to object-oriented languages is an error-prone process. Model-Driven Engineering approach advocates for an automatic process to translate models into high-level programing languages. This work deals with the conversion of UML State Machines models into Ada 2005 code and the challenges that arise in this process.
This work is partially supported by Spanish Ministry of Education, Science and Technology under grant TIC2005-08665-C03 and by the U.E. IST Programme - IST 034026.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Harel, D., Pnueli, A.: On the development of reactive systems. Logics and models of concurrent systems, 477–498 (1985)
Harel, D.: Statecharts: A visual formalism for complex systems. The Science of Computer Programming 8(3), 231–274 (1987)
Object Management Group: Unified Modeling Language (OMG UML) V2.1 (november 2007), http://www.omg.org/spec/UML/2.1.2
Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2), 41–47 (2006)
Object Management Group: Model Driven Architecture Guide Version v1.0.1 (2003), http://www.omg.org/docs/omg/03-06-01.pdf
Object Management Group: MOF 2.0/XMI Mapping, Version 2.1.1 (2007), http://www.omg.org/spec/XMI/2.1/PDF
Object Management Group: Meta-Object Facility, MOF (2004), http://www.omg.org/spec/MOF/2.0/PDF
Alonso, D., Vicente-Chicote, C., Sánchez, P., Álvarez, B., Losilla, F.: Automatic ada code generation using a model-driven engineering approach. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 168–179. Springer, Heidelberg (2007)
Alonso, D., Vicente-Chicote, C., Pastor, J.A., Álvarez, B.: Stateml\(^{\mbox{+}}\): From graphical state machine models to thread-safe ada code. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 158–170. Springer, Heidelberg (2008)
Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http://www.w3.org/TR/scxml/
Wieringa, R., Dehne, F.: Toolkit for Conceptual Modeling (TCM), http://wwwhome.cs.utwente.nl/~tcm/
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sáez, S., Terrasa, S., Lorente, V., Crespo, A. (2009). Implementing Reactive Systems with UML State Machines and Ada 2005. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)