A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

Chiradeep Sen; Joshua D. Summers; Gregory M. Mocko

doi:10.1115/1.4023167

Journal of Computing and Information Science in Engineering | Volume 13 | Issue 2 | research-article

Next Article >

Research Papers

A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

Chiradeep Sen, Joshua D. Summers and Gregory M. Mocko

[+] Author and Article Information

Chiradeep Sen

Courtesy Faculty School of Mechanical, Industrial, and Manufacturing Engineering,
Oregon State University,
Corvallis, OR 97331
e-mail: csen@engr.orst.edu

Joshua D. Summers

Professor
e-mail: joshua.summers@ces.clemson.edu

Gregory M. Mocko

Associate Professor
e-mail: gmocko@clemson.edu
Department of Mechanical Engineering,
Clemson University,
Clemson, SC 29634-0921

Repository. designengineeringlab.org, accessed on May 16, 2012.

Version downloaded on April 23, 2012.

Available at: http://dl.dropbox.com/u/87896979/Function.owl

Available at: http://dl.dropbox.com/u/87896979/ConMod.exe

¹Corresponding author.

Contributed by the Petroleum Division of ASME for publication in the Journal of Computing and Information Science in Engineering. Manuscript received November 28, 2011; final manuscript received November 5, 2012; published online April 22, 2013. Assoc. Editor: Ashok K. Goel.

J. Comput. Inf. Sci. Eng 13(2), 021001 (Apr 22, 2013) (13 pages) Paper No: JCISE-11-1465; doi: 10.1115/1.4023167 History: Received November 28, 2011; Revised November 05, 2012

Article

References

Figures

Tables

Citing Articles

Abstract

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égé 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.

FIGURES IN THIS ARTICLE

Purchase this Content

$25.00

Purchase

Learn about subscription and purchase options

Your Session has timed out. Please sign back in to continue.

References

Otto, K. N., and Wood, K. L., 2001, Product Design Techniques in Reverse Engineering and New Product Development Prentice Hall. Upper Saddle River, NJ.

Pahl, G., Beitz, W., Feldhusen, J., and Grote, K. H., 2007, Engineering Design: A Systematic Approach, 3rd. ed., Springer-Verlag London Limited. London, United Kingdom.

Ullman, D. G., 1992, The Mechanical Design Process, McGraw-Hill. New York.

Sridharan, P., and Campbell, M. I., 2004, “A Grammar for Function Structures,” ASME 2004 Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept. 28—Oct. 2.

Sridharan, P., and Campbell, M. I., 2005, “A Study on the Grammatical Construction of Function Structures,” Artif. Intell. Eng. Des. Anal. Manuf., 19(3) pp. 139–160. [CrossRef]

Bryant, C. R., McAdams, D. A., and Stone, R. B., 2006, “A Validation Study of an Automated Concept Generator Design Tool,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.

Vucovich, J., Bhardwaj, N., Ho, H. H., Ramakrishna, M., Thakur, M., and Stone, R., 2006, “Concept Generation Algorithms for Repository-Based Early Design,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.

Kurtoglu, T., 2007, “A Computational Approach to Innovative Conceptual Design,” Mechanical Engineering, Vol. Ph.D., University of Texas, Austin, p. 155.

Kurtoglu, T., Campbell, M. I., Bryant, C. R., Stone, R. B., and McAdams, D. A., 2005, “Deriving a Component Basis for Computational Functional Synthesis,” International Conference on Engineering Design, ICED '05, Melbourne, Australia, Aug. 15–18.

Kurtoglu, T., Swantner, A., and Campbell, M. I., 2010, “Automating the Conceptual Design Process: From Black Box to Component Selection,” Artif. Intell. Eng. Des. Anal. Manuf., 24(1), pp. 49–62. [CrossRef]

Stone, R. B., Tumer, I. Y., and Stock, M. E., 2005, “Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design,” Res. Eng. Des., 16(2), pp. 96–108. [CrossRef]

Kurtoglu, T., and Tumer, I. Y., 2008, “A Graph-Based Fault Identificatiokn and Propagation Framework for Functional Design of Complex Systems,” ASME J. Mech. Des., 130, p. 051401. [CrossRef]

Tumer, I. Y., and Stone, R. B., 2001, “Analytical Methods to Evaluate Failure Potential During High-Risk Component Development,” ASME Design Engineering Technical Conferences, Pittsburgh, PA, Sept. 9–12.

Bohm, M. R., Stone, R. B., and Szykman, S., 2005, “Enhancing Virtual Product Representations for Advanced Design Repository Systems,” J. Comput. Inf. Sci. Eng., 5(4), pp. 360–372. [CrossRef]

