An Approach to Support Evolution of Software Architecture and Its Formalization

被引：0

作者：

Li Xiaojian ^{[1
]}

Zheng Ying ^{[2
]}

机构：

[1] Wuhan Univ, Int Software Sch, Hubei, Peoples R China

[2] Wuhan Univ, Econ & Management Sch, Hubei, Peoples R China

来源：

AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION | 2012年 / 137卷

关键词：

Evolution; reflective; formalization; pi calculus; MOBILE PROCESSES; CALCULUS;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a novel reflective approach to support evolution of software architecture. Based on the approach, Pi calculus model was established. And what' more, through case study, the evolution process of software architecture was formalized by Pi calculus description.

引用

页码：385 / +

页数：2

共 9 条

[1] Implementing a reflective fault-tolerant CORBA system [J].

Killijian, MO ;

Fabre, JC .

19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, 2000, :154-163

[2]

MILNER R, 1992, INFORM COMPUT, V100, P1, DOI [10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5]

[3] A CALCULUS OF MOBILE PROCESSES .2. [J].

MILNER, R ;

PARROW, J ;

WALKER, D .

INFORMATION AND COMPUTATION, 1992, 100 (01) :41-77

[4]

Milner R., 1999, The Space and Motion of Communicating Agents

[5]

Milner R, 1993, LOGIC ALGEBRA SPECIF, P91

[6]

Ruiz J.C., 2003, IEEE T COMPUTERS, V52

[7]

Ruiz-garcia J. C., 2001, INT C DEP SYST NETW

[8]

Sangiorgi D., 1993, TAPSOFT'93: Theory and Practice of Software Development, P151, DOI [10.1007/3-540-56610-462, DOI 10.1007/3-540-56610-462]

[9]

Walker David, 2001, The -Calculus: A Theory of Mobile Processes

← 1 →