Integrating Refinement into Software Development Tools | Zendy

Yang Lu | Zendy; Volker Stolz | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Integrating Refinement into Software Development Tools

Author(s) -

Yang Lu,

Volker Stolz

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.03.086

Subject(s) - correctness , computer science , component (thermodynamics) , programming language , consistency (knowledge bases) , refinement calculus , development (topology) , transformation (genetics) , software engineering , process (computing) , theoretical computer science , software development , model transformation , software , artificial intelligence , mathematics , mathematical analysis , biochemistry , chemistry , physics , gene , thermodynamics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research