Module 2

Multi-Modeling and Evolution in Software Ecosystems

Motivation

In software ecosystems (SECOs) internal and external developers compose customer solutions based on common technological platforms. The software systems providing the technical basis of a SECO are created by different teams and communities. This poses significant challenges for development and evolution. Solutions exist in a growing number of versions and variants. Upgrading a system or parts of it at reasonable costs can become almost impossible as both the original system and the deployed system have evolved independently since the original deployment. Further, developers face high complexity as systems use multiple programming languages need to support a high degree of variability to customize them to the  customer-specific requirements. As evolution is the rule and not the exception in SECOs, understanding the types and mechanisms of changes plays an important role. Another important issue arising in SECO development and evolution is merge and change support that addresses the diversity of the systems.

Approach

Together with our industry partner Keba AG we are developing methods and tools supporting distributed development and evolution in industrial SECOs. In an initial exploratory case study we identified key challenges for SECO development: managing and dealing with the different variants and versions in the software ecosystems; assessing the effect of changes in the core platform to existing variants and versions; providing support addressing the different types and skills of developers in the SECO; as well as increasing the knowledge about commonalities and variability of existing solutions.

We approach these challenges by developing an environment supporting feature-oriented and role-specific views and by providing support for system evolution. Feature-oriented views foster the separation of concerns and help in locating relevant artifacts when making changes. Role-specific views are useful to distinguish  features maintained by product managers and technical features managed in the release plans of platform teams. Our approach is based on configuration-aware static code analysis techniques which are capable to cross language boundaries.

Results

SSN_Keba Exploratory Case studies. We conducted an exploratory case study in the industrial automation domain with the goal to identify key characteristics, research issues, and evolution challenges in industrial SECOs.

 

Lettner, Daniela; Angerer, Florian; Prähofer, Herbert; Grünbacher, Paul, “A Case Study on Software Ecosystem Characteristics in Industrial Automation Software“, In: Proceedings Int’l Conference on Software and Systems Process (ICSSP 2014), Nanjing, China, 2014.

Lettner, Daniela; Angerer, Florian; Grünbacher, Paul; Prähofer, Herbert, “Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study“, In: Proceedings Int’l Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014), Verona, Italy, 2014.


Comparison of custom-developed vs. model-based configuration tools. We analyzed an existing custom-developed configuration tool for an industrial automation application and described challenges arising from transitioning to a software ecosystem. By applying the model-based DOPLER tool suite we assessed the feasibility of a model-based configuration approach.

Lettner, Daniela; Petruzelka, Michael; Rabiser, Rick; Angerer, Florian; Prähofer, Herbert; Grünbacher, Paul, “Custom-Developed vs. Model-based Configuration Tools: Experiences from an Industrial Automation Ecosystem“, In: Proceedings MAPLE/SCALE 2013 Workshop at the 17th International Software Product Line Conference, Tokyo, Japan, pp. 52-58, 2013.


FeatureFeedApproach_DistributedSEAMs Feature-oriented development in SECOs. Feature models provide a central view of variability in a wide range of development artifacts. We are enhancing a cardinality-based feature modeling approach to support configurable units and variation points as suggested by the common variability language (CVL). We use distributed SECO awareness models to increase the visibility of customer-specific developments with high reuse potential.

Lettner, Daniela; Grünbacher, Paul, “Using Feature Feeds to Improve Developer Awareness in Software Ecosystem Evolution“, In: 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2015), ACM, Hildesheim, Germany, 2015.


Tool prototype showing KePlast feature models Multi-purpose, multi-level feature modeling of large-scale industrial software systems. Feature models are frequently used to capture the knowledge about configurable software systems and product lines. However, feature modeling of large-scale systems is challenging as models are needed for diverse purposes. For instance, feature models can be used to reflect the perspectives of product management, technical solution architecture, or product configuration. Furthermore, models are required at different levels of granularity. Although numerous approaches and tools are available, it remains hard to define the purpose, scope, and granularity of feature models. We report results and experiences of an exploratory case study on developing feature models for two large-scale industrial automation software systems and we present results on the characteristics and modularity of the feature models, including metrics about model dependencies. Based on the findings from the study, we developed FORCE, a modeling language, and tool environment that extends an existing feature modeling approach to support models for different purposes and at multiple levels, including mappings to the code base. We demonstrate the expressiveness and extensibility of our approach by applying it to the well-known Pick and Place Unit example and an injection molding subsystem of an industrial product line. We further show how our approach supports consistency between different feature models. Our results and experiences show that considering the purpose and level of features is useful for modeling large-scale systems and that modeling dependencies between feature models is essential for developing a system-wide perspective.

Lettner, Daniela; Eder, Klaus; Grünbacher, Paul; Prähofer, Herbert, “Feature Modeling of Two Large-scale Industrial Software Systems: Experiences and Lessons Learned“, In: Proceedings ACM/IEEE 18th Int’l Conference on Model Driven Engineering Languages and Systems, Ottawa, Canada, 2015.

Rabiser, Daniela; Prähofer, Herbert; Grünbacher, Paul; Petruzelka, Michael; Eder, Klaus; Angerer, Florian; Kromoser, Mario; Grimmer, Andreas, “Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems“, In: Software and Systems Modeling, 2016.


