软件体系结构交互动作精化研究.pdfVIP

第42 卷 第1 期 电 子 科 技 大 学 学 报 Vol.42 No. 1 20 13年1月 Journal of University of Electronic Science and Technology of China Jan. 20 13 软件体系结构交互动作精化研究 任洪敏，刘 晋 (上海海事大学计算机系 上海 浦东新区 200135) 【摘要】分析了当前体系结构精化的研究工作，基于体系结构形式化描述语言ADL ，提出了体系结构交互动作精化的概 念，定义了交互动作精化的规约方法，给出了交互动作精化遵循的法则，有效地解决体系结构精化过程中构件与其交互动作 的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法，确保精化过程中高层体系结构的行为特性得到保持， 并自动生成低层体系结构。实例研究表明了该方法的可行性。 关 键 词 演算; 体系结构精化; 交互动作; 软件体系结构 中图分类号 TP311 文献标志码 A doi:10.3969/j.issn.1001-0548.2013.01.028 Research on Interactive Action Refinement of Software Architecture REN Hong-min and LIU Jin (Department of Computer Science and Technology, Shanghai Maritime University Pudong Shanghai 200135) Abstract Refinement of software architecture deals with mapping and transformation between architectural models at different abstraction levels. This paper review s 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 c ase study shows