Business Process Compliance Verification: An Annotation Based Approach with Commitments-Reference-Cited by-同舟云学术

Business Process Compliance Verification: An Annotation Based Approach with Commitments

Published:2012 Issue: Volume: Page:563-570
ISSN:
Container-title:Information Systems: Crossroads for Organization, Management, Accounting and Engineering
language:
Short-container-title:

Author:

D’Aprile Davide,Giordano Laura,Martelli Alberto,Pozzato Gian Luca,Rognone Daniele,Dupré Daniele Theseider

Publisher

Physica-Verlag HD

Link

http://link.springer.com/content/pdf/10.1007/978-3-7908-2789-7_61.pdf

Reference27 articles.

1. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P, Sartor G. (2005) Mapping of Deontic Operators to Abductive Expectations. NORMAS, 126–136.

2. Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Transactions on Computational Logic, 2:255–287.

3. Cheng A, Christensen S, Mortensen KH (1996) Model checking Coloured Petri Nets exploiting strongly connected components. International Workshop on Discrete Event Systems, 169–177.

4. Clarke EM, Emerson EA (1981) Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, 52–71.

5. D’Aprile D, Giordano L, Gliozzi V, Martelli A, Pozzato GL, and Theseider Dupré D (2010). Verifying business process compliance by reasoning about actions. In CLIMA XI, 99–116.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Business Process Compliance Approaches for Compliance Management with Regard to Digitization: Evidence from a Systematic Literature Review;Lecture Notes in Computer Science;2018

2. Research Methods in the itAIS Community: Building a Classification Framework for Management and Information Systems Studies;Lecture Notes in Information Systems and Organisation;2015-10-04

3. Engineering commitment-based business protocols with the 2CL methodology;Autonomous Agents and Multi-Agent Systems;2013-08-15