A formalism and method for representing and reasoning with process models authored by subject matter experts

Gómez-Pérez, José Manuel and Erdmann, M. and Greaves, M. and Corcho, Oscar (2013). A formalism and method for representing and reasoning with process models authored by subject matter experts. "IEEE Transactions on Knowledge And Data Engineering", v. 25 (n. 9); pp. 1933-1945. ISSN 1041-4347. https://doi.org/10.1109/TKDE.2012.127.

Description

Title: A formalism and method for representing and reasoning with process models authored by subject matter experts
Author/s:
  • Gómez-Pérez, José Manuel
  • Erdmann, M.
  • Greaves, M.
  • Corcho, Oscar
Item Type: Article
Título de Revista/Publicación: IEEE Transactions on Knowledge And Data Engineering
Date: September 2013
ISSN: 1041-4347
Volume: 25
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Abstract

Enabling Subject Matter Experts (SMEs) to formulate knowledge without the intervention of Knowledge Engineers (KEs) requires providing SMEs with methods and tools that abstract the underlying knowledge representation and allow them to focus on modeling activities. Bridging the gap between SME-authored models and their representation is challenging, especially in the case of complex knowledge types like processes, where aspects like frame management, data, and control flow need to be addressed. In this paper, we describe how SME-authored process models can be provided with an operational semantics and grounded in a knowledge representation language like F-logic in order to support process-related reasoning. The main results of this work include a formalism for process representation and a mechanism for automatically translating process diagrams into executable code following such formalism. From all the process models authored by SMEs during evaluation 82% were well-formed, all of which executed correctly. Additionally, the two optimizations applied to the code generation mechanism produced a performance improvement at reasoning time of 25% and 30% with respect to the base case, respectively.

More information

Item ID: 26710
DC Identifier: http://oa.upm.es/26710/
OAI Identifier: oai:oa.upm.es:26710
DOI: 10.1109/TKDE.2012.127
Official URL: http://ieeexplore.ieee.org/document/6226402/
Deposited by: Memoria Investigacion
Deposited on: 06 Jun 2014 13:10
Last Modified: 18 Jan 2017 09:18
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM