BPMN – A Logical Model and Property Analysis

Journal Title: Decision Making in Manufacturing and Services - Year 2011, Vol 5, Issue 1

Abstract

Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.

Authors and Affiliations

Antoni Ligęza

Keywords

Related Articles

An Incremental Approach for Storage and Delivery Planning Problems

We consider a logistic planning problem for simultaneous optimization of the storage and the delivery. This problem arises in the consolidate shipment using an intermediate storage in a supply chain, which is typically f...

Models and Tools for Improving Efficiency in Constraint Logic Programming

Constraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of...

Indirect Control of Corporations: Analysis and Simulations

This paper is devoted to indirect control in corporate shareholding networks. This topic is important in financial economics. Since shareholding size does not actually reflect an investor’s power-control in corporate sha...

Resource Management in Machine Scheduling Problems: A Survey

The paper is a survey devoted to job scheduling problems with resource allocation. We present the results available in the scientific literature for commonly used models of job processing times and job release dates, i.e...

BPMN – A Logical Model and Property Analysis

Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal se...

Download PDF file
  • EP ID EP165364
  • DOI 10.7494/dmms.2011.5.1.57
  • Views 214
  • Downloads 0

How To Cite

Antoni Ligęza (2011). BPMN – A Logical Model and Property Analysis. Decision Making in Manufacturing and Services, 5(1), 57-67. https://europub.co.uk./articles/-A-165364