Bohm, M. R., Stone, R. B., Simpson, T. W., and Steva, E. D., 2006, “Introduction of a Data Schema: The Inner Workings of a Design Repository,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.

Hirtz, J., Stone, R. B., McAdams, D. A., Szykman, S., and Wood, K. L., 2002, “A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts,” Res. Eng. Des., 13(2), pp. 65–82. [CrossRef]

Stone, R. B., and Wood, K. L., 2000, “Development of a Functional Basis for Design,” J. Mech. Des., 122(4), pp. 359–370. [CrossRef]

Szykman, S., Racz, J. W., and Sriram, R. D., 1999, “The Representation of Function in Computer-Based Design,” 1999 ASME Design Engineering Technical Conferences, Las Vegas, NV, Sept. 12–15.

Kirschman, C. F., and Fadel, G. M., 1998, “Classifying Functions for Mechanical Design,” J. Mech. Des., 120(3), pp. 475–482. [CrossRef]

Collins, J. A., Hagan, B. T., and Bratt, H. M., 1976, “Failure-Experience Matrix—A Useful Design Tool,” J. Eng. Ind., B 98(3), pp. 1074–1079. [CrossRef]

Sen, C., Summers, J., and Mocko, G., 2011, “A Protocol to Formalise Function Verbs to Support Conservation-Based Model Checking,” J. Eng. Des., 22(11/12), pp. 765–788. [CrossRef]

Nagel, R. L., 2011, “A Design Framework for Identifying Automation Opportunities,” Ph.D. thesis, School of Mechanical, Industrial and Manufacturing Engineering, Oregon State University, Corvallis, OR.

Nagel, R. L., Bohm, M. R., Stone, R. B., and McAdams, D. A., “A Representation of Carrier Flows for Functional Design,” International Conference on Engineering Design ICED 07, Paris, France, Aug. 28–31.

Nagel, R. L., Vucovich, J. P., Stone, R. B., and McAdams, D. A., 2007, “Signal Flow Grammar From the Functional Basis,” International Conference on Engineering Design, ICED '07, Paris, France, Aug. 28–31.

Nagel, R. L., Perry, K. L., Stone, R. B., and McAdams, D. A., 2009, “Functioncad: A Functional Modeling Application Based on the Function Design Framework,” International Design Engineering Technical Conferences, San Diego, CA.

Bohm, M., Stone, R. B., and Nagel, R., 2009, “Form Follows Form-Is a New Paradigm Needed?,” ASME 2009 International Mechanical Engineering Congress and Exposition (IMECE2009), Lake Buena Vista, Florida, Nov. 13–19.

Baumgart, B. G., “A Polyhedron Representation for Computer Vision,” Proceedings of the May 19–22, 1975, National Computer Conference and Exposition, ACM, 1975.

Baumgart, B. G., 1974, “Geometric Modelling for Computer Vision,” Stanford University Stanford, CA, Artificial Intelligence Report Number CS-463.

Corney, J., and Lim, T., 2002, 3D Modeling With Acis, 2nd ed., Saxe-Coburg Publications, Stirling, UK.

Zeid, I., 2007, Mastering Cad/Cam, 1st ed., Tata McGraw-Hill Publishing Company Limited, New Delhi, India.

Sen, C., 2011, “A Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design,” Ph.D. thesis, Clemson University, Clemson, South Carolina.

Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., and Katz, Y., 2007, “Pellet: A Practical OWL-DL Reasoner,” Web Semantics: Sci., Services Agents World Wide Web, 5(2), pp. 51–53. [CrossRef]

Summers, J. D., 2005, “Reasoning in Engineering Design,” ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Long Beach, CA.

Summers, J. D., and Shah, J. J., 2004, “Representation in Engineering Design: A Framework for Classification,” ASME Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept 28–Oct 2.

Minsky, M. L., 1965, “Matter, Mind and Models,” IFIP Congress, Washington, D.C., Vol. 1, pp. 45–49.

Dym, C. L., 1994, “Representing Designed Artifacts: The Languages of Engineering Design,” Arch. Comput. Methods Eng., 1, pp. 75–108. [CrossRef]

Dym, C., 1995, Engineering Design: A Synthesis of Views, Cambridge University Press, New York.

Dym, C. L., 1992, “Representation and Problem-Solving: The Foundations of Engineering Design,” Environ. Plan. B: Plan. Des., 19(1), pp. 97–105. [CrossRef]

