No abstract

One of the frequently occurring problems in process aware information systems is to determine if the observations (in the form of events logs) match/fit the behavior of the reference system (modeled as a business process). This problem is more commonly known as "process conformance checking". In this paper we tackle this problem using concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using FDR model checker.

No abstract

In business process management, it has become necessary to semantically annotate business processes with ontology for better service provisioning, integration and composition. The OASIS has introduced Universal Business Languages (UBL) as a common format for standardizing common business documents as well as business processes. We propose a method for capturing and managing the information stored in business transactions based on the widely used UBL. We use hybrid programs as the knowledge representation formalism. The formalism of hybrid programs integrates normal clauses (using the parlance of logic programming) with ontology specified in OWL-DL (semantic web standard). This hybrid system uses XSB Prolog for rule reasoning and Pellet for ontology reasoning. We have built a tool that takes a description of a UBL process as input and produces the corresponding hybrid program as output knowledge base on which suitable queries can be fired.

No abstract