摘要
分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。实例研究表明了该方法的可行性。
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 nADL architecture description language, defines the formal specification method and principles of interactive action ref'mement, develops a refinement reasoning algorithm, which can preserve the higher-level architectural behavior properties across ref'mement 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.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2013年第1期137-143,共7页
Journal of University of Electronic Science and Technology of China
基金
上海市自然科学基金(10ZR1413700)
上海市教委科研创新项目(12ZZ157)
关键词
演算
体系结构精化
交互动作
软件体系结构
π calculus
architecture ref'mement
interactive action
software architecture