[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-seo-649983-105":3,"detail-sidebar-cat-0-en-105":80,"doc-detail-649983-en":130},{"code":4,"msg":5,"data":6},0,"ok",{"site_id":7,"language":8,"slug":9,"title":10,"keywords":11,"description":12,"schema_data":13,"social_meta":73,"head_meta":75,"extra_data":77,"updated_unix":79},105,"en","formal-representation-of-product-design-specifications-for-validating-product-designs-nistir-7626","Formal Representation of Product Design Specifications for Validating Product Designs - NISTIR 7626","","Large scale distributed design efforts often produce outcomes that fail to fully satisfy stated design goals and specifications, and manual validation becomes impractical when requirements and design features are numerous. This report proposes a formal method to connect product requirements to the design solution of electro-mechanical products. It presents a formal model for representing product requirements, then introduces the Core Product Model (CPM) and Open Assembly Model (OAM), links the models formally, and demonstrates the approach using an actual consumer device.",{"@graph":14,"@context":72},[15,34,55],{"@type":16,"itemListElement":17},"BreadcrumbList",[18,23,27,31],{"item":19,"name":20,"@type":21,"position":22},"https://docshare.wps.com","Home","ListItem",1,{"item":24,"name":25,"@type":21,"position":26},"https://docshare.wps.com/document/","Document",2,{"item":28,"name":29,"@type":21,"position":30},"https://docshare.wps.com/document/research-report/","Research & Report",3,{"item":32,"name":10,"@type":21,"position":33},"https://docshare.wps.com/document/formal-representation-of-product-design-specifications-for-validating-product-designs-nistir-7626/649983/",4,{"url":32,"name":10,"@type":35,"image":36,"author":41,"headline":10,"publisher":44,"fileFormat":47,"inLanguage":8,"description":12,"dateModified":48,"datePublished":49,"encodingFormat":47,"isAccessibleForFree":50,"interactionStatistic":51},"DigitalDocument",{"url":37,"@type":38,"width":39,"height":40},"https://docshare.wps.com/thumbnails/formal-representation-of-product-design-specifications-for-validating-product-designs-nistir-7626/649983.png","ImageObject",300,407,{"name":42,"@type":43},"PakDamar76","Person",{"url":19,"name":45,"@type":46},"DocShare","Organization","application/pdf","2026-10-30","2026-10-24",true,{"@type":52,"interactionType":53,"userInteractionCount":30},"InteractionCounter",{"@type":54},"ViewAction",{"@type":56,"mainEntity":57},"FAQPage",[58,64,68],{"name":59,"@type":60,"acceptedAnswer":61},"Why is validating large distributed product designs difficult?","Question",{"text":62,"@type":63},"Large projects can produce designs that do not fully conform to stated goals, and when requirements and design features are extensive, manual validation is difficult to perform.","Answer",{"name":65,"@type":60,"acceptedAnswer":66},"What formal approach does the report propose for validating product designs?",{"text":67,"@type":63},"It relates product requirements to the design solution of electro-mechanical products using a formal representation of requirements, then connecting the Core Product Model (CPM) and the Open Assembly Model (OAM) to automate validation.",{"name":69,"@type":60,"acceptedAnswer":70},"How are design elements traced back to requirement statements?",{"text":71,"@type":63},"The report introduces criteria for linking and labeling and provides a formal approach to connect requirements to design elements, followed by an application demonstrating tracing statements.","https://schema.org",{"og:url":32,"og:type":74,"og:title":10,"og:site_name":45,"og:description":12},"article",{"robots":76,"canonical":32},"index,follow",{"doc_id":78,"site_id":7},649983,1792813101,{"code":4,"msg":81,"data":82},"success",[83,87,91,95,100,105,110,114,119,122,126],{"id":22,"doc_module":4,"doc_module_name":25,"category_name":84,"show_sort_weight":85,"slug":86},"Story & Novel",90,"story-novel",{"id":26,"doc_module":4,"doc_module_name":25,"category_name":88,"show_sort_weight":89,"slug":90},"Literature",80,"literature",{"id":33,"doc_module":4,"doc_module_name":25,"category_name":92,"show_sort_weight":93,"slug":94},"Exam",70,"exam",{"id":96,"doc_module":4,"doc_module_name":25,"category_name":97,"show_sort_weight":98,"slug":99},5,"Comic",60,"comic",{"id":101,"doc_module":4,"doc_module_name":25,"category_name":102,"show_sort_weight":103,"slug":104},6,"Technology",50,"technology",{"id":106,"doc_module":4,"doc_module_name":25,"category_name":107,"show_sort_weight":108,"slug":109},7,"Healthcare",40,"healthcare",{"id":111,"doc_module":4,"doc_module_name":25,"category_name":29,"show_sort_weight":112,"slug":113},8,30,"research-report",{"id":115,"doc_module":4,"doc_module_name":25,"category_name":116,"show_sort_weight":117,"slug":118},9,"Religion & Spirituality",20,"religion-spirituality",{"id":117,"doc_module":4,"doc_module_name":25,"category_name":120,"show_sort_weight":117,"slug":121},"World Cup","world-cup",{"id":123,"doc_module":4,"doc_module_name":25,"category_name":124,"show_sort_weight":123,"slug":125},10,"Lifestyle","lifestyle",{"id":127,"doc_module":4,"doc_module_name":25,"category_name":128,"show_sort_weight":96,"slug":129},19,"General","general",{"code":4,"msg":81,"data":131},{"doc_id":78,"user_id":132,"nickname":42,"user_avatar":133,"doc_module":4,"category_id":111,"category_name":29,"doc_title":10,"doc_description":12,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":30,"is_deleted":4,"is_public":22,"is_downloadable":22,"audit_status":22,"page_count":139,"language":140,"language_code":8,"site_id":7,"html_lang":8,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":12,"update_tm":79,"read_time":144},962090893057,"https://ap-avatar.wpscdn.com/davatar_155a257f0dc6eb9ab79c44ca47cae57d","NISTIR 7626  \nFormal Representation of Product Design Specifications for Validating Product Designs  \nAlex Weissman Satyandra K. Gupta Xenia Fiorentini Rachuri Sudarsan Ram D. Sriram  \nNISTIR 7626  \nFormal Representation of Product Design Specifications for Validating Product Designs  \nAlex Weissman Satyandra K. Gupta Xenia Fiorentini Rachuri Sudarsan Ram D. Sriram  \nManufacturing Systems Integration Division Manufacturing Engineering Laboratory  \nAugust 2009  \nU.S. Department of Commerce Gary Locke, Secretary  \nNational Institute of Standards and Technology Patrick D. Gallagher, Deputy Director  \nAbstract  \nLarge 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.  \nIn this report, we propose a formal approach for relating product requirements to the design solution of electro-mechanical products. 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.  \nTable of Contents  \nTable of Contents ............................................................................................................................ 3  \nIndex of Figures .............................................................................................................................. 4  \n1 Introduction ............................................................................................................................. 1  \n2 Literature review...................................................................................................................... 3  \n3 Formalizing the Product Design Specification ........................................................................ 5  \n3.1 Overview .......................................................................................................................... 6  \n3.2 Requirement Categories and Definition Templates ......................................................... 9  \n3.3 Taxonomies of Statement Words ................................................................................... 12  \n3.4 Validation ....................................................................................................................... 14  \n3.5 Formalized PDS for the Automatic Pot Stirrer .............................................................. 15  \n4 Core Product Model and Open Assembly Model.................................................................. 16  \n4.1 Description of CPM and OAM ...................................................................................... 17  \n4.2 CPM and OAM for representing the Automatic Pot Stirrer........................................... 19  \n5 Tracing Design Elements to Requirement Statements .......................................................... 23  \n5.1 Linking and Labeling Criteria ........................................................................................ 23  \n5.2 A formal approach for linking requirements to design elements ................................... 24  \n5.3 Application of Tracing Statements................................................................................. 28  \n6 Conclusions and Future Work ............................................................................................... 28  \nDisclaimer ..................................................................................................................................... 30  \n7 References ...","cbCaitrN0Ex7djIJ","https://ap.wps.com/l/cbCaitrN0Ex7djIJ","pdf",488000,55,"English","# 1 Introduction\n# 2 Literature review\n# 3 Formalizing the Product Design Specification\n## 3.1 Overview\n## 3.2 Requirement Categories and Definition Templates\n## 3.3 Taxonomies of Statement Words\n## 3.4 Validation\n## 3.5 Formalized PDS for the Automatic Pot Stirrer\n# 4 Core Product Model and Open Assembly Model\n## 4.1 Description of CPM and OAM\n## 4.2 CPM and OAM for representing the Automatic Pot Stirrer\n# 5 Tracing Design Elements to Requirement Statements\n## 5.1 Linking and Labeling Criteria\n## 5.2 A formal approach for linking requirements to design elements\n## 5.3 Application of Tracing Statements\n# 6 Conclusions and Future Work\n# 7 References","[{\"question\":\"Why is validating large distributed product designs difficult?\",\"answer\":\"Large projects can produce designs that do not fully conform to stated goals, and when requirements and design features are extensive, manual validation is difficult to perform.\"},{\"question\":\"What formal approach does the report propose for validating product designs?\",\"answer\":\"It relates product requirements to the design solution of electro-mechanical products using a formal representation of requirements, then connecting the Core Product Model (CPM) and the Open Assembly Model (OAM) to automate validation.\"},{\"question\":\"How are design elements traced back to requirement statements?\",\"answer\":\"The report introduces criteria for linking and labeling and provides a formal approach to connect requirements to design elements, followed by an application demonstrating tracing statements.\"}]","Formal Representation of Product Design Specifications for Validating Product Designs - NISTIR 7626 | PDF",139]