Tool architecture comprising enhanced feature models, feature-to-code mappings, and consistency checking between co-evolving prototypes and clones. A Prototype-based Approach for Managing Clones in Clone-and-Own Product Lines. Feature models are commonly used in industrial contexts to guide and automate the derivation of product variants. However, in real-world product lines the derivation process goes beyond selecting and composing product features. Specifically, developers often perform clone-and-own reuse, i.e., they copy, modify, and extend existing code to provide the functionality required by customers. Clones are created at different levels of granularity, ranging from individual features to entire systems. Refactoring and reverse engineering approaches have been proposed for dealing with cloned product variants. However, managing clones has not been addressed in the context of feature models. For instance, if clones are created to address customer requirements in specific product variants, the connection to the original feature models is frequently lost. We thus present a modeling approach based on prototypes, i.e., prefabricated objects from which clones are created. Our approach allows to manage prototypes and their clones at the levels of products, components, and features. We use compliance levels to define the required level of consistency between prototypes and clones. We further adapt an existing consistency checking framework for detecting inconsistent clones when the product line evolves. Our approach uses feature-to-code mappings to determine the impact of changes on code elements.

Rabiser, Daniela; Grünbacher, Paul; Prähofer, Herbert; Angerer, Florian, “ A Prototype-based Approach for Managing Clones in Clone-and-Own Product Lines“, In: Proceedings 20th Int’l Software Product Line Conference (SPLC 2016), Beijing, China, pp. 35-44, 2016.


Configuration-aware static program analysis of SECOs. In larger development and research effort we are working towards a configuration-aware static program analysis (CAPA) framework which forms a basis for supporting various development and evolution tasks in SECOs (e.g., diffing and merging, change impact analysis, or model-to-code consistency). In distinction to existing program analysis methods our analysis method considers code variability in SECOs. In a first work, we used the CAPA framework for determining code which is active or inactive in a concrete system configuration. We have been developing a tool that automatically identifies the relevant code for a concrete product variant and marks all code parts as inactive that cannot be executed in the current product configuration.

Angerer, Florian; Prähofer, Herbert; Lettner, Daniela; Grimmer, Andreas; Grünbacher, Paul, “Identifying Inactive Code in Product Lines with Configuration-Aware System Dependence Graphs“, In: Proceedings 18th Int’l Software Product Line Conference (SPLC 2014), Florence, Italy, 2014.


Recovering Feature-to-Code Mappings. Software engineering methods for analyzing and managing variable software systems rely on accurate feature-to-code mappings to relate high-level variability abstractions, such as features or decisions, to locations in the code where variability occurs. Due to the continuous and long-term evolution of many systems such mappings need to be extracted and updated automatically. However, current approaches have limitations regarding the analysis of highly-configurable systems that rely on different variability mechanisms. In this joint work with the ISSE institute we develop an approach exploiting the synergies between static program analysis and diffing techniques to reveal feature-to-code mappings for highly-configurable systems.

Linsbauer, Lukas; Angerer, Florian; Grünbacher, Paul; Lettner, Daniela; Prähofer, Herbert; Lopez-Herrejon, Roberto; Egyed, Alexander, “Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems“, In: Proceedings of the 30th Int’l Conference on Software Maintenance and Evolution, 2014.


Configuration-Aware Change Impact Analysis. Change impact analysis (CIA) is an important technique in software maintenance as it allows identification of the potential consequences of a change, or the estimation of what needs to be modified to accomplish a change. This work shows how to improve support for CIA in variable software systems and product lines. In distinction to conventional CIA approaches, the inter-procedural and configuration-aware CIA approach allows considering configuration of systems and in this way improve analysis precision. The benefits of the approach are demonstrated by two use cases: (i) in developing a product line, software engineers are supported by automatically determining the set of possibly impacted products when changing source code of a product family; (ii) in application development, software engineers are supported as they need not consider the whole product line when making changes and extension for a specific product.

Angerer, Florian; Grimmer, Andreas; Prähofer, Herbert; Grünbacher, Paul, “Configuration-Aware Change Impact Analysis, In: Proceedings of the 30th IEEE/ACM Int’l Conference on Automated Software Engineering (ASE 2015), Lincoln, Nebraska (USA).


approachModular Change Impact Analysis for Configurable Software. Slicing-based change impact analysis is an important and established technique to assess the effects of modifications to source code. Program slicing is usually done by performing a graph reachability analysis on a system dependence graph representing the control and data flow dependencies between statements. However, analyzing large-scale software systems can lead to scalability issues, resulting in huge dependence graphs and long analysis times. This work exploits the modularity of large-scale systems to first perform program analysis for individual modules, and later compose the pre-computed analysis results. This is particularly useful in the context of product lines, when product variants are derived by composing modules depending on specific customer requirements. However, analyzing configurable software partitioning a system dependence graph is not straightforward, as it carries presence conditions representing variability. Our approach thus uses placeholders that are resolved when composing the pre-computed SDG modules during configuration-aware program analysis.

Angerer, Florian; Prähofer, Herbert; Grünbacher, Paul, “Modular Change Impact Analysis for Configurable Software”, In: Proceedings of the 32nd IEEE Int’l Conference on Software Maintenance and Evolution (ICSME 2016), Raleigh, North Carolina (USA).


Team


Current Team Members

Peter Peter Feichtinger Student Researcher {This email is obscured. Your must have javascript enabled to see it}
Michael Michael Hansal Student Researcher {This email is obscured. Your must have javascript enabled to see it}
Daniel Daniel Hinterreiter Student Researcher {This email is obscured. Your must have javascript enabled to see it}
Lukas Lukas Linsbauer Post-Doc {This email is obscured. Your must have javascript enabled to see it}
Herbert Herbert Prähofer Senior Research Associate {This email is obscured. Your must have javascript enabled to see it}
Paul Paul Grünbacher Head of Laboratory {This email is obscured. Your must have javascript enabled to see it}