Ontology-based Process Modeling and Execution Using STEP/EXPRESS

A common data format as provided by the STEP/EXPRESS initiative is an important step toward interoperability in heterogeneous design and manufacturing environments. Ontologies further support integration by providing an explicit formalism of process and design knowledge, thereby enabling semantic integration and re-use of process-information. By formalizing the process-model in EXPRESS, we gain access to the domain knowledge in the STEP application protocols. We present an approach to process modeling using different models for abstract process knowledge and implementation details. The abstract process model supports re-use and is independent of the implementation. As a result, we translate the process model in combination with the implementation model to an executable workflow.

[1]  John S. Gero,et al.  A function–behavior–structure ontology of processes , 2007, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[2]  Markus Stumptner,et al.  Ontology-Based Process Modelling for Design Optimisation Support , 2008 .

[3]  Dan Corbett,et al.  Building Corporate Knowledge Through Ontology Integration , 2006, PKAW.

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

[5]  Edward A. Lee,et al.  CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–7 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02] Taverna: Lessons in creating , 2022 .

[6]  Stefan Jablonski,et al.  On the complementarity of workflow management and business process modeling , 1995, SIGO.

[7]  Balakrishnan Chandrasekaran,et al.  The Ontology of Tasks and Methods , 1997 .

[8]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[9]  Riichiro Mizoguchi,et al.  An ontological model of device function: industrial deployment and lessons learned , 2006, Appl. Ontology.

[10]  Edward A. Lee,et al.  Scientific workflow management and the Kepler system , 2006, Concurr. Comput. Pract. Exp..

[11]  Anne-Françoise Cutting-Decelle,et al.  Organising Manufacturing Information for Engineering Interoperability , 2007, IESA.

[12]  Patrick Girard,et al.  Formal Specification and Metaprogramming in the EXPRESS Language , 1995, SEKE.

[13]  Yamine Aït Ameur,et al.  An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems , 2003, ICEIS.