Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
``Production Cell'': A Comparative Study in Formal Specification and Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Towards Consistent Specifications of Product Families
FM '08 Proceedings of the 15th international symposium on Formal Methods
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
On Computing Backbones of Propositional Theories
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Detecting Dependences and Interactions in Feature-Oriented Design
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Supporting consistency checking between features and software product line use scenarios
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Detection of feature interactions using feature-aware verification
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Efficient consistency checking of scenario-based product-line specifications
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
A feature-oriented requirements modelling language
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
A survey of variability modeling in industrial practice
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Model-based verification of quantitative non-functional properties for software product lines
Information and Software Technology
Hi-index | 0.00 |
Many software-intensive systems consist of components that interact to fulfill complex functionality. Moreover, often many variants of such systems have to be designed at once. This adds complexity to the design task. Recently, we proposed a scenario-based approach to design product lines, which combines feature diagrams and Modal Sequence Diagrams. We proposed a consistency-checking technique based on a dedicated product line model checker. One limitation of this technique is that it is incomplete, i.e., it may fail to show the consistency of some consistent specifications. In this paper we propose a new game-based approach that overcomes this incompleteness and, in addition, automatically synthesizes controllers for the consistent product specifications. We exploit the fact that many variants are similar and efficiently synthesize product controllers incrementally. We provide a prototype tool and evaluate the efficiency of the approach.