{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:39:12Z","timestamp":1753879152344,"version":"3.41.2"},"reference-count":89,"publisher":"ASME International","issue":"2","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,1]]},"abstract":"<jats:p>The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservation-based formal reasoning on those models. The representation consists of a hierarchical vocabulary of entities, relations, and attributes, and 33 local grammar rules that permit or prohibit modeling constructs thereby ensuring model consistency. Internal representational consistency is verified by committing the representation to a Prot\u00e9g\u00e9 web ontology language (OWL) ontology and examining it with the Pellet consistency checker. External representational validity is established by implementing the representation in a Computer Aided Design (CAD) tool and using it to demonstrate that the grammar rules prohibit inconsistent constructs and that the models support physics-based reasoning based on the balance laws of transport phenomena. This representation, including the controlled grammar, can serve, in the future, as a basis for additional reasoning extensions.<\/jats:p>","DOI":"10.1115\/1.4023167","type":"journal-article","created":{"date-parts":[[2013,4,24]],"date-time":"2013-04-24T20:48:06Z","timestamp":1366836486000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":16,"title":["A Formal Representation of Function Structure Graphs for Physics-Based Reasoning"],"prefix":"10.1115","volume":"13","author":[{"given":"Chiradeep","family":"Sen","sequence":"first","affiliation":[{"name":"Courtesy Faculty School of Mechanical, Industrial, and Manufacturing Engineering, Oregon State University, Corvallis, OR 97331 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joshua D.","family":"Summers","sequence":"additional","affiliation":[{"name":"Professor e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory M.","family":"Mocko","sequence":"additional","affiliation":[{"name":"Associate Professor e-mail:\u2002 Department of Mechanical Engineering, Clemson University, Clemson, SC 29634-0921"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2013,4,22]]},"reference":[{"volume-title":"Product Design Techniques in Reverse Engineering and New Product Development","year":"2001","key":"2019100602090944800_B1"},{"edition":"3rd. ed.","volume-title":"Engineering Design: A Systematic Approach","year":"2007","key":"2019100602090944800_B2"},{"volume-title":"The Mechanical Design Process","year":"1992","key":"2019100602090944800_B3"},{"key":"2019100602090944800_B4","doi-asserted-by":"crossref","unstructured":"Sridharan, P., and Campbell, M. I., 2004, \u201cA Grammar for Function Structures,\u201d ASME 2004 Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept. 28\u2014Oct. 2.","DOI":"10.1115\/DETC2004-57130"},{"issue":"3","key":"2019100602090944800_B5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1017\/S0890060405050110","article-title":"A Study on the Grammatical Construction of Function Structures","volume":"19","year":"2005","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2019100602090944800_B6","doi-asserted-by":"crossref","unstructured":"Bryant, C. R., McAdams, D. A., and Stone, R. B., 2006, \u201cA Validation Study of an Automated Concept Generator Design Tool,\u201d ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10\u201313.","DOI":"10.1115\/DETC2006-99489"},{"key":"2019100602090944800_B7","doi-asserted-by":"crossref","unstructured":"Vucovich, J., Bhardwaj, N., Ho, H. H., Ramakrishna, M., Thakur, M., and Stone, R., 2006, \u201cConcept Generation Algorithms for Repository-Based Early Design,\u201d ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10\u201313.","DOI":"10.1115\/DETC2006-99466"},{"key":"2019100602090944800_B8","first-page":"155","article-title":"A Computational Approach to Innovative Conceptual Design"},{"key":"2019100602090944800_B9","unstructured":"Kurtoglu, T., Campbell, M. I., Bryant, C. R., Stone, R. B., and McAdams, D. A., 2005, \u201cDeriving a Component Basis for Computational Functional Synthesis,\u201d International Conference on Engineering Design, ICED '05, Melbourne, Australia, Aug. 15\u201318."},{"issue":"1","key":"2019100602090944800_B10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0890060409990163","article-title":"Automating the Conceptual Design Process: From Black Box to Component Selection","volume":"24","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"2","key":"2019100602090944800_B11","first-page":"96","article-title":"Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design","volume":"16","year":"2005","journal-title":"Res. Eng. Des."},{"key":"2019100602090944800_B12","doi-asserted-by":"crossref","first-page":"051401","DOI":"10.1115\/1.2885181","article-title":"A Graph-Based Fault Identificatiokn and Propagation Framework for Functional Design of Complex Systems","volume":"130","year":"2008","journal-title":"ASME J. Mech. Des."},{"key":"2019100602090944800_B13","doi-asserted-by":"crossref","unstructured":"Tumer, I. Y., and Stone, R. B., 2001, \u201cAnalytical Methods to Evaluate Failure Potential During High-Risk Component Development,\u201d ASME Design Engineering Technical Conferences, Pittsburgh, PA, Sept. 9\u201312.","DOI":"10.1115\/DETC2001\/DFM-21173"},{"issue":"4","key":"2019100602090944800_B14","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1115\/1.1884618","article-title":"Enhancing Virtual Product Representations for Advanced Design Repository Systems","volume":"5","year":"2005","journal-title":"J. Comput. Inf. Sci. Eng."},{"key":"2019100602090944800_B15","doi-asserted-by":"crossref","unstructured":"Bohm, M. R., Stone, R. B., Simpson, T. W., and Steva, E. D., 2006, \u201cIntroduction of a Data Schema: The Inner Workings of a Design Repository,\u201d ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10\u201313.","DOI":"10.1115\/DETC2006-99518"},{"issue":"2","key":"2019100602090944800_B16","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00163-001-0008-3","article-title":"A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts","volume":"13","year":"2002","journal-title":"Res. Eng. Des."},{"issue":"4","key":"2019100602090944800_B17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1115\/1.1289637","article-title":"Development of a Functional Basis for Design","volume":"122","year":"2000","journal-title":"J. Mech. Des."},{"key":"2019100602090944800_B18","doi-asserted-by":"crossref","unstructured":"Szykman, S., Racz, J. W., and Sriram, R. D., 1999, \u201cThe Representation of Function in Computer-Based Design,\u201d 1999 ASME Design Engineering Technical Conferences, Las Vegas, NV, Sept. 12\u201315.","DOI":"10.1115\/DETC99\/DTM-8742"},{"issue":"3","key":"2019100602090944800_B19","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1115\/1.2829176","article-title":"Classifying Functions for Mechanical Design","volume":"120","year":"1998","journal-title":"J. Mech. Des."},{"issue":"3","key":"2019100602090944800_B20","doi-asserted-by":"crossref","first-page":"1074","DOI":"10.1115\/1.3439009","article-title":"Failure-Experience Matrix\u2014A Useful Design Tool","volume":"98","year":"1976","journal-title":"J. Eng. Ind."},{"key":"2019100602090944800_B21","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1080\/09544828.2011.603295","article-title":"A Protocol to Formalise Function Verbs to Support Conservation-Based Model Checking","volume":"22","year":"2011","journal-title":"J. Eng. Des."},{"key":"2019100602090944800_B22","unstructured":"Nagel, R. L., 2011, \u201cA Design Framework for Identifying Automation Opportunities,\u201d Ph.D. thesis, School of Mechanical, Industrial and Manufacturing Engineering, Oregon State University, Corvallis, OR."},{"key":"2019100602090944800_B23","unstructured":"Nagel, R. L., Bohm, M. R., Stone, R. B., and McAdams, D. A., \u201cA Representation of Carrier Flows for Functional Design,\u201d International Conference on Engineering Design ICED 07, Paris, France, Aug. 28\u201331."},{"key":"2019100602090944800_B24","unstructured":"Nagel, R. L., Vucovich, J. P., Stone, R. B., and McAdams, D. A., 2007, \u201cSignal Flow Grammar From the Functional Basis,\u201d International Conference on Engineering Design, ICED '07, Paris, France, Aug. 28\u201331."},{"key":"2019100602090944800_B25","doi-asserted-by":"crossref","unstructured":"Nagel, R. L., Perry, K. L., Stone, R. B., and McAdams, D. A., 2009, \u201cFunctioncad: A Functional Modeling Application Based on the Function Design Framework,\u201d International Design Engineering Technical Conferences, San Diego, CA.","DOI":"10.1115\/DETC2009-87010"},{"key":"2019100602090944800_B26","doi-asserted-by":"crossref","unstructured":"Bohm, M., Stone, R. B., and Nagel, R., 2009, \u201cForm Follows Form-Is a New Paradigm Needed?,\u201d ASME 2009 International Mechanical Engineering Congress and Exposition (IMECE2009), Lake Buena Vista, Florida, Nov. 13\u201319.","DOI":"10.1115\/IMECE2009-10410"},{"key":"2019100602090944800_B27","article-title":"A Polyhedron Representation for Computer Vision"},{"year":"1974","key":"2019100602090944800_B28","article-title":"Geometric Modelling for Computer Vision"},{"edition":"2nd ed.","volume-title":"3D Modeling With Acis","year":"2002","key":"2019100602090944800_B29"},{"edition":"1st ed.","volume-title":"Mastering Cad\/Cam","year":"2007","key":"2019100602090944800_B30"},{"year":"2011","key":"2019100602090944800_B31","article-title":"A Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design"},{"issue":"2","key":"2019100602090944800_B32","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A Practical OWL-DL Reasoner","volume":"5","year":"2007","journal-title":"Web Semantics: Sci., Services Agents World Wide Web"},{"key":"2019100602090944800_B33","doi-asserted-by":"crossref","unstructured":"Summers, J. D., 2005, \u201cReasoning in Engineering Design,\u201d ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Long Beach, CA.","DOI":"10.1115\/DETC2005-85334"},{"key":"2019100602090944800_B34","doi-asserted-by":"crossref","unstructured":"Summers, J. D., and Shah, J. J., 2004, \u201cRepresentation in Engineering Design: A Framework for Classification,\u201d ASME Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept 28\u2013Oct 2.","DOI":"10.1115\/DETC2004-57514"},{"first-page":"45","article-title":"Matter, Mind and Models","volume-title":"IFIP Congress","key":"2019100602090944800_B35"},{"key":"2019100602090944800_B36","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02736181","article-title":"Representing Designed Artifacts: The Languages of Engineering Design","volume":"1","year":"1994","journal-title":"Arch. Comput. Methods Eng."},{"volume-title":"Engineering Design: A Synthesis of Views","year":"1995","key":"2019100602090944800_B37"},{"issue":"1","key":"2019100602090944800_B38","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1068\/b190097","article-title":"Representation and Problem-Solving: The Foundations of Engineering Design","volume":"19","year":"1992","journal-title":"Environ. Plan. B: Plan. Des."},{"issue":"1","key":"2019100602090944800_B39","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1002\/j.2168-9830.2005.tb00832.x","article-title":"Engineering Design Thinking, Teaching, and Learning","volume":"94","year":"2005","journal-title":"Eng. Educ."},{"key":"2019100602090944800_B40","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/PL00013715","article-title":"A Survey of Design Rationale Systems: Approaches, Representation, Capture, and Retrieval","volume":"16","year":"2000","journal-title":"Eng. Comput."},{"key":"2019100602090944800_B41","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1017\/S0890060400002742","article-title":"A Taxonomy for Classifying Engineering Decision Problems and Support Systems","volume":"9","year":"1995","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3","key":"2019100602090944800_B42","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0142-694X(89)90035-5","article-title":"Analysis of Design Abstraction, Representation, and Inferencing Requirements for Computer Aided Design","volume":"10","year":"1989","journal-title":"Des. Stud."},{"key":"2019100602090944800_B43","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01580205","article-title":"A Review of Research in Mechanical Engineering Design. Part Ii: Representations, Analysis, and Design for the Life Cycle","volume":"1","year":"1989","journal-title":"Res. Eng. Des."},{"key":"2019100602090944800_B44","doi-asserted-by":"crossref","unstructured":"Summers, J. D., 2005, \u201cExpressiveness of the Design Exemplar,\u201d ASME 2005 International Design Engineering & Technical Conferences & Computers and Information in Engineering Conferences, vol. CIE-85135 Long Beach, CA.","DOI":"10.1115\/DETC2005-85135"},{"issue":"5","key":"2019100602090944800_B45","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1115\/1.1767179","article-title":"The Design Exemplar: A New Data Structure for Embodiment Design Automation","volume":"126","year":"2004","journal-title":"ASME J. Mech. Des."},{"issue":"1","key":"2019100602090944800_B46","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1115\/1.1354995","article-title":"Introduction to ISO 10303\u2014the Step Standard for Product Data Exchange","volume":"1","year":"2001","journal-title":"J. Comput. Inf. Sci. Eng."},{"issue":"4","key":"2019100602090944800_B47","first-page":"26","article-title":"Design Prototypes: A Knowledge Representation Schema for Design","volume":"11","year":"1990","journal-title":"AI Mag."},{"key":"2019100602090944800_B48","unstructured":"Gero, J. S., and Kannengiesser, U., 2000, \u201cTowards a Situated Function-Behaviour-Structure Framework as the Basis for a Theory of Designing,\u201d Workshop on Development and Application of Design Theories in AI in Design Research, Sixth International Conference on Artificial Intelligence in Design, Worcester, MA."},{"key":"2019100602090944800_B49","first-page":"89","article-title":"The Situated Function-Behaviour-Structure Framework","volume-title":"Artificial Intelligence in Design","year":"2002"},{"key":"2019100602090944800_B50","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s00163-005-0058-z","article-title":"John Gero's Function-Behaviour-Structure Model of Designing: A Critical Analysis","volume":"16","year":"2005","journal-title":"Res. Eng. Des."},{"key":"2019100602090944800_B51","first-page":"177","article-title":"Function, Behavior, and Structure","volume-title":"Applications of Artificial Intelligence, Design","year":"1990","edition":"5th ed."},{"issue":"2","key":"2019100602090944800_B52","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1017\/S0890060408000103","article-title":"A Review of Function Modeling: Approaches and Applications","volume":"22","year":"2008","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2019100602090944800_B53","unstructured":"Umeda, Y., and Tomiyama, T., 1995, \u201cFBS Modeling: Modeling Scheme of Function for Conceptual Design,\u201d 9th International Workshop on Qualitative Reasoning, Amsterdam, Nederlands, May."},{"issue":"4","key":"2019100602090944800_B54","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1017\/S0890060400001621","article-title":"Supporting Conceptual Design Based on the Function-Behavior-State Modeler","volume":"10","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2019100602090944800_B55","first-page":"87","article-title":"Kritik: An Early Case-Based Design System","volume-title":"Issues and Applications of Case-Based Reasoning in Design","year":"1997"},{"key":"2019100602090944800_B56","unstructured":"Bhatta, S. R., and Goel, A. K., 1997, \u201cA Functional Theory of Design Patterns,\u201d 15th International Joint Conference on Artificial Intelligence\u2014Volume 1, Nagoya, Japan."},{"key":"2019100602090944800_B57","doi-asserted-by":"crossref","unstructured":"Bhatta, S., Goel, A., and Prabhakar, S., 1994, \u201cInnovation in Analogical Design: A Model-Based Approach,\u201d Artificial Intelligence in Design, Dordrecht, The Netherlands.","DOI":"10.1007\/978-94-011-0928-4_4"},{"key":"2019100602090944800_B58","unstructured":"Chandrasekaran, B., and Josephson, J. R., 1997, \u201cRepresenting Function as Effect,\u201d Fifth International Workshop on Advances in Functional Modeling of Complex Technical Systems, Paris, France, July."},{"issue":"2","key":"2019100602090944800_B59","first-page":"65","article-title":"Representing Function: Relating Functional Representation and Functional Modeling Research Streams","volume":"19","year":"2005","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3\u20134","key":"2019100602090944800_B60","first-page":"162","article-title":"Function in Device Representation","volume":"16","year":"2000","journal-title":"Eng. Comput."},{"first-page":"47","article-title":"Functional Representation of Devices and Compilation of Diagnostic Problem-Solving Systems","volume-title":"Experience, Memory, and Reasoning","key":"2019100602090944800_B61"},{"key":"2019100602090944800_B62","unstructured":"Vescovi, M., Iwasaki, Y., Fikes, R., and Chandrasekaran, B., 1993, \u201cCFRL: A Language for Specifying the Causal Functionality of Engineered Devices,\u201d Eleventh National Conference on Artificial Intelligence, July, Washington, D.C."},{"key":"2019100602090944800_B63","unstructured":"Iwasaki, Y., Fikes, R., Vescovi, M., and Chandrasekaran, B., 1993, \u201cHow Things are Intended to Work: Capturing Functional Knowledge in Device Design,\u201d International Joint Conference on Artificial Intelligence, Menlo Park, CA."},{"key":"2019100602090944800_B64","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/08839519408945442","article-title":"Modeling Goals and Functions of Complex Industrial Plants","volume":"8","year":"1994","journal-title":"Appl. Artif. Intell. Int. J."},{"key":"2019100602090944800_B65","first-page":"221","article-title":"Towards a Standard Taxonomy of Artifact Functions","volume":"1","year":"2005","journal-title":"Appl. Ontol."},{"issue":"3","key":"2019100602090944800_B66","doi-asserted-by":"crossref","first-page":"031007","DOI":"10.1115\/1.3615523","article-title":"A Formalization of Functions as Operation on Flows","volume":"11","year":"2011","journal-title":"J. Comput. Inf. Sci. Eng."},{"issue":"3","key":"2019100602090944800_B67","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1109\/TASE.2005.849087","article-title":"Ontology-Based Exchange of Product Data Semantics","volume":"2","year":"2005","journal-title":"IEEE. Trans. Autom. Sci. Eng."},{"issue":"2","key":"2019100602090944800_B68","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.aei.2004.09.002","article-title":"Deployment of an Ontological Framework of Functional Design Knowledge","volume":"18","year":"2004","journal-title":"Adv. Eng. Inf."},{"key":"2019100602090944800_B69","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0957-4174(02)00138-0","article-title":"Ontology-Based Description of Functional Design Knowledge and Its Use in a Functional Way Server","volume":"24","year":"2003","journal-title":"Expert Sys. Appl."},{"key":"2019100602090944800_B70","unstructured":"Sasajima, M., Kitamura, Y., Ikeda, M., and Mizoguchi, R., 1995, \u201cFBRL: A Function and Behavior Representation Language,\u201d International Joint Conferences on Artificial Intelligence, Montreal, Quebec, Canada, Aug. 20\u201325."},{"key":"2019100602090944800_B71","unstructured":"Cebrian-Tarrason, D., Lopez-Montero, J. A., and Vidal1, R., 2008, \u201cOntofabes: Ontology Design Based in FBS Framework,\u201d CIRP Design Conference 2008: Design Synthesis, Enschede, Netherlands, April 7\u20139."},{"issue":"3","key":"2019100602090944800_B72","doi-asserted-by":"crossref","first-page":"031003","DOI":"10.1115\/1.3462918","article-title":"Topological Information Content and Expressiveness of Function Models in Mechanical Design","volume":"10","year":"2010","journal-title":"J. Comput. Inf. Sci. Eng."},{"key":"2019100602090944800_B73","unstructured":"Sen, C., Summers, J. D., and Mocko, G. M., 2011, \u201cExploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs,\u201d The 18th International Conference on Engineering Design, Copenhagen, Aug. 15\u201318."},{"key":"2019100602090944800_B74","unstructured":"Caldwell, B. W., and Mocko, G. M., 2007, \u201cTowards Rules for Functional Composition,\u201d ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, NY, Aug. 3\u20136."},{"key":"2019100602090944800_B75","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1017\/S0890060410000442","article-title":"An Empirical Study of the Expressiveness of the Functional Basis","volume":"25","year":"2011","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"2","key":"2019100602090944800_B76","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1115\/1.1475317","article-title":"A Quantitative Similarity Metric for Design-by-Analogy","volume":"124","year":"2002","journal-title":"J. Mech. Des."},{"issue":"3","key":"2019100602090944800_B77","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1115\/1.1862678","article-title":"The Function-Failure Design Method","volume":"127","year":"2005","journal-title":"J. Mech. Des."},{"key":"2019100602090944800_B78","unstructured":"Bryant, C. R., Stone, R. B., McAdams, D. A., Kurtoglu, T., and Campbell, M. I., 2005, \u201cConcept Generation from the Functional Basis of Design,\u201d International Conference on Engineering Design, ICED 05, Melbourne, Aug. 15\u201318."},{"issue":"1","key":"2019100602090944800_B79","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1080\/09544820701546165","article-title":"Automated Synthesis of Electromechanical Design Configurations From Empirical Analysis of Function to Form Mapping","volume":"20","year":"2009","journal-title":"J. Eng. Design"},{"key":"2019100602090944800_B80","doi-asserted-by":"crossref","unstructured":"Nagel, R. L., Stone, R. B., Hutcheson, R. S., McAdams, D. A., and Donndelinger, J. A., 2008, \u201cFunction Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems,\u201d ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, New York, Aug. 3\u20136.","DOI":"10.1115\/DETC2008-49369"},{"issue":"2","key":"2019100602090944800_B81","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1080\/10400419109534381","article-title":"The Dialectics of Sketching","volume":"4","year":"1991","journal-title":"Creativity Res. J."},{"issue":"1","key":"2019100602090944800_B82","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The Entity-Relationship Model\u2014Toward a Unified View of Data","volume":"1","year":"1976","journal-title":"ACM Trans. Database Sys."},{"edition":"4th ed.","volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving","year":"2002","key":"2019100602090944800_B83"},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2003","key":"2019100602090944800_B84"},{"volume-title":"Elements of Symbolic Logic","year":"1947","key":"2019100602090944800_B85"},{"edition":"2nd ed.","volume-title":"Introduction to Logic and to the Methodology of Deductive Sciences","year":"1946","key":"2019100602090944800_B86"},{"edition":"5th ed.","volume-title":"The Logic Book","year":"2009","key":"2019100602090944800_B87"},{"key":"2019100602090944800_B88","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","article-title":"A Translation Approach to Portable Ontology Specifications","volume":"5","year":"1993","journal-title":"Knowl. Acquis."},{"issue":"4","key":"2019100602090944800_B89","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1080\/10864415.2004.11044307","article-title":"A Software Framework for Matchmaking Based on Semantic Web Technology","volume":"8","year":"2004","journal-title":"Int. J. Electron. Commerce"}],"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.4023167\/6099393\/jcis_13_2_021001.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4023167\/6099393\/jcis_13_2_021001.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T06:29:06Z","timestamp":1745994546000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/doi\/10.1115\/1.4023167\/371390\/A-Formal-Representation-of-Function-Structure"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,22]]},"references-count":89,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4023167","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2013,4,22]]},"article-number":"021001"}}