In some areas of software engineering research, there are several metamodels claiming to
capture the main issues. Though it is profitable to have variety at the beginning of a research …

Graph Grammars have been often used for modeling dynamic changes in software
architectures. In particular, we have previously characterized some classes of dynamicity in …

We illustrate two ways to address the specification, modelling and analysis of dynamic
software architectures using: i) ordinary typed graph transformation techniques implemented …

针对目前. 软件体系结构动态演化描述方法的不足, 提出用约束超图表示软件体系结构,
用左右应用条件刻画软件体系结构动态演化的前断言和后断言, 用条件超图文法建模软件体系 …

To cope with the high complexity of software in advanced technical systems, the software of
these systems is often built in a component-based fashion. The growing usage of self …

提出用带约束的超图表示软件体系结构, 给出基于超图态射的软件体系结构动态演化通用产生式
规则的形式化语义和操作, 定义类型超图作为体系结构风格, 运用超图文法和体系结构风格建模 …

We consider several real-time scheduling problems on heterogeneous multiprocessor
platforms, in which the different processors share a common memory pool. These include …

Enterprise Architecture (EA) has risen as a tool to support the process of making strategic
business decisions, by achieving an integral vision of business and IT elements of an …

针对目前. 软件体系结构动态演化描述方法的不足, 提出用约束超图表示软件体系结构,
用左右应用条件刻画软件体系结构动态演化的前断言和后断言, 用条件超图文法建模软件体系 …

In this paper, we propose an “end-to-end” approach that supports dynamic reconfiguration of
software architectures taking advantage of graphical modeling, formal methods and aspect …