From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development |
Download PDF |
Helmuth Partsch,Marcel Dausend,Dominik Gessenharter,Jens Kohlmeyer,Alexander Raschke. From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. International Journal of Software and Informatics, 2011,5(1-2Part2):291~312 |
Hits: 3655 |
Download times: 2850 |
|
|
Abstract:With respect to contents, Software Engineering deals with the mutual combination of formalisms, methods, and tools that are integrated by a common theoretical basis, as well as applications that use all these aspects. The model-driven development (MDD) of software is a typical instance of this view, as it exhibits all the facets mentioned above. In this paper, we identify some major unsolved problems of MDD concerning the contemplated areas and postulate a pragmatically motivated couple of hypotheses defining our constraints for solving these problems. Our particular view of MDD uses the Unified Modeling Language (UML) which we substantiate by defining a formal semantics for wide parts of it. On this basis, we suggest a process which incorporates model elaboration combined with aspects of quality assurance. Prototypical tools to support our approach are presented and their applicability is shown by means of two examples. |
keywords:model-driven development (MDD) formal semantics Abstract State Machines (ASM) Unified Modeling Language (UML) high quality models code generation |
View Full Text View/Add Comment Download reader |
|
|
|