Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01514656
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 26, 2017 - 3:21:55 PM
Last modification on : Monday, September 24, 2018 - 3:30:02 PM
Long-term archiving on: : Thursday, July 27, 2017 - 1:03:06 PM

File

978-3-642-40213-5_4_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

109

Files downloads

198