Abstract
This paper presents the StateML + tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML + meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.
This research has been funded by the Spanish CICYT project MEDWSA (TIN2006-15175-C05-02) and the Regional Government of Murcia Seneca Program (02998-PI-05).
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
Schmidt, D.: Model-Driven Engineering. IEEE Computer 39, 25–31 (2006)
Bézivin, J.: On the Unification Power of Models. Software and Systems Modeling 4, 171–188 (2005)
Álvarez, B., Sánchez, P., Pastor, J.Á., Ortiz, F.J.: An architectural framework for modeling teleoperated service robots. Robotica 24, 411–418 (2006)
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)
Szyperski, C.: Component Software - Beyond Object-Oriented Programming. Addison-Wesley / ACM Press (2002)
OMG: Object Constraint Language (OCL) Specification v2.0. The Object Management Group (2006)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Reading (1995)
Schmidt, D., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture. In: Patterns for Concurrent and Networked Objects, vol. 2. Wiley, Chichester (2000)
The Eclipse MOFScript subproject., http://www.eclipse.org/gmt/mofscript/
OMG: Unified Modeling Language: Superstructure v 2.0. The Object Management Group (2005)
Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering Methodology 5, 293–333 (1996)
OMG: Meta-Object Facility Specification v2.0. The Object Management Group (2004)
Douglass, B.P.: Real Time UML: Advances in the UML for Real-Time Systems. Addison-Wesley Professional, Reading (2004)
Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Software 20, 42–45 (2003)
Burns, A., Wellings, A.: Concurrent and Real-time Programming in Ada 2005. Cambridge University Press, Cambridge (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, D., Vicente-Chicote, C., Pastor, J.A., Álvarez, B. (2008). StateML + : From Graphical State Machine Models to Thread-Safe Ada Code. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-68624-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68621-7
Online ISBN: 978-3-540-68624-8
eBook Packages: Computer ScienceComputer Science (R0)