A protocol to formalise function verbs to support conservation-based model checking

References

• Baya , V. and Leifer , L. Understanding design information handling behavior using time and information measure . Proceedings of the 1995 design engineering technical conferences . Boston, MA. Edited by: Ward , A. C. Vol. 2 , pp. 555 – 562 . New York : ASME . DE-Vol. 83
   Google Scholar
• Bhatta , S. R. and Goel , A. K. A functional theory of design patterns . 15th International joint conference on artificial intelligence – Vol. 1 . Nagoya, Japan. San Francisco, CA : Morgan Kaufmann Publishers .
   Google Scholar
• Bhatta , S. , Goel , A. and Prabhakar , S. Innovation in analogical design: a model-based approach . The proceedings of the third international conference on artificial intelligence in design (AID-94) . August 15–18 , Lausanne, Switzerland. pp. 57 – 74 . Dordrecht, , The Netherlands : Kluwer Acadmic Publishers .
   Google Scholar
• Bobrow , D. G. 1984 . Qualitative reasoning about physical systems: an introduction . Artificial Intelligence , 24 ( 1–3 ) : 1 – 5 .
   Web of Science ®Google Scholar
• Bohm , M. R. and Stone , R. B. Product design support: exploring a design repository system . November 13–19 . ASME international mechanical engineering congress , pp. 55 – 65 . NewYork, CA : American Society of Mechanical Engineers . IMECE2004-61746
   Google Scholar
• Bohm , M. R. and Stone , R. B. Representing functionality to support reuse: conceptual and supporting functions . ASME 2004 design engineering technical conferences and computers and information in engineering conference . September 28 . pp. 411 – 419 . New York : American Society of Mechanical Engineers . –2 October, Salt Lake City, UT DETC2004-57693
   Google Scholar
• Bohm , M. R. , Stone , R. B. and Szykman , S. 2005 . Enhancing virtual product representations for advanced design repository systems . Journal of Computing and Information Science in Engineering , 5 ( 4 ) : 360 – 372 .
   Web of Science ®Google Scholar
• Bohm , M. R. 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.
   Google Scholar
• Bracewell , R. H. and Sharpe , J. E.E. 1996 . Functional descriptions used in computer support for qualitative scheme generation – ‘schemebuilder’ . Artificial Intelligence for Engineering Design, Analysis & Manufacturing , 10 ( 4 ) : 333 – 345 .
   Web of Science ®Google Scholar
• Bryant , C. R. , Mcadams , D. A. and Stone , R. B. 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.
   Google Scholar
• Caldwell , B. W. Empirical examination of the functional basis and design repository . Third international conference on design computing and cognition . Atlanta, GA.
   Google Scholar
• Cebrian-Tarrason , D. , Lopez-Montero , J. A. and Vidal1 , R. Ontofabes: ontology design based in FBS framework . CIRP design conference 2008: design synthesis . Enschede, The Netherlands.
   Google Scholar
• Chandrasekaran , B. 2005 . Representing function: relating functional representation and functional modeling research streams . Artificial Intelligence for Engineering Design, Analysis and Manufacturing , 19 ( 2 ) : 65 – 74 .
   Web of Science ®Google Scholar
• Chandrasekaran , B. and Josephson , J. R. 1997 . “ Representing function as effect ” . In Fifth international workshop on advances in functional modeling of complex technical systems Edited by: Modarres , M. 3 – 16 . Paris, , France
   Google Scholar
• Chandrasekaran , B. and Josephson , J. R. 2000 . Function in device representation . Engineering with Computers , 16 ( 3–4 ) : 162 – 177 .
   Web of Science ®Google Scholar
• Collins , J. A. , Hagan , B. T. and Bratt , H. M. 1976 . Failure-experience matrix – a useful design tool . Journal of Engineering for Industry, B , 98 ( 3 ) : 1074 – 1079 .
   Google Scholar
• Collins , J. A. , Busby , H. R. and Staab , G. H. 2010 . Mechanical design of machine elements and machines , 2 , Hoboken, NJ : John Wiley & Sons .
   Google Scholar
• Garbacz , P. 2005–2006 . Towards a standard taxonomy of artifact functions . Applied Ontology , 1 ( 3–4 ) : 221 – 236 .
   Web of Science ®Google Scholar
