Efficient consistency checking of scenario-based product-line specifications

2012 20th IEEE International Requirements Engineering Conference, RE 2012 - Proceedings

Volumn , Issue , 2012, Pages 161-170

  Greenyer, Joel ^a   Sharifloo, Amir Molzam ^a   Cordy, Maxime ^b   Heymans, Patrick ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

consistency; feature compositions; product lines; scenario based specification

Indexed keywords

COMPLEX INTERACTION; COMPONENT INTERACTION; CONSISTENCY; CONSISTENCY CHECKING; MULTIPLE COMPONENTS; PRODUCT-LINES; SCENARIO-BASED SPECIFICATIONS; SEQUENCE DIAGRAMS; SINGLE PRODUCT; TECHNICAL SYSTEMS;

MODEL CHECKING; REQUIREMENTS ENGINEERING;

SPECIFICATIONS;

EID: 84870715793     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2012.6345800     Document Type: Conference Paper

References (28)

1. K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
2. K. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, "Feature-oriented domain analysis (FODA) feasibility study, " Software Engineering Institute, Carnegie Mellon University, Tech. Rep., 1990.
3. P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux, "Feature diagrams: A survey and a formal semantics, " in Requirements Engineering, 14th Int. Conf., sept. 2006, pp. 139-148.
4. W. Damm and D. Harel, "LSCs: Breathing life into message sequence charts, " in Formal Methods in System Design, vol. 19. Kluwer Academic Publishers, 2001, pp. 45-80.
5. D. Harel and S. Maoz, "Assert and negate revisited: Modal semantics for UML sequence diagrams, " Software and Systems Modeling (SoSyM), vol. 7, no. 2, pp. 237-252, May 2008.
6. D. Harel, H. Kugler, and A. Pnueli, "Synthesis revisited: Generating statechart models from scenario-based requirements, " in Formal Methods in Software and Systems Modeling, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, Eds., vol. 3393. Springer, 2005, pp. 309-324.
7. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin, "Model checking lots of systems: efficient verification of temporal properties in software product lines, " in Proc. 32nd Int. Conf. on Software Engineering (ICSE'10), ser. ICSE'10. ACM, 2010, pp. 335-344.
8. A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay, "Symbolic model checking of software product lines, " in Proc. 33rd Int. Conf. on Software Engineering (ICSE'11). ACM, 2011, pp. 321-330.
9. D. Harel and R. Marelly, "Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach, " Software and System Modeling (SoSyM), vol. 2, p. 2003, 2002.
10. S. Maoz and D. Harel, "From multi-modal scenarios to code: Compiling lscs into aspectj, " in Proc. Int. Symp. on Foundations of Software Engineering (FSE'05), 2006, pp. 219-230.
11. M. Cordy, A. Classen, G. Perrouin, P. Heymans, P.-Y. Schobbens, and A. Legay, "Simulation relation for software product lines, " in Proc. 34th Int. Conf. on Software Engineering (ICSE'12) (to appear). IEEE, 2012.
12. "UML 2. 4. 1 Superstructure Specification, " August 2011, OMG document formal/2011-08-06.
13. D. Harel, H. Kugler, R. Marelly, and A. Pnueli, "Smart playout of behavioral requirements, " in Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design, ser. FMCAD '02. London, UK: Springer, 2002, pp. 378-398.
14. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching-time temporal logic, " in Logic of Programs, ser. LNCS, vol. 131. Springer, 1981, pp. 52-71.
15. Y. Bontemps and P. Heymans, "From live sequence charts to state machines and back: A guided tour, " Transactions on Software Engineering, vol. 31, no. 12, pp. 999-1014, 2005.
16. J. Greenyer, "Scenario-based design of mechatronic systems, " Ph. D. dissertation, University of Paderborn, Oct. 2011.
17. T. Possomps, C. Dony, M. Huchard, and C. Tibermacine, "Design of a UML profile for feature diagrams and its tooling implementation, " in Proc. 23th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'11). Knowledge Systems Institute Graduate School, July 2011, pp. 693-698.
18. J. Whittle and J. Schumann, "Generating statechart designs from scenarios, " in Proc. 22nd Int. Conf. on Software Engineering (ICSE'00), 2000, pp. 314-323.
19. D. Harel and H. Kugler, "Synthesizing state-based object systems from LSC specifications, " in Foundations of Computer Science, vol. 13:1, 2002, pp. 5-51.
20. C. Damas, B. Lambeau, and A. van Lamsweerde, "Scenarios, goals, and state machines: a win-win partnership for model synthesis, " in Proc 14th Int. Symp. on Foundations of software engineering, ser. SIGSOFT '06/FSE-14. New York, NY, USA: ACM, 2006, pp. 197-207.
21. T. Ziadi, L. Hlout, and J.-M. Jzquel, "Behaviors generation from product lines requirements, " in Proc. UML2004 workshop on Software Architecture Description, Sep. 2004.
22. C. Ghezzi and A. Sharifloo, "Verifying non-functional properties of software product lines: Towards an efficient approach using parametric model checking, " in Proc. 15th Int. Software Product Line Conference (SPLC), August 2011, pp. 170-174.
23. P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa, "Model composition in product lines and feature interaction detection using critical pair analysis, " in Model Driven Engineering Languages and Systems, ser. LNCS, G. Engels, B. Opdyke, D. Schmidt, and F. Weil, Eds. Springer, 2007, vol. 4735, pp. 151-165.
24. M. Vierhauser, P. Grünbacher, A. Egyed, R. Rabiser, and W. Heider, "Flexible and scalable consistency checking on product line variability models, " in Proc. Int. Conf. on Automated Software Engineering (ASE'10). ACM, pp. 63-72.
25. M. Alférez, R. E. Lopez-Herrejon, A. Moreira, V. Amaral, and A. Egyed, "Supporting consistency checking between features and software product line use scenarios, " in Proc. 12th Int. Conf. on Top productivity through software reuse, ser. ICSR'11. Berlin, Heidelberg: Springer, 2011, pp. 20-35.
26. A. Harhurin and J. Hartmann, "Towards consistent specifications of product families, " in Proc. 15th Int. Symp. on Formal Methods, ser. FM '08. Berlin, Heidelberg: Springer, 2008, pp. 390-405.
27. K. Lauenroth and K. Pohl, "Dynamic consistency checking of domain requirements in product line engineering, " in International Requirements Engineering, 2008. RE '08. 16th IEEE, sept. 2008, pp. 193-202.
28. J. Frieben and J. Greenyer, "Consistency checking scenariobased specifications of dynamic systems, " in Proc 4th Workshop on Behavioural Modelling-Foundations and Application (BM-FA 2012) (to appear). ACM, 2012.