Approaches to Co-Evolution of Metamodels and Models: a Survey

Total Page:16

File Type:pdf, Size:1020Kb

Approaches to Co-Evolution of Metamodels and Models: a Survey This is the author's version of an article that has been published in this journal. Changes were made to this version by the publisher prior to publication. The final version of record is available at http://dx.doi.org/10.1109/TSE.2016.2610424 JOURNAL OF LATEX CLASS FILES, VOL. 13, NO. 9, SEPTEMBER 2014 1 Approaches to Co-Evolution of Metamodels and Models: A Survey Regina Hebig, Djamel Eddine Khelladi, and Reda Bendraou, Abstract—Modeling languages, just as all software artifacts, evolve. This poses the risk that legacy models of a company get lost, when they become incompatible with the new language version. To address this risk, a multitude of approaches for metamodel-model co-evolution were proposed in the last 10 years. However, the high number of solutions makes it difficult for practitioners to choose an appropriate approach. In this paper, we present a survey on 31 approaches to support metamodel-model co-evolution. We introduce a taxonomy of solution techniques and classify the existing approaches. To support researchers, we discuss the state of the art, in order to better identify open issues. Furthermore, we use the results to provide a decision support for practitioners, who aim to adopt solutions from research. Index Terms—Survey, software engineering, metamodels, models, design notations and documentation F 1 INTRODUCTION N the last decade, Model-Driven Engineering has proven any modification in the metamodel may impact all the I to be effective in the development and maintenance of other artifacts i.e. editors, code generators, transformation large scale and embedded systems [1], [2]. At the heart of rules, consistency constraints, etc. [8]. In [9] authors reported this vision is the notion of Metamodel, a formal definition how difficult it can be to update a GMF-based graphical of the language that will be used to represent models of editor after a metamodel evolution. Our industrial partner the application’s domain. Raising the level of abstraction KI5 reported that in the automotive domain, companies, from code to models combined with the promise of better such as Renault, use DSMLs for modeling their products. productivity and a shorter product development life-cycle, However, due to the competitive nature of this industrial have led to the emergence of an impressive number of field, metamodels have to be extended and evolved almost DSMLs (Domain Specific Modeling Languages). The use of every two years to include new concepts from the problem DSMLs would increase productivity between 200% (Adap- domain. This has an effect on the tedious task of not only tive Cruise Control) to 750% (Home automation, phone evolving the tooling chain but also model instances. Airbus6 switch features), according to [3]. Today, almost every busi- and Thales7, which were involved with us in the research ness and industrial domain has a dedicated DSML [4] projects MOVIDA8, ANR Galaxy9 and MeRGE10, mentioned and plenty of tools are provided to help you design your model instances with up to 500 000 model elements to be mi- own modeling language, e.g. EMF1, OBEO Designer2, or grated in some cases. Another example of artifacts that may Metaedit3. be impacted by metamodel evolution are OCL constraints. However, DSMLs do not come alone. Their productivity The UML metamodel11 comes with more than 700 OCL is mainly ensured by the ecosystem that surrounds them. constraints which may be impacted in case of an evolution. This includes code generators, text and graphical editors, However, the UML metamodel evolved quite often in the e.g. Xtext [5] or GMF4, rule and constraints consistency last decade12. BPMN evolved every three to four years since checker engines [6][7], and many other artifacts that con- it has been specified in 200413. Transformation rules are stitute the development chain, spanning from modeling the also highly related to metamodel elements. Especially if you problem domain to the code of the future system. While are dealing with exogenous model transformation (source this development chain is effective and efficient, its Achilles and target metamodels are different). Every modification of heel remains the metamodel. One can see it as the central either source or target metamodels will impact the trans- point of a dependency graph of artifacts and tools since formation rules, sometimes hundreds of them, and requires to manually or semi-automatically migrate them [10], [11], [12]. • R. Hebig is with the Chalmers j University of Gothenburg, Computer Science and Engineering G¨oteborg, V¨astra G¨otaland County, Sweden. 5. KnowledgeInside http://www.k-inside.com/web/fr D. Khelladi and R. Bendraou are with the Sorbonne Universit´es,UPMC 6. Airbus http://www.airbus.com/ Univ Paris 06, UMR 7606, LIP6, F-75005, Paris, France. 7. Thales https://www.thalesgroup.com E-mail: [email protected], [email protected], 8. Movida http://www.agence-nationale-recherche.fr/?Projet= [email protected] ANR-08-SEGI-0011 Manuscript received April 19, 2015; 9. ANR Galaxy http://www.galaxy.lip6.fr 1. Eclipse Modeling Framework http://www.eclipse.org/modeling/ 10. MeRGE http://www.merge-project.eu/ emf/ 11. UML standard http://www.omg.org/spec/UML/ 2. OBEO Designer http://www.obeodesigner.com/ 12. For an overview of different versions of the UML see http:// 3. Metaedit http://www.metacase.com/products.html www.omg.org/spec/UML/ 4. GMF http://eclipse.org/modeling/gmf 13. BPMN http://www.omg.org/spec/BPMN/ Copyright (c) 2016 IEEE. Personal use is permitted. For any other purposes, permission must be obtained from the IEEE by emailing [email protected]. This is the author's version of an article that has been published in this journal. Changes were made to this version by the publisher prior to publication. The final version of record is available at http://dx.doi.org/10.1109/TSE.2016.2610424 JOURNAL OF LATEX CLASS FILES, VOL. 13, NO. 9, SEPTEMBER 2014 2 The examples given above highlight the importance of 2 METHOD dealing with metamodels evolution especially with the wide spread of DSMLs. Some companies are already facing this In this section, we describe how we identified and analyzed problem. Through KI we know that Renault has invested the approaches considered within this survey. money and time to build DSMLs while underestimating the cost of co-evolving the related tools and model instances every time the metamodel is impacted. We believe that in 2.1 Exclusion Criteria for Supporting Approaches the near future, this problem, if not handled, can be an This survey includes approaches for co-evolution that either obstacle to the adoption and use of DSMLs. support the identification of metamodel changes as an input Metamodels co-evolution has already been identified as for model resolution or propose model resolutions in form a main issue in the literature [13], [14], [15]. The evolution of more generic strategies or model specific resolutions. between two versions of the same metamodel may consist of To make this survey feasible and keep the comparison hundreds of additions, deletions, and changes of elements. meaningful, we excluded supporting approaches that might For example, during the evolution of UML Class Diagrams be used to perform co-evolution manually or that are a from UML version 1.5 to 2.0 a total of 238 language elements standard inbuilt part of co-evolution approaches today. where added, deleted, or changed [16]. For the evolution There are approaches for conformance checking, such as from GMF version 1.0 to 2.0, 136 changes have been identi- discussed by Paige et al. [17] or the approach of Iovino fied by Herrmannsdoerfer et al. [13]. et al. [18]. Similarly, there are a multitude of approaches In the last decade, the literature introduced 31 ap- that allow to check for constraints on models, e.g. using proaches that focus exclusively on the co-evolution of mod- Answer Set Programming (ASP [19]) or the Epsilon Vali- els when the metamodel is evolved. These 31 approaches dation Language14. All of these approaches can help a user differ in the way they solve the involved tasks which are to identify what elements of a model are broken with regard a) the identification of metamodel changes and b) the co- to a new metamodel version. However, we do not include evolution of model instances. Thus, it is a challenge for these approaches in this survey, as they do not lead to an the users to identify which approach can best fit their automated resolution support. needs. Indeed, from the user’s perspective these approaches Naturally, all approaches that consume metamodel may differ significantly. The trade-off between correctness changes for the co-evolution rely on tools to identify these and automation could be one way to compare them. Fully changes. These can be tools used to retrieve model differ- automated approaches make it easier to handle huge sets ences, such as EMF compare15, or tools to record changes of models while it might not be possible to guarantee online, such as the seminal work of Alan and Porres [20] that the resulting models conform to the required outcome. or Praxis [6]. Thus, the identification of atomic changes, i.e. Approaches that provide more control for the user while the creation, deletion or modification of single metamodel performing the co-evolution might be preferable when some elements, can be considered as being well established and adaptation and customizations are required. Besides, some is included in most approaches today. In the remainder implicit prerequisites, such as required skills or language’s of this survey we therefore do not address these works ownership, need to be identified and considered before as standalone approaches.
Recommended publications
  • Change and Version Management in Variability Models for Modular Ontologies
    Change and Version Management in Variability Models for Modular Ontologies Melanie Langermeier1, Thomas Driessen1, Heiner Oberkampf1;2, Peter Rosina1 and Bernhard Bauer1 1Software Methodologies for Distributed Systems, University of Augsburg, Augsburg, Germany 2Siemens AG, Corporate Technology, Munich, Germany Keywords: Variability Model, Modular Ontologies, Version Management, Change Management, Enterprise Architecture Management. Abstract: Modular ontology management tries to overcome the disadvantages of large ontologies regarding reuse and performance. A possibility for the formalization of the various combinations are variability models, which originate from the software product line domain. Similar to that domain, knowledge models can then be individualized for a specific application through selection and exclusion of modules. However, the ontology repository as well as the requirements of the domain are not stable over time. A process is needed, that enables knowledge engineers and domain experts to adapt the principles of version and change management to the domain of modular ontology management. In this paper, we define the existing change scenarios and provide support for keeping the repository, the variability model and also the configurations consistent using Semantic Web technologies. The approach is presented with a use case from the enterprise architecture domain as running example. 1 INTRODUCTION quirements, for instance, that the domain Ontology A and Ontology B should not be used together. For the Knowledge management is an important aspect in or- creation of a configuration, this variability knowledge ganizations. Typically, different models are used to can be automatically processed, and therewith sup- capture all relevant aspects of the organization. These ports the domain expert in creating a consistent con- models can extend each other, but can also overlay figuration.
    [Show full text]
  • Innovations in Model-Based Software and Systems Engineering
    Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Innovations in Model-based Software And Systems Engineering Katrin Hölldoblera Judith Michaela Jan Oliver Ringertb Bernhard Rumpea Andreas Wortmanna a. Software Engineering, RWTH Aachen University, Germany b. Department of Informatics, University of Leicester, UK Abstract Engineering software and software intensive systems has become in- creasingly complex over the last decades. In the ongoing digitalization of all aspects of our lives in almost every domain, including, e.g., mechanical engineering, electrical engineering, medicine, entertainment, or jurisdiction, software is not only used to enable low-level controls of machines, but also to understand system conditions and optimizations potentials. To remain in control of all these heterogeneous systems of systems, a precise, but abstract understanding of these systems is necessary. To this end, models in their various forms are an important prerequisite to gain this understanding. In this article, we summarize research activities focusing on the de- velopment and use of models in software and systems engineering. This research has been carried out by the working group of Bernhard Rumpe, which started 25 years ago in Munich, continued in Braunschweig, and since 10 years carries on at RWTH Aachen University. Keywords Model, Modeling, Software Engineering, Language Workbench 1 Introduction Development of a system consists of understanding what the system should do, decom- posing the problem into smaller problems until they can be solved individually and composed into an overall solution. An important part of this process is decomposition, which leads to an architecture for the individual components.
    [Show full text]
  • Feature-Based Composition of Software Architectures Carlos Parra, Anthony Cleve, Xavier Blanc, Laurence Duchien
    Feature-based Composition of Software Architectures Carlos Parra, Anthony Cleve, Xavier Blanc, Laurence Duchien To cite this version: Carlos Parra, Anthony Cleve, Xavier Blanc, Laurence Duchien. Feature-based Composition of Soft- ware Architectures. 4th European Conference on Software Architecture, Aug 2010, Copenhagen, Denmark. pp.230-245, 10.1007/978-3-642-15114-9_18. inria-00512716 HAL Id: inria-00512716 https://hal.inria.fr/inria-00512716 Submitted on 31 Aug 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Feature-based Composition of Software Architectures Carlos Parra, Anthony Cleve, Xavier Blanc, and Laurence Duchien INRIA Lille-Nord Europe, LIFL CNRS UMR 8022, Universit´edes Sciences et Technologies de Lille, France {carlos.parra, anthony.cleve, xavier.blanc, laurence.duchien}@inria.fr Abstract. In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express variability, and can be used to automate the derivation process. Nevertheless, this may be highly complex due to possible interactions between selected features and the artifacts realizing them. Deriving concrete products typically involves the composition of such inter-dependent software artifacts.
    [Show full text]
  • A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering
    A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering Armaya’u Zango Umar Jaejoon Lee Lancaster University Lancaster University Lancaster, United Kingdom Lancaster, United Kingdom [email protected] [email protected] ABSTRACT EduPL Software Product Line Engineering (SPLE) is a software reuse par- Course Registration adigm for developing software products, from managed reusable Result Computation................. Account Creation Payment ...... ..... assets, based on analysis of commonality and variability (C & V) .......... ......... Application of a product line. Many approaches of SPLE use a feature as a Messaging Service Sub-degree key abstraction to capture the C&V. Recently, there have been in- Contact Validation Email Graduate creasing demands for the provision of flexibility about not only Text Message Under Graduate the variability of features but also the variability of when features Composition Rule Legend should be selected (i.e., variability on feature binding times). Cur- Contact Validation Requires Messaging Service Optional Alternative Group rent approaches to support variations of feature binding time mostly GraduateRequires Payment OR group Composed-of relationship focused on ad hoc implementation mechanisms. In this paper, we first identify the challenges of feature binding time management and then propose an approach to analyze the variation of feature Figure 1: Partial feature model of EduPl binding times and use the results to specify model-based architec- tural components for the product line. Based on the specification, components implementing variable features are parameterized with be tailored to produce a potentially unique architecture for each of the binding times and the source codes for the components and the the products of a product line.
    [Show full text]
  • Reactive Variability Realization with Test-Driven Development and Refactoring
    Reactive Variability Realization with Test-Driven Development and Refactoring Glauco Silva Neves Patrícia Vilain Informatics and Statistics Department - INE Informatics and Statistics Department - INE Federal University of Santa Catarina - UFSC Federal University of Santa Catarina - UFSC Florianópolis, Brazil Florianópolis, Brazil [email protected] [email protected] Abstract— Software product line is a practice that has proven its Despite its advantages, a SPL requires a high upfront and advantages since it can offer to a company the reduction of time long-term investment to design and to develop the core assets to market, the decrease of development costs, the increase of repository, hindering the SPL use in dynamic markets due to productivity and the improvement of the final product quality. the risk of unforeseen changes and the cost of developing However, this practice requires a high initial investment and artifacts that may no longer be reused. To overcome this offers long-term risks to dynamic markets where changes are difficulty, there is a proposal of combining agile software difficult to predict. One of these markets is the mobile application development practices with SPL, resulting in the Agile Product development, which presents a growing demand, with Line Engineering (APLE) [2]. smartphone and tablets having already surpassed sales of PCs and notebooks. Currently, proposals bring the advantages of One example of a dynamic market that has grown rapidly is software product line for dynamic markets through the use of the one of applications for mobile devices. Smartphones and agile software development practices, which is called Agile tablets have surpassed PC and laptop sales [3].
    [Show full text]
  • Feature and Class Models in Clafer: Mixed, Specialized, and Coupled
    Feature and Class Models in Clafer: Mixed, Specialized, and Coupled University of Waterloo Technical Report CS-2010-10 Kacper Bąk1, Krzysztof Czarnecki1, and Andrzej Wąsowski2 1 Generative Software Development Lab, University of Waterloo, Canada, {kbak,kczarnec}@gsd.uwaterloo.ca 2 IT University of Copenhagen, Denmark, [email protected] Abstract. We present Clafer, a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for class models, feature models, mixtures of class and feature models (such as components with options), and models that couple feature models and class models via constraints (such as mapping feature configurations to component configurations). Clafer also allows arranging models into mul- tiple specialization and extension layers via constraints and inheritance. We identified four key mechanisms allowing a class modeling language to express feature models concisely and show that Clafer meets its design objectives using a sample product line. 1 Introduction Both feature and class modeling have been used in software product line en- gineering to model variability. Feature models are tree-like menus of mostly Boolean—but sometimes also integer and string—configuration options, aug- mented with cross-tree constraints [15]. These models are typically used to show the variation of user-relevant characteristics of products within a product line. In contrast, class models, as supported by the Unified Modeling Language (UML), have been used to represent the components and connectors of product line ar- chitectures and the valid ways to connect them. Thus, the nature of variability expressed by each type of models is different: feature models capture simple se- lections from predefined (mostly Boolean) choices within a fixed (tree) structure; and class models support making new structures by creating multiple instances of classes and connecting them via object references.
    [Show full text]
  • Mapping SPL Feature Models to a Relational Database
    Mapping SPL Feature Models to a Relational Database Hazim Shatnawi∗ H. Conrad Cunningham University of Mississippi University of Mississippi Department of Computer and Information Science Department of Computer and Information Science University, Mississippi 38677 University, Mississippi 38677 [email protected] [email protected] ABSTRACT may vary in how those features are realized. To identify these com- Building a software product line (SPL) is a systematic strategy for monalities and variabilities, developers must analyze the domain reusing software within a family of related systems from some ap- to identify the organization’s business goals, the SPL’s scope, the plication domain. To dene an SPL, domain analysts must identify types of products to be developed, and the features of those prod- the common and variable aspects of systems in the family and cap- ucts. They often document the details of the feature analysis as a ture this information so that it can be used eectively to construct tree-structured feature model. A parent node represents a decision specic products. Often analysts record this information using a fea- in the design of a product. The children of that node represent more ture model expressed visually as a feature diagram. The overall goal detailed decisions for realizing the parent decision. The constraints of this project is to enable wider use of SPLs by identifying relevant among the nodes determine how valid products can be congured concepts, dening systematic methods, and developing practical in the SPL. tools that leverage familiar web programming technologies. This Feature models are represented in various ways in the litera- paper presents a novel approach to specication of feature models: ture.
    [Show full text]
  • Using Feature Modeling for Program Comprehension and Software
    Using Feature Modeling for Program Comprehension and Software Architecture Recovery Ilian Pashov, Matthias Riebisch Technical University Ilmenau, Max-Planck-Ring 14, P.O. Box 100565 98684 Ilmenau, Germany {idpashov|matthias.riebisch}@tu-ilmenau.de Abstract: The available evidence in a legacy software their life cycle. Evolving often means refactoring or system, which can help in its understanding and recovery migrating to a new approach, for example component based systems or product lines. However, to succeed in of its architecture are not always sufficient. Very often the system’s documentation is poor and outdated. One such a step, a full understanding of the software system may argue that the most reliable resource of information is required leading to the need for its architecture and design decisions to be recovered. is the system’s source code. Nevertheless a significant knowledge about the problem domain is required in Due to the long life cycle of these systems, in most of order to facilitate the extraction of the system’s useful the cases it is impossible to keep the same development architectural information. team. A lot of knowledge about the system is lost along In this approach feature modeling is introduced as an with the developers. Often the system’s documentation is additional step in a system’s architectural recovery out of date and insufficient. This means that additional process. Feature modeling structures the system’s help is required for the architectural recovery of the system from the reverse engineers and the reverse functionality and supports reverse engineering by detecting the relations between source code elements and engineering methods.
    [Show full text]
  • An Overview of Feature-Oriented Software Development
    Vol. 8, No. 4, July{August 2009 An Overview of Feature-Oriented Software Development Sven Apel, Department of Informatics and Mathematics, University of Passau, Germany Christian K¨astner, School of Computer Science, University of Magdeburg, Germany Feature-oriented software development (FOSD) is a paradigm for the construction, customization, and synthesis of large-scale software systems. In this survey, we give an overview and a personal perspective on the roots of FOSD, connections to other software development paradigms, and recent developments in this field. Our aim is to point to connections between different lines of research and to identify open issues. 1 INTRODUCTION Feature-oriented software development (FOSD) is a paradigm for the construction, customization, and synthesis of large-scale software systems. The concept of a fea- ture is at the heart of FOSD. A feature is a unit of functionality of a software system that satisfies a requirement, represents a design decision, and provides a potential configuration option. The basic idea of FOSD is to decompose a software system in terms of the features it provides. The goal of the decomposition is to construct well-structured software that can be tailored to the needs of the user and the appli- cation scenario. Typically, from a set of features, many different software systems can be generated that share common features and differ in other features. The set of software systems generated from a set of features is also called a software product line [45,101]. FOSD aims essentially at three properties: structure, reuse, and variation. De- velopers use the concept of a feature to structure design and code of a software system, features are the primary units of reuse in FOSD, and the variants of a software system vary in the features they provide.
    [Show full text]
  • Quality Attributes Modeling in Feature Models and Feature Model
    A thesis submitted in fulfillment of requirement for the degree of Doctor of Philosophy GUOHENG ZHANG School of Electrical Engineering and Computer Science The University of Newcastle, Callaghan, NSW, 2308, Australia March 2013 Statement of Originality The thesis contains no material which has been accepted for the award of any other degree or diploma in any university or other tertiary institution and, to the best of my knowledge and belief, contains no material previously published or written by another person, except where due reference has been made in the text. I give consent to the final version of my thesis being made available worldwide when deposited in the University’s Digital Repository. Guoheng Zhang Acknowledgement I would like to acknowledge the support and encouragement of several people, without whom, this thesis would not be possible. Firstly, I am grateful for my two supervisors, Associate Prof. Huilin Ye and Dr. Yuqing Lin. I have learnt almost everything about research from them. In the last four years, they have given me guidance and encouragement, support and generosity in sharing their time, knowledge, and expertise during the preparation of my Ph.D thesis and throughout my research work. My research has been funded by Australian Research Council under Discovery Project DP0772799. I would like to thank the Council for this great opportunity. I wish to thank my wife for her love, encouragement and continuous support. I am grateful to my parents for their support and education. During several conferences, I had the pleasure to meet many passionate people from the software product line community.
    [Show full text]
  • Agile Product Line Engineering: the Agifpl Method
    Agile Product Line Engineering: The AgiFPL Method Hassan Haidar1, Manuel Kolp1 and Yves Wautelet2 1LouRIM-CEMIS, Université Catholique de Louvain, Belgium 2KULeuven, Faculty of Economics and Business, Belgium Keywords: Software Product Line Engineering, Agile Software Development, Agile Product Line Engineering, AgiFPL, Scrum, Scrumban, Features. Abstract: Integrating Agile Software Development (ASD) with Software Product Line Engineering (PLE) has resulted in proposing Agile Product Line Engineering (APLE). The goal of combining both approaches is to overcome the weaknesses of each other while maximizing their benefits. However, combining them represents a big challenge in software engineering. Several methods have been proposed to provide a practical process for applying APLE in organizations, but none covers all the required APLE features. This paper proposes an APLE methodology called AgiFPL: Agile Framework for managing evolving PL with the intention to address the deficiencies identified in current methods, while making use of their advantages. 1 INTRODUCTION as presenting strengths and weaknesses. Furthermore, the study of the existing APLE methods has revealed Over the past years, the software industry has been that no single method covers all the needed APLE searching for methods, processes and techniques to features. increase the delivery of high quality software while In this context, this paper proposes an APLE reducing development costs. Several paradigms have methodology called AgiFPL (Agile Framework for been proposed in order to fulfil this target. “Agile managing evolving SPL). The intention behind the Software Development” (ASD) and “Product Line definition of this APLE method is to address the Engineering” (PLE) are well-known approaches deficiencies identified in current methods, while proposed by researchers and practitioners for dealing making use of their advantages.
    [Show full text]
  • Applying Feature-Oriented Software Development in Saas Systems: Real Experience, Measurements, and Findings
    Applying Feature-Oriented Software Development in SaaS Systems: Real Experience, Measurements, and Findings Oscar Pedreira1, Fernando Silva-Coira1, Angeles´ Saavedra Places1, Miguel R. Luaces1 and Leticia Gonzalez´ Folgueira2 1Universidade da Coruña, Centro de Investigación CITIC, Facultade de Informática, A Coruña, Spain 2Enxenio S.L., A Coruña, Spain E-mail: [email protected]; [email protected]; [email protected]; [email protected]; [email protected] Received 14 January 2019; Accepted 06 June 2019 Abstract Distributing software as a service (SaaS) has become a major trend for web-based systems. However, this software distribution model poses many challenges. One of them is feature variability, that is, some features of the system may be required by some users, but not by all of them. In addition, variability is more complex than just including or excluding a feature, since different types of relationships may exist between features. The implementation of this variability, and the parametrization and configuration of the system can be complex in this context, so the development process of a SaaS system must adequately address variability management. In this paper we present an Journal of Web Engineering, Vol. 18 4-6, 447–476. doi: 10.13052/jwe1540-9589.18467 c 2019 River Publishers 448 O. Pedreira et al. experience applying feature oriented software development (FOSD) in the context of SaaS web-based systems development. We present a real experience in the development of a web-based system for managing home care services for dependent people. The article describes the problem of variability management in this domain, and the feature model of the system.
    [Show full text]