A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
A Two-Aspect Approach for a Clearer Behavior Model
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Hi-index | 0.01 |
Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL. This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements of activity elements in an activity diagram. With this, the detail generated code depends on the depth at which the refinements are done, i.e. if the lowest level of activities is mapped into activities executors, the completed code can be obtained.