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

Conférence Internationale avec comité de lecture : ECBS'09, 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, California, USA, January 2009, pp.138-146,

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

motcle:

Résumé: With the pressing in-time-market towards customized services, software product lines (SPL) are increas- ingly 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 chal- lenging 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 com- posing features, a flexible feature-algebra is proposed. Finally, for runtime adaptability and integra- tion 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 {
	ABSg09,
	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 International Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, California, USA}",
	year	=	2009,
	month	=	"January",
	pages	=	"138-146",
}