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

Monte Carlo Ray Tracing Based Non-Linear Mixture Model of Mixed Pixels in Earth Observation Satellite Imagery Data

Monte Carlo based non-linear mixel (mixed pixel) model of visible to near infrared radiometer of earth observation satellite imagery is proposed. Through comparative studies with actual real earth observation satellite i...

An Automatic Cryptanalysis of Arabic Transposition Ciphers using Compression

This paper introduces a compression-based method adapted for the automatic cryptanalysis of Arabic transposition ciphers. More specifically, this paper presents how a Prediction by Partial Matching (‘PPM’) compression sc...

An Effective Virtual Reality based Remedy for Acrophobia

Virtual reality (VR) Exposure Therapy with sophisticated technology has been used in the Psychological treatment. The goal is to design a virtual environment using HCI (HMD) device with an interactive and immersive reali...

Model of Temperature Dependence Shape of Ytterbium -doped Fiber Amplifier Operating at 915 nm Pumping Configuration

We numerically analyze the temperature dependence of an ytterbium-doped fiber amplifier (YDFA) operating at 915 nm, investigating its gain and Noise Figure properties variation with temperature. The temperature-dependent...

An Efficient Segmentation of Retinal Blood Vessels using Singular Value Decomposition and Morphological Operator

The extensive study on retinal fundus images has become an essential part in medical domain to detect pathologies including diabetic retinopathy, cataract, glaucoma, macular degeneration,etc.which are the major causes of...

Download PDF file
  • EP ID EP162915
  • DOI 10.14569/IJACSA.2014.050715
  • Views 102
  • 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