Modelling -- Foundation and Applications

7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

Recent years have seen a proliferation of languages for describing embedded
systems. Some of these languages have emerged from domain-specific
frameworks, and some are adaptions or extensions of more general-purpose
languages. In this paper, we focus on two widely- used standard languages: the
Architecture Analysis and Design Language (AADL) and the Systems Modeling
Language (SysML). AADL was born as an avionics-focused domain-specific
language and later ...