Towards automated consistency checks of product line requirements specifications

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 373-376

  Lauenroth, Kim ^a   Pohl, Klaus ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

consistency; product line; requirements engineering

Indexed keywords

CONSISTENCY CHECKS; DOMAIN ENGINEERING; FALSE POSITIVE; FORMAL FRAMEWORK; PRODUCT LINE ENGINEERING; PRODUCT LINE REQUIREMENTS ENGINEERING; PRODUCT-LINES; REQUIREMENTS SPECIFICATIONS; SOFTWARE SYSTEMS; SYSTEM DEVELOPMENT; TECHNIQUES USED;

AUTOMATION; COMPUTER SOFTWARE; PRODUCTION ENGINEERING; REQUIREMENTS ENGINEERING;

SPECIFICATIONS;

EID: 58049180001     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321687     Document Type: Conference Paper

References (18)

1. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In Proceedings of SPLC 2005, 2005, pp. 7-20.
2. Batory, D.; Thaker, S.: Towards Safe Composition of Product-Lines. Dept. Computer Sciences, University of Texas, TR-06-33, 2006.
3. Bühne, S.; Halmans, G.; Lauenroth, K.; Pohl, K.: Scenario-based Application Requirements Engineering. In: Software Product Lines - Research Issues in Engineering and Management. Springer, Heidelberg, 2006, pp. 161-194.
4. Czarnecki, K.; Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Proceedings of Generative Programming and Component Engineering, LNCS 3676, 2005, pp. 422-437.
5. Czarnecki, K.; Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In Proceedings of the 5th intl. Conference on Generative Programming and Component Engineering, 2006, pp. 211-220.
6. Clements, P.; Northrop, L.: Software Product Lines - Practices and Patterns. Addison-Wesley, 2001.
7. Fantechi, A.; Gnesi, S.; Lami, G.; Nesti, E.: A Methodology for the Derivation and Verification of Use Cases for Product Lines. In Proceedings of SPLC 2004, 2004, pp. 255-265.
8. Faulk, S.R.: Product-line requirements specification: An approach and case study. In Proceedings of RE01, 2001.
9. Ghezzi, C.; Jazayeri, M.; Mandrioli, D.: Fundamentals of Software Engineering. Prentice Hall, 1991.
10. Heitmeyer, C.; Jeffords, R.; Labaw, B.: Automated consistency checking of requirements specifications. In: ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, 1996, pp. 231-261.
11. Hopcroft, J.; Ullman, J.: Introduction to Automata theory, Languages and Computation. Addison Wesley, MA, 1979.
12. Hunter, A.; Nuseibeh, B.: Managing inconsistent specifications: reasoning, analysis, and action. In: ACM TOSEM. Vol. 7, No. 4, pp. 335-367.
13. Huzar, Z. et al.: Consistency Problems in UML-Based Software Development. In: N. Jardim Nunes et al. (Eds.): UML 2004 Satellite Activities, LNCS 3297, 2005, pp. 1-12.
14. Metzger, A.; Heymans, P.; Pohl, K. Schobbens, P.: Disambiguating the Documentation of Variability in Software Product Lines. to be published in Proceedings of RE07, 2007
15. Padmanabhan, P.; Lutz, R. R.: Tool-Supported Verification of Product Line Requirements. In: Automated Software Engineering, Vol. 12, No. 4, 2005, pp. 447-465.
16. Pohl, K.; Böckle, G.; van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.
17. Savolainen, J.; Kuusela, J.: Consistency Management of Product Line Requirements. In Proceedings of RE01, 2001.
18. Zowghi, D.; Gervasi; V.: On the Interplay Between Consistency, Completeness, and Correctness in Requirements Evolutiation. In: Information and Software Technology, Vol. 46, No. 11, Elsevier, 2004, pp. 763-779.