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

Manpower Planning with Annualized Hours Flexibility: A Fuzzy Mathematical Programming Approach

We have considered the problem of annualized hours (AH) in workforce management. AH is a method of distributing working hours with respect to the demand over a year. In this paper, the basic Manpower planning problem wit...

A Transfer Line Balancing Problem by Heuristic Methods: Industrial Case Studies

The paper deals with the problem of optimal configuration of a type of transfer lines which are equipped with transfer machines. Such machines perform operations with standard modular spindle heads which are activated se...

Corrigendum to ”Extended Model Formulation of the Proportional Lot-Sizing and Scheduling Problem with Lost Demand Costs”

Amendment to Decision Making in Manufacturing and Services, vol. 5 (1–2), 2011, pp. 49–56

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...

On Public Values and Power Indices

In this paper we analyze, from a different point of view, some values and power indices well defined in the social context where the goods are public. In particular we consider the Public Good index (Holler, 1982), the P...

Download PDF file
  • EP ID EP165364
  • DOI 10.7494/dmms.2011.5.1.57
  • Views 210
  • 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