Work

Integrating Refinement into Software Development Tools

Year: 2008

Type: article

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.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2008.03.086

Authors: Lu Yang, Volker Stolz

Institutions: Nanjing University, United Nations University

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Fundo para o Desenvolvimento das Ciências e da Tecnologia, National Key Research and Development Program of China

OpenAlex ID: W2014800425

FWCI: 2.649

Cites: 19

Cited by: 5

Related to: 10