A formal model driven approach to dependable software evolution

被引：0

作者：

Chen, Feng ^{[1
]}

Yang, Hongji ^{[1
]}

Qiao, Bing ^{[1
]}

Chu, William Cheng-Chung ^{[2
]}

机构：

[1] De Montfort Univ, Software Technol Res Lab, Leicester LE1 9BH, Leics, England

[2] Tunghai Univ, Taichung, Taiwan

来源：

30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS | 2006年

关键词：

software evolution; software reengineering; formal method; model transformation; wide spectrum language (WSL); model driven architecture (MDA);

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper proposes a unified formal model driven approach to software evolution based on both program transformation and model transformation of legacy systems. A formal model definition ensures a consistent interpretation of the legacy system and provides a theoretical foundation for dependable software evolution. The theoretical foundation is based on the construction of a wide spectrum language for reengineering, known as WSL, which enjoys a sound formal semantics. The architecture and working flow of the approach are proposed, and the mappings between WSL and PSL in MDA provide an engaging combination of traditional program transformation and modern model transformation, which shows that the proposed approach is feasible and promising in its domain. A prototype tool is developed to test the approach and a case study is used for experiments with the proposed approach and the prototype tool. Conclusion is drawn based on analysis and further research directions are also discussed.

引用

页码：205 / +

页数：2

共 19 条

[1]

[Anonymous], 1986, EXECUTING TEMPORAL L

[2]

CHEN F, 2005, IEEE 12 AS PAC SOFTW

[3] REVERSE ENGINEERING AND DESIGN RECOVERY - A TAXONOMY [J].

CHIKOFSKY, EJ ;

CROSS, JH .

IEEE SOFTWARE, 1990, 7 (01) :13-17

[4]

Embley Davidw., 1992, Object-Oriented Systems Analysis: A Model-Driven Approach

[5]

FAVRE J, 2004, FDN MODEL DRIVEN REV

[6]

Kleppe A. G., 2003, MDA Explained: The Model Driven Architecture: Practice and Promise

[7]

LEMOS R, 2004, GRAND CHALLENGE DEPE

[8]

LI S, 2005, INT C SOFTW ENG KNOW

[9]

LIU X, 1999, THESIS DEMONTFORT U

[10] Formal methods: Promises and problems [J].

Luqi ;

Goguen, JA .

IEEE SOFTWARE, 1997, 14 (01) :73-85

← 1 2 →