Dym, C. L., Agogino, A. M., Eris, O., Frey, D. D., and Leifer, L. J., 2005, “Engineering Design Thinking, Teaching, and Learning,” Eng. Educ., 94(1), pp. 103–120. Available at: http://jee.org/2005/january/252.pdf [CrossRef]

Regli, W., Hu, X., Atwood, M., and Sun, W., 2000, “A Survey of Design Rationale Systems: Approaches, Representation, Capture, and Retrieval,” Eng. Comput., 16, pp. 209–235. [CrossRef]

Ullman, D., and Abmrosio, B., 1995, “A Taxonomy for Classifying Engineering Decision Problems and Support Systems,” Artif. Intell. Eng. Des. Anal. Manuf., 9, pp. 427–438. [CrossRef]

Shah, J., and Wilson, P., 1989, “Analysis of Design Abstraction, Representation, and Inferencing Requirements for Computer Aided Design,” Des. Stud., 10(3), pp. 169–178. [CrossRef]

Finger, S., and Dixon, J. R., 1989, “A Review of Research in Mechanical Engineering Design. Part Ii: Representations, Analysis, and Design for the Life Cycle,” Res. Eng. Des., 1, pp. 121–137. [CrossRef]

Summers, J. D., 2005, “Expressiveness of the Design Exemplar,” ASME 2005 International Design Engineering & Technical Conferences & Computers and Information in Engineering Conferences, vol. CIE-85135 Long Beach, CA.

Summers, J. D., Bettig, B., and Shah, J. J., 2004, “The Design Exemplar: A New Data Structure for Embodiment Design Automation,” ASME J. Mech. Des., 126(5), pp. 775–787. [CrossRef]

Pratt, M. J., 2001, “Introduction to ISO 10303—the Step Standard for Product Data Exchange,” J. Comput. Inf. Sci. Eng., 1(1) pp. 102–103. [CrossRef]

Gero, J. S., 1990, “Design Prototypes: A Knowledge Representation Schema for Design,” AI Mag., 11(4), pp. 26–36. Available at: http://www.aaai.org/ojs/index.php/aimagazine/article/view/854

Gero, J. S., and Kannengiesser, U., 2000, “Towards a Situated Function-Behaviour-Structure Framework as the Basis for a Theory of Designing,” Workshop on Development and Application of Design Theories in AI in Design Research, Sixth International Conference on Artificial Intelligence in Design, Worcester, MA.

Gero, J. S., and Kannengiesser, U., 2002, “The Situated Function-Behaviour-Structure Framework,” Artificial Intelligence in Design, J. S.Gero, ed., Kluwer Academic Publishers, Norwell, MA, pp. 89–104.

Dorst, K., and Vermaas, P. E., 2005, “John Gero's Function-Behaviour-Structure Model of Designing: A Critical Analysis,” Res. Eng. Des., 16, pp. 17–26. [CrossRef]

Umeda, Y., Takeda, H., Tomiyama, T., and Yoshikawa, H., 1990, “Function, Behavior, and Structure,” Applications of Artificial Intelligence, Design, 5th ed., J. S.Gero, ed., Springer Verlag, Boston, MA, Vol. 1, pp. 177–193.

Erden, M. S., Komoto, H., VanBeeK, T. J., D'Amelio, V., Echavarria, E., and Tomiyama, T., 2008, “A Review of Function Modeling: Approaches and Applications,” Artif. Intell. Eng. Des. Anal. Manuf., 22(2), pp. 147–169. [CrossRef]

Umeda, Y., and Tomiyama, T., 1995, “FBS Modeling: Modeling Scheme of Function for Conceptual Design,” 9th International Workshop on Qualitative Reasoning, Amsterdam, Nederlands, May.

Umeda, Y., Ishii, M., Yoshioka, M., Shimomura, Y., and Tomiyama, T., 1996, “Supporting Conceptual Design Based on the Function-Behavior-State Modeler,” Artif. Intell. Eng. Des. Anal. Manuf., 10(4), pp. 275–288. [CrossRef]

Goel, A., Bhatta, S., and Stroulia, E., 1997, “Kritik: An Early Case-Based Design System,” Issues and Applications of Case-Based Reasoning in Design, M. L.Maher and P.Pu, eds. Erlbaum, Mahwah, NJ, pp. 87–132.

Bhatta, S. R., and Goel, A. K., 1997, “A Functional Theory of Design Patterns,” 15th International Joint Conference on Artificial Intelligence—Volume 1, Nagoya, Japan.

Bhatta, S., Goel, A., and Prabhakar, S., 1994, “Innovation in Analogical Design: A Model-Based Approach,” Artificial Intelligence in Design, Dordrecht, The Netherlands.

