Integrating Refinement into Software Development Tools

Authors:
Lu Yang;Volker Stolz
Affiliations:
State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China 210092;International Institute for Software Technology, United Nations University, Macao SAR
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 8
Cited 3

The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Designing the automatic transformation of visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects
Separation of Concerns and Consistent Integration in Requirements Modelling

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
CoCoME - The Common Component Modeling Example

The Common Component Modeling Example
A model of component-based programming

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
An evidential tool bus

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering

Refinement and verification in component-based model-driven design

Science of Computer Programming
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.