Skip to main content

Compositionality and Refinement in Model−Driven Engineering

Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch

Abstract

Model-driven engineering involves the automatic generation of software artifacts from models of structure and functionality. The use of models as ‘source code’ has implications for the notions of composition and refinement employed in the modelling language. This paper explores those implications in the context of object-oriented design: establishing a necessary and sufficient condition for a collection of classes to be treated as a component, identifying an appropriate notion of refinement for the generation process, and investigating the applicability of data and process refinement to object models.

Book Title
Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings
Editor
Rohit Gheyi and David A. Naumann
ISBN
978−3−642−33295−1
Pages
99−114
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7498
Year
2012