Chandrasekaran, B., and Josephson, J. R., 1997, “Representing Function as Effect,” Fifth International Workshop on Advances in Functional Modeling of Complex Technical Systems, Paris, France, July.

Chandrasekaran, B., 2005, “Representing Function: Relating Functional Representation and Functional Modeling Research Streams,” Artif. Intell. Eng. Des. Anal. Manuf., 19(2), pp. 65–74. [CrossRef]

Chandrasekaran, B., and Josephson, J. R., 2000, “Function in Device Representation,” Eng. Comput., 16(3–4), pp. 162–177. [CrossRef]

Sembugamoorthy, V., and Chandrasekaran, B., 1986, “Functional Representation of Devices and Compilation of Diagnostic Problem-Solving Systems,” Experience, Memory, and Reasoning, J.Kolodner and C. K.Riesbeck, eds., Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 47–53.

Vescovi, M., Iwasaki, Y., Fikes, R., and Chandrasekaran, B., 1993, “CFRL: A Language for Specifying the Causal Functionality of Engineered Devices,” Eleventh National Conference on Artificial Intelligence, July, Washington, D.C.

Iwasaki, Y., Fikes, R., Vescovi, M., and Chandrasekaran, B., 1993, “How Things are Intended to Work: Capturing Functional Knowledge in Device Design,” International Joint Conference on Artificial Intelligence, Menlo Park, CA.

Lind, M., 1994, “Modeling Goals and Functions of Complex Industrial Plants.” Appl. Artif. Intell. Int. J., 8, pp. 259–283. [CrossRef]

Garbacz, P., 2005–2006, “Towards a Standard Taxonomy of Artifact Functions,” Appl. Ontol., 1, pp. 221–236. Available at: http://ehis.ebscohost.com/ehost/results?sid=25e40369-7bf5-42e7-8e15-a3b229a159de%40sessionmgr112&vid=1&hid=109&bquery=SO+(Applied+ontology)+and+(Towards+a+standard+taxonomy+of+artifact+functions)+and+DT+%222006%22+and+AU+%22Garbacz%22&bdata=JmRiPWE5aCZ0eXBlPTEmc2l0ZT1laG9zdC1saXZl

Borgo, S., Carrara, M., Garbacz, P., and Vermaas, P. E., 2011, “A Formalization of Functions as Operation on Flows,” J. Comput. Inf. Sci. Eng., 11(3), p. 031007. [CrossRef]

Patil, L., Dutta, D., and Sriram, R., 2005, “Ontology-Based Exchange of Product Data Semantics,” IEEE. Trans. Autom. Sci. Eng., 2(3), pp. 213–225. [CrossRef]

Kitamura, Y., Kashiwaseb, M., Fuseb, M., and Mizoguchi, R., 2004, “Deployment of an Ontological Framework of Functional Design Knowledge,” Adv. Eng. Inf., 18(2), pp. 115–127. [CrossRef]

Kitamura, Y., and Mizoguchi, R., 2003, “Ontology-Based Description of Functional Design Knowledge and Its Use in a Functional Way Server,” Expert Sys. Appl., 24, pp. 153–166. [CrossRef]

Sasajima, M., Kitamura, Y., Ikeda, M., and Mizoguchi, R., 1995, “FBRL: A Function and Behavior Representation Language,” International Joint Conferences on Artificial Intelligence, Montreal, Quebec, Canada, Aug. 20–25.

Cebrian-Tarrason, D., Lopez-Montero, J. A., and Vidal1, R., 2008, “Ontofabes: Ontology Design Based in FBS Framework,” CIRP Design Conference 2008: Design Synthesis, Enschede, Netherlands, April 7–9.

Sen, C., Summers, J. D., and Mocko, G. M., 2010, “Topological Information Content and Expressiveness of Function Models in Mechanical Design,” J. Comput. Inf. Sci. Eng., 10(3), p. 031003. [CrossRef]

Sen, C., Summers, J. D., and Mocko, G. M., 2011, “Exploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs,” The 18th International Conference on Engineering Design, Copenhagen, Aug. 15–18.

Caldwell, B. W., and Mocko, G. M., 2007, “Towards Rules for Functional Composition,” ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, NY, Aug. 3–6.

Caldwell, B. W., Sen, C., Mocko, G. M., and Summers, J. D., 2011, “An Empirical Study of the Expressiveness of the Functional Basis,” Artif. Intell. Eng. Des. Anal. Manuf., 25, pp. 273–287. [CrossRef]

