Business process compliance verification : an annotation based approach with commitments
| Year of publication: |
2012
|
|---|---|
| Authors: | D'Aprile, Davide ; Giordano, Laura ; Martelli, Alberto ; Pozzato, Gian Luca ; Rognone, Daniele |
| Published in: |
Information systems : crossroads for organization, management, accounting and engineering : ItAIS: the Italian Association for Information Systems. - Berlin : Physica-Verlag, ISBN 978-3-7908-2788-0. - 2012, p. 563-570
|
| Subject: | Prozessmanagement | Business process management | Workflow-Management-System | Workflow management system | Graphentheorie | Graph theory | Wissensrepräsentation | Knowledge representation |
-
Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach
Cui, Puwen, (2020)
-
Kontextsensitive Ausnahmebehandlung in Geschäftsprozessen
(2011)
-
Geschäftsprozessmodellierung mit Petri-Netzen
Khneisseh, Amira, (2005)
- More ...
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
- More ...