Foundations of multi-paradigm modeling and simulation: a port ontology for automated model composition

We study the cooncept of ports and we define an ontology for representing them. Ports define the locations of interaction at the boundaries of components or sub-systems; they can be used across different disciplines for both product moodeling and simulation. They are therefore a coonvenient abstraction that allows simulation modelers too moodularize and encapsulate their system descriptions such that configurations oof port-based prooduct models can be used to generate multiple simulation moodels at different levels of abstraction. However, to combine system models effectively across different disciplines, the representation of the ports needs to be unambiguous yet flexible, so that it can accommodate the differences in vocabulary and approach of all the disciplines. We provide an overview of how a port ontology, defined in the web ontology language, OWL, can capture both syntactic information such that autoomated modelers can reason about the system configuratioon and corresponding simulation models.

[1]  John Counsell Ian Porter David Dawson,et al.  Schemebuilder: computer aided knowledge based design of mechatronic systems , 1999 .

[2]  Janis Terpenny,et al.  A Survey of Methods and Approaches to Knowledge Management in the Product Development Environment , 2001 .

[3]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[4]  Richard Fikes,et al.  A Web-Based Compositional Modeling System for Sharing of Physical Knowledge , 1997, IJCAI.

[5]  Hilding Elmqvist,et al.  An Overview of the Modeling Language Modelica , 1998 .

[6]  James A. Hendler,et al.  Web ontology language (OWL) reference version 1 , 2002 .

[7]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[8]  Joseph B. Kopena,et al.  Extensible Semantics for Representing Electromechanical Assemblies , 2003 .

[9]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

[10]  Simon Szykman,et al.  A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .

[11]  Charles M. Eastman,et al.  Information models for use in product design: a comparison , 1994, Comput. Aided Des..

[12]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[13]  Caterina Rizzi,et al.  Racing car design using knowledge aided engineering , 2000, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[14]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[15]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[16]  Christiaan J. J. Paredis,et al.  Modeling of Component Interactions in Configuration Design , 2001 .

[17]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[18]  Kristin L. Wood,et al.  Development of a Functional Basis for Design , 2000 .

[19]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[20]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[21]  Hilding Elmqvist,et al.  An Introduction to the Physical Modeling Language Modelica , 1997 .

[22]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[23]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[24]  Ian Horrocks,et al.  OIL and DAML + OIL: Ontology Languages for the Semantic Web , 2003 .

[25]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[26]  Ram D. Sriram,et al.  Design Repositories: Engineering Design's New Knowledge Base , 2000, IEEE Intell. Syst..

[27]  Alice M. Agogino,et al.  Case-based conceptual design information server for concurrent engineering , 1996, Comput. Aided Des..

[28]  Ram D. Sriram,et al.  The Representation of Function in Computer-Based Design , 1999 .

[29]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .