Design and validation of variability in product lines

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 25-30

  Asirelli, Patrizia ^a   Ter Beek, Maurice H ^a   Fantechi, Alessandro ^b   Gnesi, Stefania ^a   Mazzanti, Franco ^a  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

model checking; product lines; temporal logic; variability

Indexed keywords

MODEL BASED DEVELOPMENT; MODEL-CHECKING TECHNIQUES; PRODUCT LINES; SAFETY CRITICAL SYSTEMS; SOLUTION TECHNIQUES; VARIABILITY;

ACCIDENT PREVENTION; SOFTWARE ENGINEERING; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 79959260921     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985484.1985492     Document Type: Conference Paper

References (24)

1. A. Antonik, M. Huth, K.G. Larsen, U. Nyman, and A. Wa̧sowski. 20 Years of modal and mixed specifications. In The Concurrency Column, pages 94-129, number 95 of Bulletin of the European Association of Theoretical Computer Science. EATCS, June 2008.
2. P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi. Deontic logics for modeling behavioural variability. In D. Benavides, A. Metzger, and U. Eisenecker, editors, Proceedings 3rd International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), pages 71-76. ICB Research Report 29, Universität Duisburg-Essen, 2009.
3. P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi. A deontic logical framework for modelling product families. In D. Benavides, D. Batory, and P. Grünbacher, editors, Proceedings 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), pages 37-44. ICB Research Report 37, Universität Duisburg-Essen, 2010.
4. P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi. A logical framework to deal with variability. In D. Méry and S. Merz, editors, Proceedings 8th International Conference on Integrated Formal Methods (IFM'10), volume 6396 of Lecture Notes in Computer Science, pages 43-58. Springer, Berlin, 2010.
5. P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi. Formal description of variability in product families. Submitted, 2011.
6. M. Banci and A. Fantechi. Geographical versus functional modelling by statecharts of interlocking systems. In Proceedings 9th workshop on Formal Methods for Industrial Critical Systems (FMICS'04), volume 133 of Electronic Notes in Theoretical Computer Science, pages 3-19. Elsevier, Amsterdam, 2005.
7. D. Batory. Feature models, grammars and propositional formulas. In J.H. Obbink and K. Pohl, editors, Proceedings 9th International Conference on Software Product Lines (SPLC'05), volume 3714 of Lecture Notes in Computer Science, pages 7-20. Springer, Berlin, 2005.
8. C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, and D. Romano. A formal verification environment for railway signaling system design. In Selected Papers 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS'96), Formal Methods in System Design 12(2):139-161, 1998.
9. 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 Proceedings 32nd International Conference on Software Engineering (ICSE'10), pages 335-344. ACM, New York, 2010.
10. A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay. Symbolic model checking of software product lines. To appear in Proceedings 33rd International Conference on Software Engineering (ICSE'11). ACM, New York, 2011.
11. A. Fantechi and S. Gnesi. A behavioural model for product families. In Proceedings 6th joint meeting of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE'07), pages 521-524. ACM, New York, 2007.
12. A. Fantechi and S. Gnesi. Formal modelling for product families engineering. In Proceedings 12th International Software Product Lines Conference (SPLC'08), pages 193-202. IEEE Computer Society, Los Alamitos, 2008.
13. A. Fantechi, S. Gnesi, G. Lami, and E. Nesti. A methodology for the derivation and verification of use cases for product lines. In R.L. Nord, editor, Proceedings 3rd International Conference on Software Product Lines (SPLC'04), volume 3154 of Lecture Notes in Computer Science, pages 255-265. Springer, Berlin, 2004.
14. D. Fischbein, S. Uchitel, and V.A. Braberman. A foundation for behavioural conformance in software product line architectures. In R.M. Hierons and H. Muccini, editors, Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA'06), pages 39-48. ACM, New York, 2006.
15. R. Gheyi, T. Massoni, and P. Borba. A theory for feature models in Alloy. In Proceedings First Alloy Workshop, pages 71-80. ACM, New York, 2006.
16. P. Godefroid, M. Huth, and R. Jagadeesan. Abstraction-based model checking using modal transition systems. In K.G. Larsen and M. Nielsen, editors, Proceedings 11th International Conference on Concurrency Theory (CONCUR'01), volume 2154 of Lecture Notes in Computer Science, pages 426-440. Springer, Berlin, 2001.
17. A. Gruler, M. Leucker, and K.D. Scheidemann. Modelling and model checking software product lines. In G. Barthe and F.S. de Boer, editors, Proceedings 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08), volume 5051 of Lecture Notes in Computer Science, pages 113-131. Springer, Berlin, 2008.
18. A. Gruler, M. Leucker, and K.D. Scheidemann. Calculating and modelling common parts of software Product Lines. In Proceedings 12th International Software Product Lines Conference (SPLC'08), pages 203-212. IEEE Computer Society, Los Alamitos, 2008.
19. K.G. Larsen, U. Nyman, and A. W, asowski. Modal I/O automata for interface and product line Theories. In R. De Nicola, editors, Proceedings 16th European Symposium on Programming (ESOP'07), volume 4421 of Lecture Notes in Computer Science, pages 64-79. Springer, Berlin, 2007.
20. K. Lauenroth, K. Pohl, and S. Töhning. Model checking of domain artifacts in product line engineering. In Proceedings International Conference on Automated Software Engineering (ASE'09), pages 269-280. IEEE Computer Society, Los Alamitos, 2009.
21. M. Mannion and J. Camara. Theorem proving for product line model verification. In F. van der Linden, editor, Proceedings 5th International Workshop on Software Product Family Engineering (PFE'03), volume 3014 of Lecture Notes in Computer Science, pages 211-224. Springer, Berlin, 2004.
22. F. Mazzanti. FMC v5.0b. http://fmtlab.isti.cnr.it/fmc
23. R. Muschevici, D. Clarke, and J. Proenca. Feature Petri nets. In Proceedings International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10). Technical Report, University of Lancaster, 2010.
24. H. Schmidt and H. Fecher. Comparing disjunctive modal transition systems with an one-selecting variant. Journal of Logic and Algebraic Programming 77(1-2):20-39, 2008.