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 81
- Downloads 0
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
On the Non-Symmetric Nash and Kalai-Smorodinsky Bargaining Solutions
Recently in some negotiation application areas the usual assumption that the negotiators are symmetric has been relaxed. In particular, weights have been introduced to the Nash Bargaining Solution to reflect the differe...
Application of a Fuzzy Inference System for the Optimization of Material Removal Rate and Multiple Surface Roughness Characteristics in the Machining of GFRP Polyester Composites
This paper presents a multi-objective extended optimization methodology applied in the machining of a randomly oriented GFRP rod. Design of Experiment (DOE) has been selected based on a L9 orthogonal array design with va...
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...
Analogous Forecasting of Products with a Short Life Cycle
Managing a supply chain for products with a short life cycle, like fashion apparel, high-tech, personal computers, toys, CD’s etc., is challenging for many companies (Fisher and Raman, 1999). Because the life cycles of t...