Delta Modeling and Model Checking of Product Families - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2013

Delta Modeling and Model Checking of Product Families


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.
Fichier principal
Vignette du fichier
978-3-642-40213-5_4_Chapter.pdf (322.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01514656 , version 1 (26-04-2017)





Hamideh Sabouri, Ramtin Khosravi. Delta Modeling and Model Checking of Product Families. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩. ⟨hal-01514656⟩
37 View
60 Download



Gmail Facebook X LinkedIn More