Delta Modeling and Model Checking of Product Families

Abstract : Software product line engineering focuses on proactive reuse to reduce the cost of developing families of related systems. A recently proposed method to develop software product lines is delta modeling where a set of deltas specify modifications that should be applied to a core product to achieve other products. The main advantage of this technique is its modularity and flexibility. In this paper, we propose an approach to model check delta-oriented product lines. To this end, we transform a delta model to a corresponding annotated model where an application condition is associated to each statement. An application condition specifies the set of products that a statement is included in them. We present the semantics of the resulting model in form of a featured transition system where each transition is annotated with an application condition. Featured transition systems are supported by a variability-aware model checking technique that can be used to verify the annotated model.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.51-65, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_4〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514656
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:21:55
Dernière modification le : mercredi 26 avril 2017 - 15:26:39
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 13:03:06

Fichier

978-3-642-40213-5_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Hamideh Sabouri, Ramtin Khosravi. Delta Modeling and Model Checking of Product Families. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.51-65, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_4〉. 〈hal-01514656〉

Partager

Métriques

Consultations de la notice

35

Téléchargements de fichiers

16