电子科技大学学报Issue(1)：137-143,7.DOI:10.3969/j.issn.1001-0548.2013.01.028
软件体系结构交互动作精化研究
Research on Interactive Action Refinement of Software Architecture
摘要
Abstract
Refinement of software architecture deals with mapping and transformation between architectural models at different abstraction levels. This paper reviews current researches on software architecture refinement, analyzes their inadequacies, and then proposes a new concept of interactive action refinement of software architecture based on πADL architecture description language, defines the formal specification method and principles of interactive action refinement, develops a refinement reasoning algorithm, which can preserve the higher-level architectural behavior properties across refinement hierarchies and generates lower-level architectures automatically. Interactive action refinement can effectively eliminate the mismatches of abstraction levels between components and their interactive actions that occur in the architectural refinement process. A case study shows the validity of the proposed method.关键词
π演算/体系结构精化/交互动作/软件体系结构Key words
πcalculus/architecture refinement/interactive action/software architecture分类
信息技术与安全科学引用本文复制引用
任洪敏,刘晋..软件体系结构交互动作精化研究[J].电子科技大学学报,2013,(1):137-143,7.基金项目
上海市自然科学基金(10ZR1413700) （10ZR1413700）
上海市教委科研创新项目(12ZZ157) （12ZZ157）
