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 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.