Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Formal Representation of Product Design Specifications for Validating Product Designs



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


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.
NIST Interagency/Internal Report (NISTIR) - 7626
Report Number


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


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],, (Accessed May 24, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created August 26, 2009, Updated October 12, 2021