• Gero , J. S. 1990 . Design prototypes: a knowledge representation schema for design . AI Magazine , 11 ( 4 ) : 26 – 36 .
   Web of Science ®Google Scholar
• Gero , J. S. 1996 . Creativity, emergence and evolution in design . Knowledge-Based Systems , 9 ( 7 ) : 435 – 448 .
   Web of Science ®Google Scholar
• Gero , J. S. and Kannengiesser , U. 2004 . The situated function-behaviour-structure framework . Design Studies , 25 ( 4 ) : 373 – 391 .
   Web of Science ®Google Scholar
• Goel , A. K. and Bhatta , S. R. 2004 . Use of design patterns in analogy-based design . Advanced Engineering Informatics , 18 ( 2 ) : 85 – 94 .
   Web of Science ®Google Scholar
• Goel , A. , Bhatta , S. and Stroulia , E. 1997 . “ Kritik: an early case-based design system ” . In Issues and applications of case-based reasoning in design , Edited by: Maher , M. L. and Pu , P. 87 – 132 . Mahwah, NJ : Erlbaum .
   Google Scholar
• Hirtz , J. 2002 . A functional basis for engineering design: reconciling and evolving previous efforts . Research in Engineering Design , 13 ( 2 ) : 65 – 82 .
   Web of Science ®Google Scholar
• Iwasaki , Y. How things are intended to work: capturing functional knowledge in device design . International joint conference on artificial intelligence . Menlo Park, CA.
   Google Scholar
• Iyer , N. 2005 . Three-dimensional shape searching: state-of-the-art review and future trends . Computer-Aided Design & Applications , 37 ( 5 ) : 509 – 530 .
   Web of Science ®Google Scholar
• Kirschman , C. F. and Fadel , G. M. 1998 . Classifying functions for mechanical design . Journal of Mechanical Design , 120 ( 3 ) : 475 – 482 .
   Web of Science ®Google Scholar
• Kitamura , Y. and Mizoguchi , R. 2003 . Ontology-based description of functional design knowledge and its use in a functional way server . Expert Systems with Applications , 24 : 153 – 166 .
   Web of Science ®Google Scholar
• Kroes , P. 2010 . “ Formalization of technical functions: why is that so difficult? ” . In Tools and methods of competitive engineering, TMCE-2010 Ancona, , Italy
   Google Scholar
• Kurtoglu , T. Deriving a component basis for computational functional synthesis . International conference on engineering design, ICED ’05 . Melbourne, Australia.
   Google Scholar
• Kurtoglu , T. Capturing empirically derived design knowledge for creating conceptual design configurations . ASME 2005 international design engineering and technical conferences and computers and information in engineering conference . Long Beach, CA.
   Google Scholar
• Kurtoglu , T. , Swantner , A. and Campbell , M. I. 2010 . Automating the conceptual design process: from black box to component selection . Artificial Intelligence for Engineering Design, Analysis & Manufacturing , 24 ( 1 ) : 49 – 62 .
   Web of Science ®Google Scholar
• Lind , M. 1994 . Modeling goals and functions of complex plant . Applied Artificial Intelligence , 8 ( 2 ) : 259 – 283 .
   Web of Science ®Google Scholar
• Mcadams , D. A. and Wood , K. 2002 . A quantitative similarity metric for design-by-analogy . Journal of Mechanical Design , 124 ( 2 ) : 173 – 182 .
   Web of Science ®Google Scholar
• Nagel , R. L. A representation of carrier flows for functional design . In: Proceedings of the international conference on engineering design ICED 07 . August 28–31 . no. 635, Paris, France
   Google Scholar
• Otto , K. N. and Wood , K. L. 2001 . Product design techniques in reverse engineering and new product development , Upper Saddle River, NJ : Prentice Hall .
   Google Scholar
• Pahl , G. 2007 . Engineering design: A systematic approach , 3 , London : Springer Verlag . London Limited
   Google Scholar
• Russell , S. and Norvig , P. 2002 . Artificial intelligence: a modern approach , Upper Saddle River, NJ : Prentice Hall/Pearson Education .
   Google Scholar
• Sasajima , M. FBRL:A function and behavior representation language . International joint conferences on artificial intelligence . Montreal, Quebec.
   Google Scholar
• Sembugamoorthy , V. and Chandrasekaran , B. 1986 . “ Functional representation of devices and compilation of diagnostic problem-solving systems ” . In Experience, memory, and reasoning , Edited by: Kolodner , J. and Riesbeck , C. K. 47 – 53 . Hillsdale, NJ : Lawrence Erlbaum Associates .
   Google Scholar
• Sen , C. , Summers , J. and Mocko , G. 2010a . Topological information content and expressiveness of function models in mechanical design . Journal of Computing and Information Science in Engineering , 10 ( 3 ) : 031003-1 – 031003-11 .
   Web of Science ®Google Scholar
• Sen , C. 2010b . Evaluation of the functional basis using an information theoretic approach . Artificial Intelligence for Engineering Design, Analysis & Manufacturing , 24 ( 1 ) : 85 – 103 .
   Web of Science ®Google Scholar
• Sen , C. , Summers , J. D. and Mocko , G. M. Exploring potentials for conservational reasoning using topologic rules of function structure graphs . The 18th international conference on engineering design . Copenhagen.
   Google Scholar
• Shah , J. Experimental investigation of progressive idea generation techniques in engineering design . In: ASME 1998 design engineering technical conferences and computers and information in engineering conference . Atlanta, GA. DTM-5676
   Google Scholar
• Shah , J. J. , Vargas-Hernandez , N. and Smith , S. M. 2003 . Metrics for measuring ideation effectiveness . Design Studies , 24 ( 2 ) : 111 – 134 .
   Google Scholar
• Sridharan , P. and Campbell , M. I. A grammar for function structures . ASME 2004 design engineering technical conferences and computers and information in engineering conference . Salt Lake City, UT.
   Google Scholar
• Sridharan , P. and Campbell , M. I. 2005 . A study on the grammatical construction of function structures . Artificial Intelligence for Engineering Design, Analysis & Manufacturing , 19 ( 3 ) : 139 – 160 .
   Web of Science ®Google Scholar
• Stone , R. B. and Wood , K. L. 2000 . Development of a functional basis for design . Journal of Mechanical Design , 122 ( 4 ) : 359 – 370 .
   Web of Science ®Google Scholar
• Szykman , S. , Racz , J. W. and Sriram , R. D. The representation of function in computer-based design . 1999 ASME design engineering technical conferences . Las Vegas, NV.
   Google Scholar
• Thomke , S. and Fujimoto , T. 2000 . The effect of ‘front-loading’ problem-solving on product development performance . Journal of Product Innovation Management , 17 ( 2 ) : 128 – 142 .
   Web of Science ®Google Scholar
• Tumer , I. Y. and Stone , R. B. Analytical methods to evaluate failure potential during high-risk component development . 2001 ASME design engineering technical conferences . Pittsburgh, PA.
   Google Scholar
• Ullman , D. G. 1992 . The mechanical design process , New York : McGraw-Hill .
   Google Scholar
• Umeda , Y. and Tomiyama , T. 1995 . “ FBS modeling: modeling scheme of function for conceptual design ” . In 9th international workshop on qualitative reasoning Amsterdam, , The Netherlands
   Google Scholar
• Umeda , Y. 1990 . “ Function, behavior, and structure ” . In Applications of artificial intelligence V, Vol 1: design , Edited by: Gero , J. S. 177 – 193 . Boston, MA : Springer Verlag .
   Google Scholar
• Umeda , Y. 1996 . Supporting conceptual design based on the function–behavior–state modeler . Artificial Intelligence for Engineering Design, Analysis & Manufacturing , 10 ( 4 ) : 275 – 288 .
   Web of Science ®Google Scholar
• Vescovi , M. CFRL: a language for specifying the causal functionality of engineered devices . Eleventh national conference on artificial intelligence . Washington, DC. Washington, DC : American Association for Artificial Intelligence .
   Google Scholar
• Vucovich , J. Concept generation algorithms for repository-based early design . ASME 2006 tinternational design engineering technical conferences and computers and information in engineering conference . Philadelphia, PA.
   Google Scholar