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

Nasreddine Aoumeur (1) , Kamel Barkaoui (2) , Gunter Saake (1)

1 OVGU - Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
2 CEDRIC - Centre d'études et de recherche en informatique et communications

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.

Mots clés: Software product lines; Feature modelling and evolution; Component-based Petri nets; rewriting logic and MAUDE

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

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⟩