Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Translation: myth or reality? (panel)
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Pattern languages of program design 3
Pattern languages of program design 3
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
The GenVoca Model of Software-System Generators
IEEE Software
Architectural Styles, Design Patterns, and Objects
IEEE Software
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
On the Behavioral Inheritance of State-Based Objects
On the Behavioral Inheritance of State-Based Objects
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
A key issue in software engineering is the repeatable and rapid transition of software models into executable code. We have been faced with the specific problem to produce behavioral code from a UML State Diagram in the context of Enterprise Distributed Object Computing. Rather than associate code templates with the meta model elements of a StateMachine, we represent the StateMachine through a micro architecture based on design patterns represented as newly created model elements. The Object Constraint Language is used to specify these newly created model elements. From this specific solution (StateLator) we infer the generalized mechanism of a Model Transformation that algorithmically captures a transformation from a higher to a lower abstraction level in a software model and hence makes this process flexible and repeatable.