Abstract
Product line models are used to drive the generation of requirements for single systems in the product line. They are difficult to validate because they are large and complex. By modelling variability and dependency between requirements using propositional connectives, a logical expression can be developed for the model. Validation of the selection of requirements from the model can be achieved by satisfying the logical expression. This approach can be used to validate the model as a whole. A detailed worked example is presented, and the computational aspects of the approach are discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cohen, S., Hess, J., Kang, K., Novak, W., and Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study, Special Report CMU/SEI-90-TR-21, Carnegie Mellon University (1990).
Jacobson, I., Griss, M., and Jonsson, P.: Software Reuse: Architecture, Process and Organization for Business Success, Addison-Wesley, ISBN 0-201-92476-5 (1997).
Organization Domain Modeling (ODM) Guidebook Version 2.0, STARS-VC-A025/001/00, June 14 (1996), Electronic Systems Center, Air Force Systems Command, USAF, MA 01731-2816.
Bayer, J., Gacek, C., Muthig, D., Widen T., PuLSE-I: Deriving Instances From A Product Line Infrastructure, 7th IEEE International Conference on Engineering Conference on Computer-Based Systems, 3–7 April 2000, Edinburgh, ISBN 0-7695-0604-6.
Griss, M., Favaro, J., and d’Alessandro, M.: Integrating Feature Modelling with the RSEB, in Proc. of the IEEE Int’l Conf. on Software Reuse (ICSR5), Vancouver, June (1998) 76–85.
Coplien, J., Hoffman, D., and Weiss, D.: Commonality and Variability in Software Engineering, IEEE Software, 15, 6, November/December (1998) 37–45.
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 (ICSE99), May (1999) 453–462.
Mannion, M., Lewis, O., Kaindl, H., Montroni, G., Wheadon, J., Representing Requirements of Generic Software in an Application Family Model, Lecture Notes in Computer Science (LNCS) 1844), Software Reuse: Advances in Software Reusability, ed W Frakes, 6th Int’l Conference, ICSR-6, Vienna, Austria, 27–29 June 2000, ISSN 0302-9743, 153–169.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mannion, M. (2002). Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (eds) Software Product Lines. SPLC 2002. Lecture Notes in Computer Science, vol 2379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45652-X_11
Download citation
DOI: https://doi.org/10.1007/3-540-45652-X_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43985-1
Online ISBN: 978-3-540-45652-0
eBook Packages: Springer Book Archive