%0 Journal Article %1 Greenyer:2013:FMS:2737434.2737530 %A Greenyer, Joel %A Molzam Sharifloo, Amir %A Cordy, Maxime %A Heymans, Patrick %C Secaucus, NJ, USA %D 2013 %I Springer-Verlag New York, Inc. %J Requir. Eng. %K Scenario-based-Requirements %N 2 %P 175--198 %R 10.1007/s00766-013-0169-4 %T Features Meet Scenarios: Modeling and Consistency-checking Scenario-based Product Line Specifications %U http://dx.doi.org/10.1007/s00766-013-0169-4 %V 18 %X Many modern software-intensive systems consist of multiple components interacting together to deliver the intended functionality. Often, these systems come in many variants (products) and are managed together as a software product line. This variability is the source of additional complexity which can cause inconsistencies and offset the economies of scale promised by product line engineering. Engineers thus need intuitive, yet precise means for specifying requirements and require tools for automatically detecting inconsistencies within these requirements. In recent work, we proposed a technique for the scenario-based specification of interactions in product lines by a combination of Modal Sequence Diagrams and Feature Diagrams. Furthermore, we elaborated an efficient consistency-checking technique based on a dedicated model-checking approach especially tailored for product lines. In this paper, we report on further evaluations that underline significant performance benefits of our approach. We describe further optimizations and detail on how we encode the consistency-checking problem for a model-checker.

@article{Greenyer:2013:FMS:2737434.2737530, abstract = {Many modern software-intensive systems consist of multiple components interacting together to deliver the intended functionality. Often, these systems come in many variants (products) and are managed together as a software product line. This variability is the source of additional complexity which can cause inconsistencies and offset the economies of scale promised by product line engineering. Engineers thus need intuitive, yet precise means for specifying requirements and require tools for automatically detecting inconsistencies within these requirements. In recent work, we proposed a technique for the scenario-based specification of interactions in product lines by a combination of Modal Sequence Diagrams and Feature Diagrams. Furthermore, we elaborated an efficient consistency-checking technique based on a dedicated model-checking approach especially tailored for product lines. In this paper, we report on further evaluations that underline significant performance benefits of our approach. We describe further optimizations and detail on how we encode the consistency-checking problem for a model-checker.}, acmid = {2737530}, added-at = {2015-12-11T15:11:32.000+0100}, address = {Secaucus, NJ, USA}, author = {Greenyer, Joel and Molzam Sharifloo, Amir and Cordy, Maxime and Heymans, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2d64cd0ba724b9e1aac183a629f0a3193/mabed}, description = {Features meet scenarios}, doi = {10.1007/s00766-013-0169-4}, interhash = {aa01e25a388828cafe37b65d378df246}, intrahash = {d64cd0ba724b9e1aac183a629f0a3193}, issn = {0947-3602}, issue_date = {June 2013}, journal = {Requir. Eng.}, keywords = {Scenario-based-Requirements}, month = jun, number = 2, numpages = {24}, pages = {175--198}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2015-12-11T15:27:24.000+0100}, title = {Features Meet Scenarios: Modeling and Consistency-checking Scenario-based Product Line Specifications}, url = {http://dx.doi.org/10.1007/s00766-013-0169-4}, volume = 18, year = 2013 }