Automated verification of feature model configuration processes based on workflow Petri nets
Rattachement africain : de. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Modern software systems are highly configurable in order to satisfy diverse customer requirements and application contexts. Feature models provide a well-established formalism for tailoring configuration spaces of applications. Thereupon, multi-view staged configuration approaches modularize feature models for separation of concerns and apply workflow modeling for scheduling configuration decisions. However, the complex, often oblivious and even cyclic logical dependencies among configuration decisions obstruct compositional semantics of feature model views thus spoiling intuitive modeling and rigorous analysis of staged configuration processes. In this paper, we apply workflow Petri nets (WPNs) as a formal operational model for staged configuration that makes explicit causal dependencies among feature selections. For the internal separation into composable configuration stages we further adopt the principles of open workflow nets. It is shown that the soundness notion of WPNs naturally coincides with fundamental correctness and liveness properties to be verified for staged configuration processes. We present a prototype implementation for an automated computation of staged configuration processes and provide experimental results concerning scalability properties.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Automated verification of feature model configuration processes based on workflow Petri nets
- Date Crossref
- 15/09/2014
- Éditeur
- ACM
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Technische Universität Braunschweig pays non établi dans la noticeUniversité ou école supérieure
-
Technische Universität Darmstadt pays non établi dans la noticeUniversité ou école supérieure
-
Technische Universität Dresden pays non établi dans la noticeUniversité ou école supérieure
-
Institute for Programming and Reactive Systems pays non établi dans la noticeStructure de recherche
-
Real-Time Systems Lab pays non établi dans la noticeStructure de recherche
-
Institute for Software- and Multimedia-Technology pays non établi dans la noticeStructure de recherche
-
Institute for Software Engineering and Automative Informatics pays non établi dans la noticeStructure de recherche
Technische Universität Braunschweig, Technische Universität Darmstadt et Technische Universität Dresden, avec 4 autres affiliations.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.