CAJ | 학술논문

分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言πADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题.开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构.实例研究表明了该方法的可行性.
분석료당전체계결구정화적연구공작,기우체계결구형식화묘술어언π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 π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.