CONTEXT: Back in 2001, the MIT announced aspect-oriented programming as a key
technology in the next 10years. Nowadays, 10years later, AOP is still not widely adopted …

摘要方面化特征模块(AFM) 是最新提出的软件产品线(SPL) 编程范式, 能解决现有SPL
编程范式存在的问题, 但由于AFM 范式同时存在模块的并发组合和顺序组合 …

The complexity of Internet of things applications is inherited from the nature of Internet of
things components interactions, construction, and implementation of non-functional …

We define a method to modularize crosscutting concerns in Component-Based Systems
(CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is …

We present an interactive semi-automatic procedure to help users refine their requirements
formally and precisely, using knowledge the user possesses but does not notice as relevant …

We define a method to modularize crosscutting concerns in the Behavior Interaction Priority
(BIP) component-based framework. Our method is inspired from the Aspect Oriented …

When multiple aspects can share a join-point, they may, but do not have to, semantically
interfere. We present an in depth analysis of aspect semantics and mutual influence of …

Invasive patterns are an extension of standard parallel and distributed architectural patterns
for complex distributed algorithms. They have previously been implemented in terms of the …

An extended specification for aspects, and a new verification method based on model
checking are used to establish the correctness of strongly-invasive aspects, independently …

Abstract Aspect-Oriented Programming (AOP) provides new constructs and concepts to
handle secondary requirements in applications. Secondary requirements, ie crosscutting …