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