Abstract
Product line models of requirements can be used to drive the selection of requirements of new systems in the product line. Validating any selected single system is difficult because product line models are large and complex. However by modelling variability and dependency between requirements using propositional connectives a logical expression can be developed for the model and then selection validation can be achieved by satisfying the logical expression. This approach can be used to validate the model as a whole. A case study with nearly 800 requirements is presented and the computational aspects of the approach are discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Clements, P., Northrop, L.: Software Product Line: Practices and Patterns. Addison-Wesley, Reading (2002)
Cohen, S., Hess, J., Kang, K., Novak, W., Peterson, A.: Requirement-Oriented Domain Analysis (FODA) Feasibility Study, Special Report CMU/SEI-90-TR-21, Carnegie Mellon University (1990)
Jacobson, I., Griss, M., Jonsson, P.: Software Reuse: Architecture, Process and Organisation for Business Success. Addison-Wesley, Reading (1997) ISBN 0-201-92476-5
Organisation Domain Modelling (ODM) Guidebook Version 2.0, STARS-VCA025/ 001/00, June 14, Electronic Systems Center, Air Force Systems Command, USAF, MA 01731-2816 (1996)
Bayer, J., Gacek, C., Muthig, D., Widen, T.: PuLSE-I: Deriving Instances From A Product Line Infrastructure. In: 7th IEEE International Conference on Engineering Conference on Computer- Based Systems, Edinburgh, April 3-7 (2000) ISBN 0-7695-0604-6
Kang, K.: Feature Oriented Reuse Method. IEEE Software (July-August 2002)
Mannion, M., Keepence, B., Kaindl, H., Wheadon, J.: Reusing Single System Requirements From Application Family Requirements. In: Proc. of the 21st IEEE International Conference on Software Engineering (ICSE 1999), May 1999, pp. 453–462 (1999)
Mannion, M., Lewis, O., Kaindl, H., Montroni, G., Wheadon, J.: Representing Requirements of Generic Software in an Application Family Model. In: Frakes, W.B. (ed.) ICSR 2000. LNCS, vol. 1844, pp. 153–169. Springer, Heidelberg (2000) ISSN 0302-9743
Mannion, M.: Product Line Model Validation. In: Proceedings of 3nd Software Product Line Conference, San Diego (August 2002)
SCOS-2000 Commanding Software Requirements Document, S2K-MCS-SRD-0002-TOSGCI, Issue 2.0, May 21 (1999)
Savolainen, J., Vehkomäki, T., Mannion, M.: An Integrated Model for Requirements Structuring and Architecture Design. In: 7th Australian Workshop on Requirements Engineering, December 2-3, Deakin University, Melbourne (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mannion, M., Camara, J. (2004). Theorem Proving for Product Line Model Verification. In: van der Linden, F.J. (eds) Software Product-Family Engineering. PFE 2003. Lecture Notes in Computer Science, vol 3014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24667-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24667-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21941-5
Online ISBN: 978-3-540-24667-1
eBook Packages: Springer Book Archive