Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic

Abstract

A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal. Business process modeling (BPM) using knowledge of the available process modeling techniques enables a common understanding and analysis of a business process. Industry and academics use informal and formal techniques respectively to represent business processes (BP), having the main objective to support an organization. Despite both are aiming at BPM, the techniques used are quite different in their semantics. While carrying out literature research, it has been found that there is no general representation of business process modeling is available that is expressive than the commercial modeling tools and techniques. Therefore, it is primarily conceived to provide an ontology mapping of modeling terms of Business Process Modeling Notation (BPMN), Unified Modeling Language (UML) Activity Diagrams (AD) and Event Driven Process Chains (EPC) to temporal logic. Being a formal system, first order logic assists in thorough understanding of process modeling and its application. However, our contribution is to devise a versatile conceptual categorization of modeling terms/constructs and also formalizing them, based on well accepted business notions, such as action, event, process, connector and flow. It is demonstrated that the new categorization of modeling terms mapped to formal temporal logic, provides the expressive power to subsume business process modeling techniques i.e. BPMN, UML AD and EPC.

Authors and Affiliations

Irfan Chishti, Jixin Ma, Brian Knight

Keywords

Related Articles

OJADEAC: An Ontology Based Access Control Model for JADE Platform

Java Agent Development Framework (JADE) is a software framework to make easy the development of Multi-Agent applications in compliance with the Foundation for Intelligent Physical Agents (FIPA) specifications. JADE propo...

Low Complexity for Scalable Video Coding Extension of H.264 based on the Complexity of Video

Scalable Video Coding (SVC) / H.264 is one type of video compression techniques. Which provided more reality in dealing with video compression to provide an efficient video coding based on H.264/AVC. This ensures higher...

 Requirements Analysis through Viewpoints Oriented Requirements Model (VORD)

  This paper describes an extension to the Viewpoints Oriented Requirements Definition (VORD) model and attempts to resolve its lack of direct support for viewpoint interaction. Supporting the viewpoint interac...

Techniques to improve the GPS precision

The accuracy of a standard market receiver GPS (Global Positioning System) is near 10-15 meters the 95% of the times. To reach a sub-metric level of accuracy some techniques must be used [1]. This article describes some...

An Extensive Survey over Traffic Management/Load Balance in Cloud Computing

Cloud Computing (CC) is all about carrying out processing in other's system. There are various vendors who provide CC services. The basic algorithm that should be met to access CC services is a need for steady internet c...

Download PDF file
  • EP ID EP162915
  • DOI 10.14569/IJACSA.2014.050715
  • Views 101
  • Downloads 0

How To Cite

Irfan Chishti, Jixin Ma, Brian Knight (2014). Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic. International Journal of Advanced Computer Science & Applications, 5(7), 95-104. https://europub.co.uk/articles/-A-162915