Title
StateML +: From Graphical State Machine Models to Thread-Safe Ada Code
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.
Year
DOI
Venue
2008
10.1007/978-3-540-68624-8_12
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Keywords
Field
DocType
Graphical State Machine Models,Model-Driven Engineering approach,previous version,proposed approach,robotic system,modular Ada code,Thread-Safe Ada Code,macro-state definition,case study
Robotic systems,Programming language,Computer science,Model-driven architecture,Finite-state machine,Eclipse,Thread safety,Modular design
Conference
Volume
ISSN
Citations 
5026
0302-9743
4
PageRank 
References 
Authors
0.53
7
4
Name
Order
Citations
PageRank
Diego Alonso18516.37
Cristina Vicente-chicote216022.28
Juan A. Pastor37411.38
Bárbara Álvarez413115.31