This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 20th IEEE International Requirements Engineering Conference (RE)
Efficient consistency checking of scenario-based product-line specifications
Chicago, IL, USA USA
September 24-September 28
ISBN: 978-1-4673-2783-1
Joel Greenyer, Dependable Evolvable Pervasive Software Engineering, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Amir Molzam Sharifloo, Dependable Evolvable Pervasive Software Engineering, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Maxime Cordy, PReCISE Research Center, Faculty of Computer Science, University of Namur, Belgium
Patrick Heymans, PReCISE Research Center, Faculty of Computer Science, University of Namur, Belgium
Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification.
Index Terms:
consistency,scenario-based specification,product lines,feature compositions
Citation:
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans, "Efficient consistency checking of scenario-based product-line specifications," re, pp.161-170, 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Usage of this product signifies your acceptance of the Terms of Use.