Software is increasingly individualized to the needs of customers and may have to be adapted to changing contexts and environments after deployment. Therefore, individualized software adaptations may have to be performed. As a large number of variants for affected systems and domains may exist, the creation and deployment of the individualized software should be performed automatically based on the software’s configuration and context. In this paper, we present a toolchain to develop and deploy individualized software adaptations based on Software Product Line (SPL) engineering. In particular, we contribute a description and technical realization of a toolchain ranging from variability modeling over variability realization to variant derivation for the automated deployment of individualized software adaptations. To capture the variability within realization artifacts, we employ delta modeling, a transformational SPL implementation approach. As we aim to fulfill requirements of industrial practice, we employ model-driven engineering using statecharts as realization artifacts. Particular statechart variants are further processed by generating C/C++ code, linking to external code artifacts, compiling and deploying to the target device. To allow for flexible and parallel execution the toolchain is provided within a cloud environment. This way, required variants can automatically be created and deployed to target devices. We show the feasibility of our toolchain by developing the industry-related case of emergency response systems.
Titolo: | A toolchain for delta-oriented modeling of software product lines | |
Autori Riconosciuti: | ||
Autori: | Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven | |
Data di pubblicazione: | 2016 | |
Abstract: | Software is increasingly individualized to the needs of customers and may have to be adapted to changing contexts and environments after deployment. Therefore, individualized software adaptations may have to be performed. As a large number of variants for affected systems and domains may exist, the creation and deployment of the individualized software should be performed automatically based on the software’s configuration and context. In this paper, we present a toolchain to develop and deploy individualized software adaptations based on Software Product Line (SPL) engineering. In particular, we contribute a description and technical realization of a toolchain ranging from variability modeling over variability realization to variant derivation for the automated deployment of individualized software adaptations. To capture the variability within realization artifacts, we employ delta modeling, a transformational SPL implementation approach. As we aim to fulfill requirements of industrial practice, we employ model-driven engineering using statecharts as realization artifacts. Particular statechart variants are further processed by generating C/C++ code, linking to external code artifacts, compiling and deploying to the target device. To allow for flexible and parallel execution the toolchain is provided within a cloud environment. This way, required variants can automatically be created and deployed to target devices. We show the feasibility of our toolchain by developing the industry-related case of emergency response systems. | |
Editore: | Springer International Publishing | |
Titolo del libro: | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | |
Volume: | 9953 | |
Pagina iniziale: | 497 | |
Pagina finale: | 511 | |
Nome del convegno: | 7th International Symposium, ISoLA 2016 | |
Luogo del convegno: | Corfu, Greece | |
Anno del convegno: | October 10-14, 2016 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-47169-3_40 | |
ISBN: | 9783319471686 9783319471686 | |
URL: | http://link.springer.com/chapter/10.1007/978-3-319-47169-3_40 | |
Parole Chiave: | Delta modelling; Model-driven engineering; Software product lines; Statecharts; Theoretical Computer Science; Computer Science (all) | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
ISoLA-2016_Chesta-et-al.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
ISoLA-2016_Chesta-et-al-OPEN.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |