Employing Ontologies for an Improved Development Process in Collaborative Engineering

This work brings a contribution to the improvement of the product development process in the engineering domain. The overall goal of the design process is to realize in a short time and with minimal costs a high quality design solution that satisfies all customer requirements. In order to achieve this goal and to master the product complexity, a divide-and-conquer approach is applied: The design task is split in several development branches, each of them being concerned with only one aspect of the product. At different stages of the design process, the design models resulting from the different development branches are synchronized with each other in order to ensure the consistency of the overall design. However, checking the consistency of a design model and between different design models is a very challenging task. One of the reasons is that the engineering tools employed by the development branches operate on models that have different conceptualization of a product according to their own viewpoint. For instance, a computer-aided design (CAD) tool will model the geometrical characteristics of a product, while a simulation tool will model the behavior of the product. Although the two design models represent different viewpoints on the product, they must be consistent with each other, if a common implementation (i.e., the product) of the two design models should be realized. Besides the consistency checking of design models, the propagation of design changes from one model to another is also important. These two tasks are very frequently done in the design process, and ideally they should be automated. However, there are several hindrances to an automation of these tasks. First, the engineering tools do not typically interoperate. Exchanging model information between engineering tools is often done manually, is errorprone and difficult, considering the size and complexity of the design models. Second, the design models are represented using different modeling languages with their own syntax and modeling methodology. Third, the design models operate with different conceptualization of the product according to their own view on the product. Very often many aspects of the design model remain implicit and are known only to the engineers who have actually built the model. Forth, there are no explicit or formal correspondences between the design models that could be used to asses the consistency between the models and to propagate the design changes. The contribution that this work brings to the improvement of the design process is two fold. First, it provides a framework for building higher quality design models. Second, it provides a framework that supports the automation of the consistency checking between the design models and for change propagation. The two goals are achieved by using a formal approach to modeling engineering systems based on ontologies. Ontologies are formal descriptions of the objects, of their properties and relationships in a certain domain. Ontologies also con-

[1]  John Leonard,et al.  Systems Engineering Fundamentals , 1999 .

[2]  Mark A. Musen,et al.  Ontologies in Support of Problem Solving , 2004, Handbook on Ontologies.

[3]  Peter Struss,et al.  Model-Based Systems in the Automotive Industry , 2004, AI Mag..

[4]  Richard Stevens,et al.  Systems engineering : coping with complexity , 1998 .

[5]  H M Kim,et al.  An Ontology for Quality Management — Enabling Quality Problem Identification and Tracing , 1999 .

[6]  Enrico Motta,et al.  Specifications of Knowledge Components for Reuse , 1999 .

[7]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[8]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[9]  Hans Chalupsky,et al.  OntoMorph: A Translation System for Symbolic Knowledge , 2000, KR.

[10]  Barry Boehm,et al.  Heterogeneous view integration and its automation , 2000 .

[11]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[12]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[13]  Mark A. Musen,et al.  Mappings for Reuse in Knowledge-based Systems , 2001 .

[14]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[15]  Michael Grüninger,et al.  Ontologies for Integrating Engineering Applications , 2001, J. Comput. Inf. Sci. Eng..

[16]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[17]  Francis Neelamkavil Computer Simulation and Modelling , 1987 .

[18]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[19]  Michael Grüninger,et al.  Semantic Integration through Invariants , 2005, AI Mag..

[20]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[21]  John Christopher Miles,et al.  Computer aided conceptual design: a review , 2001 .

[22]  Helen Leemhuis,et al.  Funktionsgetriebene Konstruktion als Grundlage verbesserter Produktentwicklung , 2005 .

[23]  Bob Lightsey,et al.  Systems Engineering Fundamentals , 2001 .

[24]  Vipul Kashyap,et al.  Observer: an approach for query processing in global information systems based on interoperation across pre-existing ontologies , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[25]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[26]  Erhard Rahm,et al.  Generic Schema Matching with Cupid , 2001, VLDB.

[27]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[28]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[29]  Jürgen Gausemeier From mechatronics to self-optimizing concepts and structures in mechanical engineering: new approaches to design methodology , 2005, Int. J. Comput. Integr. Manuf..

[30]  Howard Bowman,et al.  Viewpoint consistency in ODP, a general interpretation , 1997 .

[31]  Holger Wache,et al.  Semantische Mediation für heterogene Informationsquellen , 2003, Künstliche Intell..

[32]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[33]  M A Musen,et al.  Dimensions of knowledge sharing and reuse. , 1992, Computers and biomedical research, an international journal.

[34]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[35]  Crispin Hales,et al.  Engineering design: a systematic approach , 1989 .

[36]  Michael Uschold,et al.  Ontologies and semantics for seamless connectivity , 2004, SGMD.

[37]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[38]  Tudor Groza,et al.  SemVersion: RDF-based ontology versioning system , 2006 .

[39]  Dave Barker-Plummer,et al.  Language, Proof and Logic , 1999 .

[40]  Natalya F. Noy,et al.  Semantic integration: a survey of ontology-based approaches , 2004, SGMD.

[41]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[42]  Vladimir Hubka,et al.  Theorie technischer Systeme : Grundlagen einer wissenschaftlichen Konstruktionslehre , 1984 .

[43]  Raphael Volz,et al.  Migrating data-intensive web sites into the Semantic Web , 2002, SAC '02.

[44]  Mark S. Fox,et al.  A Requirement Ontology for Engineering Design , 1996 .

[45]  Jennifer Widom,et al.  Information translation, mediation, and mosaic-based browsing in the TSIMMIS system , 1995, SIGMOD '95.

[46]  Jan Top,et al.  Tasks and ontologies in engineering modelling , 1994, Int. J. Hum. Comput. Stud..

[47]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[48]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[49]  Amaresh Chakrabarti,et al.  Engineering design synthesis : understanding, approaches and tools , 2002 .

[50]  Alain Pirotte,et al.  The Semantics of Reifying n-ary Relationships as Classes , 2002, ICEIS.

[51]  Fumio Harashima,et al.  Mechatronics - "What Is It, Why, and How?" An editorial , 1996, IEEE/ASME Transactions on Mechatronics.

[52]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[53]  W. N. Borst,et al.  Construction of Engineering Ontologies for Knowledge Sharing and Reuse , 1997 .

[54]  Edwin Notteboom Multiple V-model in relation to testing , 2003, Softwaretechnik-Trends.

[55]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[56]  Bernd Mahr,et al.  Reference Points for the Observation of Systems Behaviour , 2006 .

[57]  Christian Weber,et al.  CAx/engineering data management integration: Enabler for methodical benefits in the design process , 2005 .

[58]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[59]  Frank Seelisch,et al.  A Relational Constraint Solver for Model-Based Engineering , 2002, CP.

[60]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[61]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[62]  Luigi Logrippo,et al.  The ISO Reference Model for Open Distributed Processing: An Introduction , 1995, Comput. Networks ISDN Syst..

[63]  Boris Motik,et al.  MAFRA - A MApping FRAmework for Distributed Ontologies , 2002, EKAW.

[64]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[65]  Alexander Pretschner,et al.  Abstractions for Model-Based Testing , 2005, Electron. Notes Theor. Comput. Sci..

[66]  Dana S. Nau,et al.  Ontology-Based Semantics , 2000, KR.

[67]  Pedro M. Domingos,et al.  Representing and reasoning about mappings between domain models , 2002, AAAI/IAAI.

[68]  Klaus Ehrlenspiel,et al.  Integrierte Produktentwicklung : Methoden für Prozeßorganisation, Produkterstellung und Konstruktion , 1995 .

[69]  Stefan Decker,et al.  A Scalable Framework for the Interoperation of Information Sources , 2001, SWWS.

[70]  G. Karsai,et al.  Tool Integration Patterns , 2003 .

[71]  Johann Ulrich Zimmermann,et al.  Informational integration of product development software in the automotive industry : the ULEO approach , 2005 .

[72]  Gerold Patzak,et al.  Systemtechnik — Planung komplexer innovativer Systeme , 1982 .

[73]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[74]  Karlheinz Roth,et al.  Konstruieren Mit Konstruktionskatalogen , 1994 .

[75]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[76]  W. van de Velde,et al.  CommonKADS Library for Expertise Modelling: reusable problem solving components , 1994 .