3 resultados
Resultados de la búsqueda
Mostrando 1 - 3 de 3
Ítem Automated reasoning for derivation of products in MD-SPLE(IEEE, 2011-05-04) Arboleda Jimenez, Hugo FernandoThis article presents a strategy that aims to support model-oriented software product line architects on making the decisions required to derive products. Together with the strategy, we present a tool that uses the power of constraint programming to create and use decision models. The models make it possible to relate model transformation rules and product line variants (alternatives) in order to enable the selection of the necessary rules according to the variants selected by a product designer. The greatest innovation of our contribution is that we provide architects with a tool that takes into account the possible interactions between variants of a product line and makes it possible to model the decisions required to derive products reusing existing model transformation rules as much as possible. © 2011 IEEE.Ítem Automated reasoning for derivation of model-driven SPLs(Lancaster University, 2010-09-01) Vargas, Víctor;Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules according to user choices captured in feature configurations. In this paper we propose an approach based on Constraint Programming to derive Model-Driven SPLs. Our contribution is twofold. First, we assist product line architects when relating transformation rules and features in order to derive prod- ucts based on feature configurations; the novelty is that we facilitate the management of feature interactions to architects. Second, current approaches to reason on feature models in SPL Engineering only deal with problems related to product configuration. We improve such approaches adding facilities for product derivation.Ítem Java Component Refactoring Based on Communication Integrity Violations | Request PDF(ResearchGate, 2010-01-01) Royer, Jean-ClaudeTo mitigate software architectural erosion, new languages and development methods have been proposed to make explicit the architectural decisions in the source code for the benefit of the programmers. Component Based Soft- ware Engineering (CBSE) is a trend which claims to improve software modularisation and to embed architectural concerns. Refactoring legacy code with components in mind needs tools to asses the compliance of the source code under analysis with component programming principles. The communication integrity property is one of the major principles to implement component based software architectures. In this paper we present a set of rules to prevent violation of the communication integrity property in legacy code and these rules are used to distinguish component types from data types. Furthermore, we provide refactoring actions in order to fix detected violations and thus to restructure Java legacy code with a pure and strict Java component model in mind.