Action semantics applied to model driven engineering

In this project report we will talk about Model Driven Engineering (MDE). It is a software engineering technique utilizing a higher level of abstraction to model software systems. These models push the development activities. The strength of these type of models is that they are technology independent and tend to be often expressed in Domain Specific Languages (DSL). The concept of MDE is to develop a modeling language or metamodel in order to express models. A language needs a formal definition of its semantics. For modeling languages different kinds of ways to specify the static semantics are available. Having said that, there is absolutely no standard technique to specify the dynamic semantics that identifies the execution behavior of models. Action semantics (AS) is actually a framework for the formal description of programming languages. Action semantics was developed by Peter Mosses as a new formalism that would reduce the shortcomings of denotational and structural operational semantics. AS is designed to be both precise and pragmatic……


1 Introduction
1.1 Background
1.2 Problem Statement
1.3 Research Questions
1.4 Contributions
1.5 Outline
2 Basic Concepts
2.1 Introduction
2.2 Model Driven Engineering
2.3 Semantics in general
2.4 Semantics for MDE
2.5 Semantic formalisms
2.6 Conclusion
3 Action Semantics
3.1 Introduction
3.2 Origin
3.3 Example
3.4 Actions, Data and Yielders
3.5 State
3.6 Combinators
3.7 Facets
3.8 Theory of Action Semantics
3.9 Evolution of Action Semantics
3.10 Conclusion
4 Action Semantics for MDE
4.1 Introduction
4.2 Modeling Action Semantics
4.3 Action Semantics metamodel
4.4 Tools and artifacts
4.4.1 Implementation of the Compiler
4.4.2 Implementation of the Simulator
4.5 Changes to Action Semantics
4.6 Conclusion
5 Challenges in applying Action Semantics to MDE
5.1 Introduction
5.2 Denotations over models
5.3 Cycles
5.3.1 Unfolding and unfold
5.3.2 Problems with cycles in models
5.3.3 Compiler algorithm
5.3.4 Extension to the unfolding and unfold actions
5.4 Multiplicities
5.5 Inheritance
5.6 Conclusion
6 Case Studies
6.1 Introduction
6.2 Activity Diagram
6.3 Production Line Language
6.3.1 Possible improvements
6.4 Conclusion………

Source: University of Twente

Download URL 2: Visit Now

Leave a Comment