Model-Driven and Software Product Line Engineering

Hugo Arboleda is Associate Professor at ICESI University in Cali, Colombia. He leads a research team and is the author of several papers concerning software product lines and model-driven engineering. He is currently director of a Masters in informatics and telecommunications management. He has published papers with SPLC, CLEI, ISEC, BENEVOL, among others. In 2012 he was a member of the scientific committee for the 16th International Software Product Line Conference (SPLC). He has been a member of the program committees of FMESPLE and is an IT consultant for several Colombian companies.Jean-Claude Royer is currently Professor at Ecole des Mines de Nantes in France and a member of the Mines de Nantes-INRIA ASCOLA team. He has published papers with OOPLSA, FASE, AMAST, JMLC, TOOLSEE, JUCS, APSEC, Informatica, JOOP, FM, ISEC, DOA, SPLC, FACS, amongst others. He was the leader of the traceability work-package in the AMPLE project (http://www.ampleproject.net/) from October 2006 to September 2009.

• Chapter 1 Introduction 11.1 Software product line engineering 21.2 Model-driven engineering 31.3 Merging model-driven and software product line engineering 51.4 The FieSta framework 81.5 Book structure 11Chapter 2 Software Product Line Engineering Basics 172.1 Introduction to product line engineering 172.2 Brief history 212.3 Application example: Smart-Home systems 242.3.1 Smart-Home system’s domain 242.3.2 Requirements of the application example 262.4 Software product line engineering 302.5 Domain engineering 342.5.1 Component-based software engineering 362.6 Variability management 372.6.1 Feature modeling 402.7 Application engineering 432.7.1 Product configuration 442.7.2 Product derivation 462.8 Benefits and drawbacks 482.9 Issues in product line 492.9.1 Variability management 502.9.2 Product derivation 502.9.3 Testing 512.9.4 Traceability 522.9.5 Product line evolution 532.9.6 Tool support 552.10 Summary 56Chapter 3 Model-Driven Engineering 593.1 Introduction 593.2 Models and metamodels 603.2.1 The 4-level metamodeling framework 653.2.2 The nature of models 673.3 UML class diagrams and OCL 683.4 Model transformations 743.4.1 Scheduling of transformation rules 763.4.2 Model transformation patterns 783.4.3 Classification of model transformations 793.4.4 Vertical model transformations 803.4.5 Horizontal model transformations 813.4.6 Model composition or model weaving 813.5 Modeling framework 833.5.1 The eclipse modeling framework 833.5.2 The topcased toolkit 863.6 Model transformation languages 863.6.1 QVT 873.6.2 ATL 893.6.3 The openArchitectureWare framework 903.6.4 The Xtend language 923.7 Benefits and challenges for SPLE 963.8 Summary 98Chapter 4 Model-Driven and Software Product Line Engineering 1014.1 Introduction 1024.2 Problem space issues 1074.2.1 Separating points of views 1074.2.2 Capturing variability and configuring products 1084.2.3 Relating several points of view 1094.2.4 Configuring products in a multi-staged process 1104.3 Solution space issues 1114.4 Developing core assets 1124.4.1 Developing decision models and deriving products 1124.5 Variability expression and product configuration 1134.5.1 Metamodels 1144.5.2 Feature models 1204.6 Core asset development and product derivation 1264.6.1 Transformation rules in the Smart-Home systems SPL 1274.6.2 Creating and using decision models 1324.7 Summary 138Chapter 5 The FieSta Framework: Fine-Grained Derivation and Configuration 1395.1 Introduction 1395.1.1 Coarse-grained and fine-grained variations 1405.2 Binding models and constraint models 1425.2.1 Binding models 1425.2.2 Constraint models 1435.2.3 The cardinality property 1465.2.4 The structural dependency property 1475.2.5 The constraint metamodel and the binding metamodel 1485.2.6 Validating binding models against constraint models 1505.3.Deriving products based on constraint models and binding models 1525.3.1 The extended decision metamodel 1555.3.2 Creating executable model transformation workflows from decision models and constraint models 1565.4 Identified limitations 1575.4.1 Features combinatorial 1575.4.2 Features interaction 1585.4.3 Bindings interaction 1595.5 Summary 160Chapter 6 Tools Support 1616.1 Introduction 1616.2 The FieSta process 1626.3 The SPL of Smart-Home systems 1636.4 Variability expression and product configuration 1706.4.1 MD-SPL project creation 1706.4.2 Metamodels and feature models creation 1706.4.3 Constraint models creation 1736.4.4 Domain models and binding models creation 1786.5 Completing and running the product derivation 1846.5.1 Transformation rules creation 1846.5.2 Decision models creation 1866.5.3 Generation and execution of model transformation workflows 1886.6 Summary 190Chapter 7 A Second Comprehensive Application Example 1917.1 Domain of the collection manager system 1917.2 Requirements of the application example 1927.2.1 Kernel commonalities 1937.2.2 GUI commonalities 1937.2.3 Kernel and GUI variability 1937.3 The overall process 1967.3.1 Domain engineering 1967.3.2 Application engineering 1977.4 Variability expression and product configuration 1987.4.1 Metamodels 1987.4.2 The feature model 2027.4.3 The constraint model 2047.4.4 Binding models 2057.5 Core assets development and product derivation 2077.5.1 Rule transformations in the SPL of the collection manager systems 2077.5.2 Decision models 2097.6 Summary 211Chapter 8 Further Reading 2138.1 Northop and Clements’ book 2138.2 Pohl, Böckle and Van der Linden’s book 2148.3 Gomaa’s book 2148.4 Van der Linden, Schmid, and Rommes’ book 2158.5 Stahl, Voelter, and Czarnecki book 2168.6 AMPLE book 2168.7 Feature modeling notations 2188.8 Decision models 2188.9 Model-driven software product lines 2208.9.1 The Czarnecki and Antkiewicz’s approach 2228.9.2 The Wagelaar’s approach 2248.9.3 Loughran et al.’s approach 2298.9.4 Voelter and Groher’s approach 2328.9.5 Comparison table 2358.10 Dynamic variability 2368.11 Domain specific languages 2388.12 Additional references 2408.13 Summary 242Chapter 9 Conclusion 2439.1 Book summary 2449.2 MD-SPL engineering 2479.2.1 Metamodeling and feature modeling 2489.2.2 Multi-staged configuration of products 2499.2.3 Coarse and fine-grained variations and configurations 2499.2.4 Core assets development and decision models 2509.2.5 Product derivation 2519.2.6 Comparison table 2519.2.7 Perspectives 253Bibliography 257Index 271