%0 Conference Proceedings
%T Delta Modeling and Model Checking of Product Families
%+ School of Electrical Engineering and Computer Science [Tehran] (ECE)
%+ Institute for Theoritical Physics and Mathematics (IPM)
%A Sabouri, Hamideh
%A Khosravi, Ramtin
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 5th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Farhad Arbab
%Y Marjan Sirjani
%I Springer Berlin Heidelberg
%3 Fundamentals of Software Engineering
%V LNCS-8161
%P 51-65
%8 2013-04-24
%D 2013
%R 10.1007/978-3-642-40213-5_4
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01514656/document
%2 https://inria.hal.science/hal-01514656/file/978-3-642-40213-5_4_Chapter.pdf
%L hal-01514656
%U https://inria.hal.science/hal-01514656
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-8161