- Tytuł:
- BPMN – a logical model and property analysis
- Autorzy:
- Ligęza, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/375880.pdf
- Data publikacji:
- 2011
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model - Opis:
- 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.
- Źródło:
-
Decision Making in Manufacturing and Services; 2011, 5, 1-2; 57-67
1896-8325
2300-7087 - Pojawia się w:
- Decision Making in Manufacturing and Services
- Dostawca treści:
- Biblioteka Nauki