Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies

Many architectural languages have been proposed in the last 15 years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns. Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time, it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain-specific notations for architectural modeling have been proposed, each one focusing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one with its own specific notation, tools, and domain specificity. No effective interoperability is possible to date. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and, eventually, keep aligned) the available architectural specification into the required language/tool. This paper presents DUALLy, an automated framework that allows architectural languages and tools interoperability. Given a number of architectural languages and tools, they can all interoperate thanks to automated model transformation techniques. DUALLy is implemented as an Eclipse plugin. Putting it in practice, we apply the DUALLy approach to the Darwin/FSP ADL and to a UML2.0 profile for software architectures. By making use of an industrial complex system, we transform a UML software architecture specification in Darwin/FSP, make some verifications by using LTSA, and reflect changes required by the verifications back to the UML specification.     

软件体系结构描述语言ADL及其研究进展

1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大致分四类:     

基于Wright的SA级测试路径生成方法

软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则.根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

Generating CAM aspect-oriented architectures using Model-Driven Development

Aspect-Oriented Software Development promotes the separation of those concerns that cut across several components and/or are tangled with the base functionality of a component, through all phases of the software lifecycle. The benefit of identifying these crosscutting concerns (aspects) at the architectural level in particular is to improve the architecture design and its subsequent evolution, before moving onto detailed design and implementation. However, software architects are not usually experts on using specific AO architecture notations. Therefore, the aim of this paper is to provide support to define and specify aspect-oriented (AO) architectures using non-AO ones as the source. We will use the Model-Driven Development approach to transform a component-based architecture model into an AO architecture model. The CAM (component and aspect model) model and the DAOP–ADL language are the proposals used for modelling and specifying AO architectures. We will show how we automated part of the process and the tool support.