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 |
-
Petri-Netz-Konzepte für die Simulation verteilter betrieblicher Abläufe
Zimmer, Torsten, (2001)
-
Adaptive integration activity management for on demand business process collaboration
Zhang, Liang-Jie, (2004)
-
A top-down Petri net-based approach for dynamic workflow modeling
Chrza̜stowski-Wachtel, Piotr, (2003)
- More ...
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
-
Reasoning on choreographies and capability requirements
Baldoni, Matteo, (2007)
- More ...