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
- EP ID EP165364
- DOI 10.7494/dmms.2011.5.1.57
- Views 212
- Downloads 0
Computational Model of Collective Intelligence for Meta-level Analysis and Prediction of Free or Quasi-free Market Economy
This paper encourages the use of a computational model of Collective Intelligence as a major (meta-level) tool to analyze and predict behavior of socio-economical systems like free (or quasi-free) markets are. Researcher...
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...
Batch Scheduling of Deteriorating Products
In this paper we consider the problem of scheduling N jobs on a single machine, where the jobs are processed in batches and the processing time of each job is a simple linear increasing function depending on job’s waitin...
Scheduling Problems with Learning and Ageing Effects: A Survey
In recent years, many papers concerning scheduling problems with simultaneous learning and ageing effects were published. In this paper, the state of the art of research concerning these problems is presented. In order t...
Application of Fuzzy Based VIKOR Approach for Multi-Attribute Group Decision Making (MAGDM): A Case Study in Supplier Selection
In today’s competitive global markets, selection of a potential supplier plays an important role to cut production costs as well as material costs of the company. This leads to successful survival and sustainability in a...