Sciweavers

Share
ECBS
2009
IEEE

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

9 years 3 months ago
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
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 componentbased 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 multilift system.
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where ECBS
Authors Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Comments (0)
books