Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2014, Vol 5, Issue 7
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
- EP ID EP162915
- DOI 10.14569/IJACSA.2014.050715
- Views 98
- Downloads 0
Cloud Computing: Pricing Model
Cloud computing is the elemental aspect for online security of computing resources. It helps on-demand dividing of resources and cost between a major number of end users. It provides end users to process, manage, and sto...
Evaluation of the Performance of the University Information Systems: Case of Moroccan Universities
The purpose of this paper is to develop a conceptual model of university information systems performance measurement. To do this resorted to the choice of 3E-3P model. This model proposes a development under the spectrum...
Social Networking Sites Habits and Addiction Among Adolescents in Klang Valley
Social networking sites (SNS) is a very popular application in today’s world society. SNS, to certain extent has change the way people communicate with each other. This kind of technology has become a trend among the use...
Role Based Multi-Agent System for E-Learning (MASeL)
Software agents are autonomous entities that can interact intelligently with other agents as well as their environment in order to carry out a specific task. We have proposed a role-based multi-agent system for e-learnin...
Developement of Bayesian Networks from Unified Modeling Language for Learner Modelling
First of all, and to clarify our purpose, it seems important to say that the work we are presenting here lie within the framework of learner modeling in an adaptive system understood as computational modeling of the lear...