McAdams, D. A., and Wood, K., 2002, “A Quantitative Similarity Metric for Design-by-Analogy,” J. Mech. Des., 124(2), pp. 173–182. [CrossRef]

Stone, R. B., Tumer, I. Y., and Wie, M. V., 2005, “The Function-Failure Design Method,” J. Mech. Des., 127(3), pp. 397–407. [CrossRef]

Bryant, C. R., Stone, R. B., McAdams, D. A., Kurtoglu, T., and Campbell, M. I., 2005, “Concept Generation from the Functional Basis of Design,” International Conference on Engineering Design, ICED 05, Melbourne, Aug. 15–18.

Kurtoglu, T., and Campbell, M. I., 2009, “Automated Synthesis of Electromechanical Design Configurations From Empirical Analysis of Function to Form Mapping,” J. Eng. Design, 20(1), pp. 83–104. [CrossRef]

Nagel, R. L., Stone, R. B., Hutcheson, R. S., McAdams, D. A., and Donndelinger, J. A., 2008, “Function Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems,” ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, New York, Aug. 3–6.

Goldschmidt, G., 1991, “The Dialectics of Sketching,” Creativity Res. J., 4(2), pp. 123–143. [CrossRef]

Chen, P. P., 1976, “The Entity-Relationship Model—Toward a Unified View of Data,” ACM Trans. Database Sys., 1(1), pp. 9–36. [CrossRef]

Luger, G. F., 2002, Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 4th ed., Addison-Wesley, Essex, England.

Russell, S., and Norvig, P., 2003, Artificial Intelligence: A Modern Approach, Prentice Hall/Pearson Education, Upper Saddle River, NJ.

Reichenbach, H., 1947, Elements of Symbolic Logic, Dover Publications Inc., New York.

Tarski, A., 1946, Introduction to Logic and to the Methodology of Deductive Sciences, 2nd ed., Dover Publications, Inc., New York.

Merrie, B., Moor, J., and Nelson, J., 2009, The Logic Book, 5th ed., McGraw-Hill, Inc., New York.

Gruber, T., 1993, “A Translation Approach to Portable Ontology Specifications,” Knowl. Acquis., 5, pp. 199–220. [CrossRef]

Li, L., and Horrocks, I., 2004, “A Software Framework for Matchmaking Based on Semantic Web Technology,” Int. J. Electron. Commerce, 8(4), pp. 39–60. Available at: http://mesharpe.metapress.com/link.asp?id=6c3xd67ppymbk8l9

Figures

Fig. 4

Entity-relation-attribute model of the vocabulary

View Large | Save Figure | Download Slide (.ppt)

Fig. 2

An intentionally inconsistent Function-CAD model

View Large | Save Figure | Download Slide (.ppt)

Fig. 3

Error report from the Function-CAD model

View Large | Save Figure | Download Slide (.ppt)

Fig. 1

Illustration of model-level inconsistencies allowed by the lack of formalism [21]

View Large | Save Figure | Download Slide (.ppt)

Fig. 7

Validation of modeling and reasoning using software implementation

View Large | Save Figure | Download Slide (.ppt)

Fig. 5

Asserted ontology version of the representation

View Large | Save Figure | Download Slide (.ppt)

Fig. 6

Result of consistency checking of the representation (consistent)

View Large | Save Figure | Download Slide (.ppt)

Tables

Errata

Discussions

Web of Science® Times Cited: 7

Some tools below are only available to our subscribers or users with an online account.

PDF
Email

You must be logged in as an individual user to share content.

Return to: A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

Copyright in the material you requested is held by the American Society of Mechanical Engineers (unless otherwise noted). This email ability is provided as a courtesy, and by using it you agree that you are requesting the material solely for personal, non-commercial use, and that it is subject to the American Society of Mechanical Engineers' Terms of Use. The information provided in order to email this topic will not be used to send unsolicited email, nor will it be furnished to third parties. Please refer to the American Society of Mechanical Engineers' Privacy Policy for further information.
Share
Get Citation

Sen C, Summers JD, Mocko GM. A Formal Representation of Function Structure Graphs for Physics-Based Reasoning. ASME. J. Comput. Inf. Sci. Eng. 2013;13(2):021001-021001-13. doi:10.1115/1.4023167.

Download citation file:

RIS (Zotero)

EndNote

BibTex

Medlars

ProCite

RefWorks

Reference Manager

© Copyright
Get Alerts

Processing your request... Please Wait.

A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

Abstract

FIGURES IN THIS ARTICLE

References

Figures

Tables

Errata

Discussions

Related Content

Journals

Conference Proceedings

eBooks