{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:37:17Z","timestamp":1753879037571,"version":"3.41.2"},"reference-count":37,"publisher":"ASME International","issue":"3","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,1]]},"abstract":"<jats:p>The choice of solution, which a systems architect is confronted with within the framework of a product structure definition, can very quickly prove to be a thorny problem owing to the possible combinatorial system. In this paper, we will offer an alternative resting on the utilization of constraint-based programming techniques for representing and managing such complexity. More precisely, we will dwell on the presentation of a constraint-based approach to the composition relation management of a product class in design. After setting forth all the potential of the constraint-based approach, we will formally explain, in more detail, the six types of relations that seem to be essential to building a class of products. The approach is based on a three-level architectural model. The first level concerns the product model as such, the second supplies a formal representation of this model, whereas the third consists of rendering an arithmetic constraint-based approach to the intermediate model. We will use the discrete constraint satisfaction problems for operating and solving the latter. Our overall approach, from product modeling to resolution, is intended to be a generic one and the case in point will be the design of a functional pivot link between a connecting rod and a piston. The architect can subsequently make his own choices and the tool will automate their propagation by means of the constraint network modeling the problem. A dimensioning architectural model is, thus, obtained in compliance with the original list of requirements.<\/jats:p>","DOI":"10.1115\/1.3467009","type":"journal-article","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T22:53:28Z","timestamp":1284159208000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":4,"title":["A Constraint-Based Approach to the Composition Relation Management of a Product Class in Design"],"prefix":"10.1115","volume":"10","author":[{"given":"Pierre-Alain","family":"Yvars","sequence":"first","affiliation":[{"name":"LISMMA, Institut Sup\u00e9rieur de M\u00e9canique de Paris (SupMeca), 3 rue Fernand Hainaut, 93407 Saint Ouen Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2010,8,31]]},"reference":[{"first-page":"50","volume-title":"Product Generic Modeling for Configuration: Requirement Analysis and Modeling Elements","author":"Aldanondo","key":"2019100402470222700_c1"},{"key":"2019100402470222700_c2","unstructured":"Deklare Consortium, 1995, \u201cDEKLARE Small Book\u2014ESPRIT Project 6522,\u201d Final Project Report, CEE."},{"key":"2019100402470222700_c3","unstructured":"Moka Consortium, 2000, \u201cMoka User Guide, Deliverable 1.3,\u201d Annexe B, AIT Esprit Project No. 25418."},{"volume-title":"Foundations of Constraint Satisfaction","author":"Tsang","key":"2019100402470222700_c4"},{"volume-title":"Generating Semantic Descriptions From Drawings of Scenes With Shadows","author":"Waltz","key":"2019100402470222700_c5"},{"key":"2019100402470222700_c6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of Constraints: Fundamental Properties and Applications to Picture Processing","volume":"7","author":"Montanari","journal-title":"Inf. Sci."},{"issue":"1","key":"2019100402470222700_c7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in Networks of Relations","volume":"8","author":"Mackworth","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"issue":"5","key":"2019100402470222700_c8","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/j.engappai.2008.03.009","article-title":"Planning and Scheduling in an E-Learning Environment. A Constraint-Programming-Based Approach","volume":"21","author":"Garrido","journal-title":"Eng. Applic. Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0952-1976","issn-type":"print"},{"volume-title":"Interval Analysis","author":"Moore","key":"2019100402470222700_c9"},{"issue":"3","key":"2019100402470222700_c10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint Propagation With Interval Labels","volume":"32","author":"Davis","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"issue":"2","key":"2019100402470222700_c11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0004-3702(94)90022-1","article-title":"Arc Consistency for Continuous Variables","volume":"65","author":"Falting","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"first-page":"232","article-title":"Consistency Techniques for Numeric CSPs","author":"Lhomme","key":"2019100402470222700_c12"},{"author":"Collavizza","key":"2019100402470222700_c13","article-title":"Extending Consistent Domains of Numeric CSP"},{"key":"2019100402470222700_c14","first-page":"571","article-title":"Continuous and Interval Constraints","volume-title":"Handbook of Constraint Programming","author":"Benhamou"},{"author":"Vargas","key":"2019100402470222700_c15","article-title":"Knowledge Modelisation and Constraint Propagation in a Computer Aided Design System"},{"author":"Bensana","key":"2019100402470222700_c16","article-title":"A Generic Approach for Conceptual Design Based on Object-Oriented and Constraint Logic Programming"},{"key":"2019100402470222700_c17","doi-asserted-by":"crossref","DOI":"10.1007\/1-84628-210-1_12","article-title":"Use of Constraint Programming for Design","volume-title":"Advances in Design","author":"Yannou"},{"article-title":"Solving an Air Conditioning Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques","author":"Chenouard","key":"2019100402470222700_c18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74970-7_4"},{"issue":"3","key":"2019100402470222700_c19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s12008-008-0047-3","article-title":"Using Constraint Satisfaction for Designing Mechanical Systems","volume":"2","author":"Yvars","journal-title":"International Journal on Interactive Design and Manufacturing"},{"issue":"4\u20135","key":"2019100402470222700_c20","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1016\/j.engappai.2008.11.006","article-title":"A CSP Approach for the Network of Product Lifecycle Constraints Consistency in a Collaborative Design Context","volume":"22","author":"Yvars","journal-title":"Eng. Applic. Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0952-1976","issn-type":"print"},{"key":"2019100402470222700_c21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","article-title":"Arc and Path Consistency Revised","volume":"28","author":"Mohr","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"2019100402470222700_c22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","article-title":"A Generic Arc-Consistency Algorithm and Its Specializations","volume":"57","author":"van Hentenryck","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"2019100402470222700_c23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(98)00105-2","article-title":"Using Constraint Meta Knowledge to Reduce Arc Consistency Computation","volume":"107","author":"Bessiere","journal-title":"Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"first-page":"263","article-title":"Light Integration of Path Consistency for Solving CSPs","author":"Chmeiss","key":"2019100402470222700_c24"},{"key":"2019100402470222700_c25","unstructured":"Ilog, 2006, \u201cIlogCP, Reference Manual,\u201d Gentilly, France."},{"issue":"3","key":"2019100402470222700_c26","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/785411.785416","article-title":"Constraints-Driven Scheduling and Resource Assignment","volume":"8","author":"Kuchcinski","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"2019100402470222700_c27","unstructured":"Koalog, 2005, \u201cAn Overview of Koalog Constraint SolverTM,\u201d available on http:\/\/www.koalog.com\/resources\/doc\/jcs-overview.pdf"},{"author":"Jussien","key":"2019100402470222700_c28","article-title":"The CHOCO Constraint Programming Solver"},{"key":"2019100402470222700_c29","doi-asserted-by":"crossref","unstructured":"Schulte, C., and Stuckey, P. J., 2008, \u201cEfficient Constraint Propagation Engines,\u201d Transactions on Programming Languages and Systems.","DOI":"10.1145\/1452044.1452046"},{"author":"Gent","key":"2019100402470222700_c30","article-title":"MINION: A Fast, Scalable, Constraint Solver"},{"key":"2019100402470222700_c31","unstructured":"Tamura, N.\n          , 2004, \u201cCream Version 1.2 Programmers Guide,\u201d available on http:\/\/bach.istc.kobe-u.ac.jp\/cream\/"},{"author":"Zimmer","key":"2019100402470222700_c32","article-title":"Global Aircraft Predesign Based on Constraint Propagation and Interval Analysis"},{"issue":"2\u20133","key":"2019100402470222700_c33","first-page":"163","article-title":"Mod\u00e8les et approches pour la conception et la production int\u00e9gr\u00e9es","volume":"34","author":"Bernard","journal-title":"Revue APII\u2014JESA","ISSN":"https:\/\/id.crossref.org\/issn\/0002-7820","issn-type":"print"},{"author":"Kardos","key":"2019100402470222700_c34","article-title":"Fast for Systematic Design"},{"key":"2019100402470222700_c35","unstructured":"OMG, 2008, SysML V1.1, available on http:\/\/www.omg.org\/spec\/SysML\/1.1"},{"author":"Friedenthal","key":"2019100402470222700_c36","article-title":"OMG System Modeling Language Tutorial"},{"article-title":"KoMoD: A Constraint Based Design Support System for Mechanical Engineering","author":"Yvars","key":"2019100402470222700_c37","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1901-8_42"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.3467009\/5630069\/031002_1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.3467009\/5630069\/031002_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T07:27:17Z","timestamp":1570174037000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/doi\/10.1115\/1.3467009\/464118\/A-ConstraintBased-Approach-to-the-Composition"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,31]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.3467009","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2010,8,31]]},"article-number":"031002"}}