Integrating Refinement into Software Development Tools

https://doi.org/10.1016/j.entcs.2008.03.086Get rights and content
Under a Creative Commons license
open access

Abstract

It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and component-based development process are defined in rCOS, that is a refinement calculus recently developed at UNU-IIST. Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS. In this paper, we will discuss on how these transformations can be implemented in the relations language of Query/View/Transformation (QVT) standardized by OMG.

Keywords

Model transformations
MDA
QVT
rCOS

Cited by (0)