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

Research on Interactive Action Refinement of Software Architecture

  • 摘要: 分析了当前体系结构精化的研究工作, 基于体系结构形式化描述语言πADL, 提出了体系结构交互动作精化的概念, 定义了交互动作精化的规约方法, 给出了交互动作精化遵循的法则, 有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题. 开发了体系结构交互动作精化的推导算法, 确保精化过程中高层体系结构的行为特性得到保持, 并自动生成低层体系结构. 实例研究表明了该方法的可行性.

     

    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.

     

/

返回文章
返回