Statecharts: A visual formalism for complex systems
Science of Computer Programming
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementing the dynamic behavior represented as multiple state diagrams and activity diagrams
ACIS International Journal of Computer & Information Science
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Precise modeling of design patterns
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
UCSIM: A Tool for Simulating Use Case Scenarios
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Versatile language semantics with reflective embedding
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Templatable metamodels for semantic variation points
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Automatic Ada code generation using a model-driven engineering approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Interpretation of history pseudostates in orthogonal states of UML state machines
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Toward optimized code generation through model-based optimization
Proceedings of the Conference on Design, Automation and Test in Europe
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
MoPCoM methodology: focus on models of computation
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Rigorous Methods for Software Construction and Analysis
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
A feature-oriented approach to platform-specific modelling of coarse-grained components
International Journal of Computer Applications in Technology
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
An object-oriented implementation of concurrent and hierarchical state machines
Information and Software Technology
Hi-index | 0.00 |
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now becomes a family of languages sharing lot of commonalities and some variabilities that one can customize for a given application domain. In this paper, we propose to reify the various semantic variation points of UML 2.0 statecharts into models of their own to avoid hardcoding the semantic choices in the tools. We do the same for various implementation choices. Then, along the line of the OMG's Model Driven Architecture, these semantic and implementation models are processed along with a source UML model (that can be seen as a PIM) to provide a target UML model (a PSM) where all semantic and implementation choice are made explicit. This target model can in turn serve as a basis for a consistent use of code generation, simulation, model-checking or test generation tools.