Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

Abstract

With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability are the driving forces. We contribute to these two challenging problems when distribution and correctness are at stake. First, we soundly specify and validate any feature-oriented requirements using a component-based Petri nets framework referred to as co-nets. For rapid-prototyping, we semantically interpret in true-concurrent rewriting logic. For consistently composing features, a flexible feature-algebra is proposed. Finally, for runtime adaptability and integration of features, we leverage co-nets with an explicit aspectual-level, where features can be dynamically (un)woven on running components. The approach is thoroughly explained using a feature-intensive multi-lift system.
Fichier principal
Vignette du fichier
Validating_and_Dynamically_Adapting_and_Composing_.pdf (170.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01125685 , version 1 (08-10-2020)

Identifiers

Cite

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS'09. 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009, San Francisco, United States. pp.138-146, ⟨10.1109/ECBS.2009.48⟩. ⟨hal-01125685⟩

Collections

CNAM CEDRIC-CNAM
21 View
52 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More