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.
https://hal.inria.fr/hal-01514656 Contributor : Hal IfipConnect in order to contact the contributor 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
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⟩