Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Concurrent and Real-Time Programming in Ada
Concurrent and Real-Time Programming in Ada
Automatic Ada code generation using a model-driven engineering approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Implementing Reactive Systems with UML State Machines and Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
An Eclipse GMF Tool for Modelling User Interaction
WSKS '09 Proceedings of the 2nd World Summit on the Knowledge Society: Visioning and Engineering the Knowledge Society. A Web Science Perspective
| Hi-index | 0.00 |
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.