Bruno González-Baixauli's research while affiliated with Universidad de Valladolid and other places

... We aim to simplify the change from a conventional development process towards the product line paradigm. To achieve this, we use standard UML elements to represent the SPL architecture variations with conventional CASE and IDE tools [9]. We have used that approach to build an e-Commerce SPL and with several mobile systems. ...

... There are several approaches to model variability of QAs such as extensions to feature models (Benavides et al. 2006), goalbased models (González-Baixauli et al. 2004), Bayesian belief networks (Zhang et al. 2003), or frameworks like COVAMOF (Sinnema et al. 2006). All these methods are compared in (Etxeberria et al. 2007), but none of them have became a de-facto approach for modelling the variability of QAs, nor do they deal with the reconfiguration of QAs at runtime. ...

... • uniquely supports non-functional requirements, a feature only available in Tropos [5], however, not as a way to define alternative tasks that achieve the soft-goals as in Tropos, but as requirements that influence the way to implement a system [37] • uniquely offers a process fragment for validating analysis phase models against nonfunctional requirements such as performance and scaling [53] We are currently in the process of transferring the ASEME tools to the web. This will make it more accessible to practitioners that now have to install a specific Eclipse package and then some extensions and, finally, the ASEME dashboard. ...

... Merging MDD and product lines is not new, we know of examples that explicitly use features in MDD [9,8,10,11,12,22]. One is BoldStroke: a product-line for supporting a family of mission computing avionics for military aircraft [12] . ...

... Desde una perspectiva constructivista, una persona atribuye significados a acontecimientos que le ocurren a lo largo de su vida siendo denominados como constructos personales. En palabrasde Montesano, Feixas y Varlotta (2009) un constructo es un elemento de conocimiento con dos polos opuestos.De acuerdo con Kelly (1955; como se citó enGonzález et al., 2004), el conjunto de constructos de una persona presenta relaciones entre ellos, lo cual conforma la base de los juicios y comportamientos de dicha persona, permitiéndole hacer tanto hipótesiscomo conclusiones acerca de sí mismo y de los demás.Los acontecimientos que le ocurren a la persona pueden provocar modificaciones en su estructura cognitiva, por lo que consideramos que la experiencia de enfermar y de adaptarse a la noción de ser un "enfermo crónico", puede provocar cambios sustanciales al ciclo de la experiencia. Esta situación desde el marco de la Teoría de Kelly(Feixas y Botella, 1998) puede alterar la construcción del sí mismo y de la percepción sobre los demás, que es lo que se pretende indagar en este estudio. ...

... In this work, OCL is also presented as a suitable approach to define model constraints, but as the correspondences between feature models and class diagrams are not precisely defined, there is no automatic generation of OCL invariants. In turn, [13] do present a set of QVT rules to automatically generate class diagrams from feature models. However, in this case, neither model constraints nor configuration definitions support is presented. ...

... The resulting UML model must be XMI-based; therefore any UML compliant case tool could be a valid option. A first implementation, using a XML style sheet, is given in [11]. TheFigure 4 shows a feature model expressed with the XFeature tool, and the class diagram obtained from the resulting XMI file, after the application of the style sheet. ...

... John and Muthig [16] suggest the application of use case templates, although they do not distinguish between optional, alternative or obligatory variants. However, Halman and Pohl propose in [17] to make use of UML 2 package merge, based on [6], as a tool for the variability representation and configuration in PLs. As opposed to the mentioned proposals, our solution is centered in one behavior specification model of a PL, as are the SCs, introducing a clearly defined formal sustenance. ...

... These variability models are represented by means of a modeling formalism. In our literature research, we have found quite a number of variability modeling formalisms, such as FODA (Feature-Oriented Domain Analysis) [9], Orthogonal Variability Models (OVM) [13], UML classes [26], DOPLER [5] and Goals [6]. To represent and reason on these models, a number of approaches and tools exist in the literature. ...

... Software product lines (SPL) are a proven reuse approach in industrial environments, due to the combination of systematic development and the reuse of components that include the common and variable parts of the product line [2] [4]. Our approach to product line development [9] uses the package merge mechanism of UML 2 [12] as a representation of the variability in the product line. This is directly reflected in the relationships between packages in the architectural models, so that the traceability of configuration decisions is straightforward. ...