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

Conférence Internationale avec comité de lecture : ECBS'09, 16th Annual IEEE Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA, January 2009, pp.138-146, Series IEEE,

Auteurs: N. Aoumeur , K. Barkaoui , G. Saake

motcle:

Résumé: 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.

Keywords: software product lines, feature modelling and evolution, component-based Petri nets, rewriting logic and MAUDE.

For further information, please visit this web site.

BibTeX

@inproceedings {
	ABSd09,
	title	=	"{Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications}",
	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
	booktitle	=	"{ECBS'09, 16th Annual IEEE Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA}",
	year	=	2009,
	month	=	"January",
	series	=	"IEEE",
	pages	=	"138-146",
}