Methodologies for Model-Driven Development and Deployment: an Overview

This chapter introduces a model-driven Sensoria approach for service engineering. The project delivered a comprehensive approach for service modeling, analysis and deployment with novel modeling languages, qualitative and quantitative techniques for service analysis, automated model driven deplyoment mechanisms and legacy transformations. Model transformation served as a key technology for model-driven service engineering. The first part of the chapter first discusses the overall methodology and then briefly overviews some key contributions of the project (Sec. 2). Obviously, these individual contributions are presented from the viewpoint of model-driven development. Most of these are discussed in detail in other chapters of this book or in publications related to the project. The second part (Sec. 3) presents a selected "end-to-end" example for using model-driven techniques for analysing services. Here high-level, standard models of business processes and their correctness requirements are translated to a formal model (namely, transition systems and temporal logic formulae) in order to enable exhaustive verication by a model checker, which is a common scenario in the Sensoria project.