Formal Representation of Product Design Specifications for Validating Product Designs

Published

August 27, 2009

Author(s)

Alex Weissman, Satyandra K. Gupta, Xenia Fiorentini, Sudarsan Rachuri, Ram D. Sriram

Abstract

Large scale distributed design projects increasingly result in designs that do not fully conform to the stated design goals or specifications. Hence, there is a need to validate these designs against various requirements. For projects with a large set of requirements and design features, this can be difficult to do manually. Formalizing the representation of requirements and the design solution will allow software tools to be developed that can automate the validation process. In this report, we propose a formal approach for relating product requirements to the design solution. First, we present a formal model for representing product requirements. Then, we introduce the Core Product Model (CPM) and the Open Assembly Model (OAM) for representing the design solution. Finally, we link these models formally and provide an example with an actual consumer device.

Citation

NIST Interagency/Internal Report (NISTIR) - 7626

Report Number

7626

NIST Pub Series

NIST Interagency/Internal Report (NISTIR)

Pub Type

NIST Pubs

Download Paper

https://doi.org/10.6028/NIST.IR.7626

Local Download

Keywords

product design, Core Product Model, CPM, Open Assembly Model, OAM

Citation

Weissman, A. , Gupta, S. , Fiorentini, X. , Rachuri, S. and Sriram, R. (2009), Formal Representation of Product Design Specifications for Validating Product Designs, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7626, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=902722 (Accessed October 16, 2025)