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 195
- Downloads 0
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...
Editorial
Welcome to the premier issue of the new international journal Decision Making in Manufacturing and Services. The launching of a new journal is a unique opportunity to introduce its mission, scope, and coverage areas.
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...
Allocating Pooled Inventory According to Contributions and Entitlements
Inventory pooling, whether by centralization of stock or by mutual assistance, is known to be beneficial when demands are uncertain. But when the retailers are independent, the question is how to divide the benefits of p...
Stretching the Least Squares to Embed Loss Functions Tables
The method of least squares is extended to accommodate a class of loss functions specified in the form of function tables. Each function table is embedded into the standard quadratic loss function so that the nonlinear l...