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 |
-
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf, (2017)
-
A supervisory control method of upper limit constraints for workflow nets
Yamaguchi, Shingo, (2017)
-
Dynamic monitoring of service outsourcing for timed workflow processes
Du, Yanhua, (2019)
- More ...
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
- More ...