http://isola-conference.org/isola2010/tracks.html#4

In Model Driven Development, systems are built by transforming models from higher levels of abstraction to the point where we reach a model which is executable. Formal methods can play many roles in MDD. Along the main development spine they can define formal modelling languages, metamodels and transformations, and supply tools to transform a model in a more concrete one. At each develompment step, formal methods can be used to evaluate the correctness and the quality of the intermediate models. In this role, they apply directly to the models in the spine or to barbs that introduce specialized models. These tools permit specific, sometimes very sophisticated, analysis of part of the software.

This special track is devoted to the definition and application of formal methods to the Model Driven Development of systems based on the Service Oriented Architecture and on Cloud Computing, with particular interest for:

• metamodelling and transformation frameworks
• quantitative and qualitative evaluation tools
• barbed MDD
• domain specific modelling
• model based testing
• experience reports and case studies on very large scale industrial
• current and future challenges for FM and MDD

Track Organizers

Stefania Gnesi, ISTI-CNR, Pisa
Howard Foster, Department of Computing, City University London
Laura Semini, Dipartimento di Informatica, Università di Pisa