软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2013年
8期
1731-1745
,共15页
宋晖%黄罡%武义涵%FranckCHAUVEL%孙艳春%邵维忠%梅宏
宋暉%黃罡%武義涵%FranckCHAUVEL%孫豔春%邵維忠%梅宏
송휘%황강%무의함%FranckCHAUVEL%손염춘%소유충%매굉
运行时体系结构%模型驱动软件工程%领域特定建模%运行时维护与演化
運行時體繫結構%模型驅動軟件工程%領域特定建模%運行時維護與縯化
운행시체계결구%모형구동연건공정%영역특정건모%운행시유호여연화
runtime architecture%model-driven engineering (MDE)%domain specific modeling%runtime maintenance and evolution
运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系。运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统。运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础。构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联。由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护。提出一种模型驱动的运行时体系结构构造方法。开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施。基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架。一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性。
運行時體繫結構是繫統運行時刻的一箇動態、結構化的抽象,描述繫統噹前的組成成分、各成分的狀態和配置以及不同成分之間的關繫。運行時體繫結構與目標繫統間具有動態的因果關聯,即繫統的變化及時體現在體繫結構上,而對體繫結構的脩改及時影響噹前繫統。運行時體繫結構允許開髮者以讀寫體繫結構的方式實現繫統的鑑測和調整,是體繫結構層次繫統動態適應與在線縯化的基礎。構造運行時體繫結構的關鍵是針對不同的目標繫統和體繫結構風格實現閤適的基礎設施,以維護二者之間的因果關聯。由于目標繫統和體繫結構的多樣性以及因果關聯維護邏輯的複雜性,這一構造過程往往過于繁瑣、易錯、難以複用和維護。提齣一種模型驅動的運行時體繫結構構造方法。開髮者隻需針對目標繫統、體繫結構以及兩者之間的關繫分彆進行建模,根據這些模型,支撐框架自動構造閤法而高效的運行時體繫結構基礎設施。基于MOF和QVT標準建模語言定義瞭一組運行時體繫結構建模語言,併基于通用的模型與繫統間同步技術實現瞭相應的支撐框架。一繫列實例研究錶明,該方法具有廣汎的適用性,併顯著提高瞭運行時體繫結構構造過程的效率與可複用性。
운행시체계결구시계통운행시각적일개동태、결구화적추상,묘술계통당전적조성성분、각성분적상태화배치이급불동성분지간적관계。운행시체계결구여목표계통간구유동태적인과관련,즉계통적변화급시체현재체계결구상,이대체계결구적수개급시영향당전계통。운행시체계결구윤허개발자이독사체계결구적방식실현계통적감측화조정,시체계결구층차계통동태괄응여재선연화적기출。구조운행시체계결구적관건시침대불동적목표계통화체계결구풍격실현합괄적기출설시,이유호이자지간적인과관련。유우목표계통화체계결구적다양성이급인과관련유호라집적복잡성,저일구조과정왕왕과우번쇄、역착、난이복용화유호。제출일충모형구동적운행시체계결구구조방법。개발자지수침대목표계통、체계결구이급량자지간적관계분별진행건모,근거저사모형,지탱광가자동구조합법이고효적운행시체계결구기출설시。기우MOF화QVT표준건모어언정의료일조운행시체계결구건모어언,병기우통용적모형여계통간동보기술실현료상응적지탱광가。일계렬실례연구표명,해방법구유엄범적괄용성,병현저제고료운행시체계결구구조과정적효솔여가복용성。
Runtime software architecture is a dynamic and structural abstract of the running system, which describes the elements of current system, the state of these elements, and the relation between them. Runtime architecture has a causal connection with the running system, in order for system administrators to monitor and control the system through reading and editing the architecture. The key to construct a runtime architecture is to develop the infrastructure between the target architecture and system. This is done to maintain the causal connection between them. However, because of the diversity of target systems and architectures, and the complexity of the causal connection maintaining logic between them, the development of such infrastructures is tedious, error-prone, and hard to reuse or evolve. This paper presents a model-driven approach to constructing runtime architectures. Developers describe the target system, the architecture,and the relation between them as declarative models, and the supporting framework automatically generates the runtime architecture infrastructures. The research designs the runtime architecture modeling language based on the extension of the standard MOF and QVT languages, and implements the supporting framework based on a set of general synchronization techniques between the system and architecture. A set of case studies illustrate that this approach applies to a wide range of systems and architectures and improves the efficiency and reusability of the construction of runtime models.