![]() Perrouin, Gilles ![]() ![]() in International Conference on Software Test and Validation (2010) Detailed reference viewed: 351 (1 UL)![]() Klein, Jacques ![]() in Abstract book of 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, (2009), 5795 LNCS Since software systems need to be continuously available, their ability to evolve at runtime is a key issue. The emergence of models@runtime, combined with Aspect-Oriented Modeling techniques, is a ... [more ▼] Since software systems need to be continuously available, their ability to evolve at runtime is a key issue. The emergence of models@runtime, combined with Aspect-Oriented Modeling techniques, is a promising approach to tame the complexity of adaptive systems. However, with no support for aspect unweaving, these approaches are not agile enough in an adaptive system context. In case of small modifications, the adapted model has to be generated by again weaving all the aspects, even those unchanged. This paper shows how aspects can be unwoven, based on a precise traceability metamodel dedicated to aspect model weaving. We analyze traceability models, which describe how aspects were woven into a base, to determine the extent to which an aspect has affected the woven model in order to determine how it can be unwoven. Aspect unweaving is finally performed by applying inverse operations of a sub-sequence of the weaving operations in opposite order. © 2009 Springer Berlin Heidelberg. [less ▲] Detailed reference viewed: 98 (4 UL)![]() ; ; Klein, Jacques ![]() in Abstract book of 8th International Conference on Aspect Oriented Software Development (AOSD.09) (2009) Detailed reference viewed: 140 (6 UL)![]() ; Klein, Jacques ![]() in Abstract book of 7th IEEE International Conference on Composition Based Software Systems (2008) Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some ... [more ▼] Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some aspects of the system before considering the global complexity of the model. In this paper we consider two types of decomposition: according to the concerns identified in the requirements and according to structural and behavioural perspectives. Once the separate models are available and have been checked separately, they have to be composed to check global properties. In this work, we propose automatic composition operators for symmetric and asymmetric concern models, each concern being modelled from a structural and behavioural point of view. [less ▲] Detailed reference viewed: 127 (1 UL)![]() Perrouin, Gilles ![]() ![]() ![]() in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008) Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the product-line community, yielding a frustrating situation. On the one hand, automated product ... [more ▼] Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the product-line community, yielding a frustrating situation. On the one hand, automated product derivation approaches are inflexible; they do not allow products meeting unforeseen, customer-specific, requirements. On the other hand, approaches that consider this issue do not provide adequate methodological guidelines nor automated support. This paper proposes an integrated product derivation approach reconciling the two views to offer both flexibility and automation. First, we perform a pre-configuration of the product by selecting desired features in a generic feature model and automatically composing their related product-line core assets. Then, we adapt the pre-configured product to its customer-specific requirements via derivation primitives combined by product engineers and controlled by constraints that flexibly set product line boundaries. Our process is supported by the Kermeta metamodeling environment and illustrated through an example. [less ▲] Detailed reference viewed: 146 (5 UL)![]() ; Klein, Jacques ![]() in Early Aspects Workshop at E (2008) Detailed reference viewed: 114 (1 UL)![]() Klein, Jacques ![]() in Abstract book of 11th Workshop on Aspect Oriented Modeling, AOM at Models’07 (2007) Detailed reference viewed: 84 (9 UL) |
||