{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:11:34Z","timestamp":1740103894555,"version":"3.37.3"},"reference-count":31,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2018,8,24]],"date-time":"2018-08-24T00:00:00Z","timestamp":1535068800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"name":"The National Key Technology Support Program","award":["2016YFD0400301"]},{"name":"The National Science Foundation of China","award":["61572427","61672247","61772247"]}],"content-domain":{"domain":["incose.onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Systems Engineering"],"published-print":{"date-parts":[[2019,3]]},"abstract":"Abstract<\/jats:title>Increasing complexity of mechatronic products leads to more challenging designs. As the most important stage, system design determines the overall product architecture. Defects in this stage are difficult to rectify in future stages, thus requiring greater model accuracy. With the development of model\u2010based systems engineering (MBSE), model verification can detect design defects, reduce development costs, improve development efficiency, and ensure system reliability. Currently, conventional verifications are performed only after design processes, which makes it difficult to make systematic modifications. To solve this problem, a model verification method implemented in the design stage is proposed in this study. Using this method, designers are able to detect defects earlier, thereby reducing modification costs. The proposed method is as follows: first, a language named Relation\u2010based Modeling for Static Properties (RMSP) is proposed to formalize the static properties of requirements; second, the representation of \u201cConceptual Graphs\u201d is extended to meet the needs of model verification of mechatronic products; finally, requirements in RMSP and system design in Systems Modeling Language (SysML) are transformed into the Extension of Conceptual Graphs. In this manner, the incorrectness and inconsistencies between requirements and system design can be found through projection in the system design stage. The omitted or improperly designed requirement items would be found and redesigned to fulfill the product requirements.<\/jats:p>","DOI":"10.1002\/sys.21470","type":"journal-article","created":{"date-parts":[[2018,8,24]],"date-time":"2018-08-24T11:03:58Z","timestamp":1535108638000},"page":"156-171","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Model verification for system design of complex mechatronic products"],"prefix":"10.1002","volume":"22","author":[{"given":"Ruirui","family":"Chen","sequence":"first","affiliation":[{"name":"State Key Lab. of CAD&CG Zhejiang University Hangzhou P.R. China 310027"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3129-8597","authenticated-orcid":false,"given":"Yusheng","family":"Liu","sequence":"additional","affiliation":[{"name":"State Key Lab. of CAD&CG Zhejiang University Hangzhou P.R. China 310027"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Mechanical Science & Engineering Huazhong University of Science and Technology Wuhan P.R. China 430074"}]},{"given":"Xiaoping","family":"Ye","sequence":"additional","affiliation":[{"name":"College of Engineering and Design Lishui University Lishui P.R. China 323000"}]}],"member":"311","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"key":"e_1_2_11_2_1","first-page":"6105","volume-title":"NASA Systems Engineering Handbook","author":"Shishko R","year":"1995"},{"volume-title":"Systems Engineering Guidebook for Intelligent Transportation Systems","year":"2009","author":"Krueger ME","key":"e_1_2_11_3_1"},{"key":"e_1_2_11_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11606-007-0292-3"},{"key":"e_1_2_11_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20173"},{"key":"e_1_2_11_6_1","first-page":"1","article-title":"Framework for requirements\u2010driven system design automation","author":"Cardei I","year":"2007","journal-title":"IEEE"},{"key":"e_1_2_11_7_1","unstructured":"Object Management Group (OMG).Systems modeling language specification;2009.http:\/\/www.omg.org\/spec\/SysML\/1.2\/PDF. June 2010."},{"key":"e_1_2_11_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2013.12.004"},{"key":"e_1_2_11_9_1","first-page":"1","article-title":"Model based requirements specification and validation for component architectures","author":"Cardei I","year":"2008","journal-title":"IEEE"},{"key":"e_1_2_11_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-016-0281-y"},{"key":"e_1_2_11_11_1","first-page":"1141","article-title":"Consistency checking of mechatronic design models","author":"Hehenberger P","year":"2010","journal-title":"American Society of Mechanical Engineers"},{"key":"e_1_2_11_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"e_1_2_11_13_1","first-page":"158","article-title":"A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study","author":"Feldmann S","year":"2015","journal-title":"IEEE"},{"key":"e_1_2_11_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.044"},{"key":"e_1_2_11_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.200"},{"issue":"4","key":"e_1_2_11_16_1","first-page":"365","article-title":"Conceptual graphs: fundamental notions","volume":"6","author":"Mugnier ML","year":"1992","journal-title":"Revue d'intelligence artificielle"},{"key":"e_1_2_11_17_1","unstructured":"CroitoruM CompatangeloE.On conceptual graph projection. Technical Report AUCS\/TR0403 University of Aberdeen UK Department of Computing Science 2004."},{"key":"e_1_2_11_18_1","first-page":"271","article-title":"A tree decomposition algorithm for conceptual graph projection","author":"Croitoru M","year":"2006","journal-title":"KR"},{"volume-title":"Engineering Design: A Systematic Approach","year":"2013","author":"Pahl G","key":"e_1_2_11_19_1"},{"key":"e_1_2_11_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2013.03.002"},{"key":"e_1_2_11_21_1","unstructured":"SowaJF.Conceptual Structures: Information Processing in Mind and Machine;Boston:Addison Wesley 1984."},{"volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","year":"2000","author":"Sowa JF","key":"e_1_2_11_22_1"},{"key":"e_1_2_11_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-102-4_10"},{"volume-title":"Introduction to Graph Theory","year":"2001","author":"West DB","key":"e_1_2_11_24_1"},{"volume-title":"KBE Technology and its Application in Product Design","year":"2007","author":"Peng Y","key":"e_1_2_11_25_1"},{"key":"e_1_2_11_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.09.046"},{"key":"e_1_2_11_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"e_1_2_11_28_1","first-page":"2663","article-title":"Modeling and verifying services of Internet of Things based on hybrid system methodology","volume":"34","author":"Ye L","year":"2013","journal-title":"J Chin Comput. Syst"},{"key":"e_1_2_11_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90137-7"},{"key":"e_1_2_11_30_1","first-page":"283","article-title":"Subgraph isomorphism in planar graphs and related problems","author":"Eppstein D","year":"2002","journal-title":"Graph Algorithm Appl I"},{"volume-title":"Model Checking","year":"1999","author":"Clarke EM","key":"e_1_2_11_31_1"},{"key":"e_1_2_11_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0492-8"}],"container-title":["Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fsys.21470","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/onlinelibrary.wiley.com\/wol1\/doi\/10.1002\/sys.21470\/fullpdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T14:47:17Z","timestamp":1694616437000},"score":1,"resource":{"primary":{"URL":"https:\/\/incose.onlinelibrary.wiley.com\/doi\/10.1002\/sys.21470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,24]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["10.1002\/sys.21470"],"URL":"https:\/\/doi.org\/10.1002\/sys.21470","archive":["Portico"],"relation":{},"ISSN":["1098-1241","1520-6858"],"issn-type":[{"type":"print","value":"1098-1241"},{"type":"electronic","value":"1520-6858"}],"subject":[],"published":{"date-parts":[[2018,8,24]]},"assertion":[{"value":"2016-03-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-02","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}