Skip to main content
Springer Nature Link
Log in

Tool-Supported Verification of Product Line Requirements

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no automated way to verify the completeness and consistency of the new product’s requirements in terms of the product line. In this paper we address the issue of requirements verification for product lines. We have implemented our approach in a requirements engineering tool called DECIMAL (DECIsion Modeling AppLication). DECIMAL is a requirements verification tool with a rich graphical user interface that automatically checks for completeness and consistency between a new product and the product line to which it belongs. The verification uses an SQL database server as the underlying analysis engine. The paper describes the tool and evaluates it in two applications: a virtual-reality, positional device-driver product line and the feature-interaction resolution problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Ardis, M., Daley, N., Hoffman, D., Siy, H., and Weiss, D. 2000. Software product lines: A case study. Software Practice and Experience, 825–847.

  • Ascension Technology Corporation. http://www.ascension-tech.com/

  • Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D. Paech, B., Wust, J., and Zettel, J. 2002. Component-Based Product Line Engineering with UML. London: Addison-Wesley.

    Google Scholar 

  • Bass, L., Clements, P., Donohoe, P., McGregor, J., and Northrop, L. 1999. 4th Product Line Practice Workshop Report, CMU/SEI-2000-TR-002, Software Engineering Institute, CMU.

  • Bierbaum, A. 2000. VR Juggler: A virtual platform for virtual reality application development. MS Thesis, Iowa State University, Ames, IA.

  • Clements, P. and Northrop, L. 2002. Software Product Lines.Boston: Addison-Wesley.

    Google Scholar 

  • Doerr, J. 2002. Requirements engineering for product lines: Guidelines for inspecting domain model relationships. Diploma thesis, University of Kaiserslautern.

  • Feather, M. S. 1998. Rapid application of lightweight formal methods for consistency analyses. IEEE Trans. Software Eng. 24: 949–959.

    Article  Google Scholar 

  • Ghezzi, C., Jazayeri, M., and Mandrioli, D. 2003. Fundamentals of Software Engineering, 2nd ed. Upper Saddle River, NJ: Prentice-Hall.

    Google Scholar 

  • Gomaa, H. 1995. Reusable software requirements and architectures for families of systems, Journal of Systems and Software, 28: 189–202.

    Article  Google Scholar 

  • Griffeth, N.D. and Velthuijsen, H. 1994. The negotiating agents approach to runtime feature interaction resolution. In L.G. Bouma, and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, IOS Press: Amsterdam, pp. 217–235.

    Google Scholar 

  • Homayoon, S., and Singh, H. 1988. Methods of addressing interaction of intelligent network services with embedded switch services. IEEE Communications Magazine, 26(12): 42–70.

    Article  Google Scholar 

  • Jaring, M. and Bosch, J. 2002. Representing variability in software product lines: A case study. In G. Chastek, editors, Software Product Line Conf (SPLC2), LNC2379, Berlin Heidelberg: Springer Verlag, pp. 15–36.

    Google Scholar 

  • Just, C., Bierbaum, A., Baker, A., and Cruz-Neira, C. 1998. VR Juggler: A framework for virtual reality development. 2nd Immersive Projection Technology Workshop, Ames, IA.

  • Lam, W. 1998. A case study of requirements through product families. Annals of Software Engineering, 253–277.

  • Lee, K., Kang, K.C., Chae, W., and Choi, B.W. Feature-based approach to object-oriented engineering of applications for reuse. Software—Practice and Experience, 30: 1025–1046.

  • Li, H., Krishnamurthi, S., and Fisler, K. 2002. Verifying cross-cutting features as open systems. 10th ACM SIGSOFT Symp. Foundations of Software Eng. Charleston, SC, pp. 89–98.

  • Lutz, R. 2000. Extending the product family approach to support safe reuse Journal of Systems and Software, 53: 207–217.

    Article  Google Scholar 

  • Lutz, R. and Gannod, G. 2003. Analysis of a software product line architecture: an experience report. Journal of Systems and Software, 66: 253–267.

    Article  Google Scholar 

  • Parnas, D. 1976. On the design and development of program families. IEEE Trans Software Eng, 2.

  • Padmanabhan, P. 2002. DECIMAL: A requirements engineering tool for product families. M.S. Thesis, Iowa State University, Ames, IA.

  • Padmanabhan, P. and Lutz, R. 2002. DECIMAL: A requirements engineering tool for product families. Int’l. Workshop Requirements Eng. For Product Lines (REPL’02), Essen, Germany, pp. 39–44.

  • VRCO TrackD http://www.vrco.com/products/trackd/trackd.html

  • Weiss, D. and Lai, C. 1999. Software Product Line Engineering: A Family-Based Software Development Process. Reading, MS: Addison Wesley.

    Google Scholar 

  • Zave, P. 2001. Requirements for evolving systems: A telecommunications perspective. In 5th Int’l Symp. Requirements Eng., pp. 2–9.

Download references

Author information

Authors and Affiliations

  1. Citrix Systems, Inc., Fort Lauderdale, Florida, 33309, USA

    Prasanna Padmanabhan

  2. Department of Computer Science, Iowa State University, and Jet Propulsion Laboratory, California Institute of Technology, USA

    Robyn R. Lutz

Authors
  1. Prasanna Padmanabhan
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Robyn R. Lutz
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Prasanna Padmanabhan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Padmanabhan, P., Lutz, R.R. Tool-Supported Verification of Product Line Requirements. Autom Software Eng 12, 447–465 (2005). https://doi.org/10.1007/s10515-005-2648-4

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-005-2648-4

Keywords