Algorithms for basic compliance problems

Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013

Volumn , Issue , 2013, Pages 2-7

  Tosatto, Silvano Colombo ^a   Kharbili, Marwane El ^a   Governatori, Guido ^b   Kelsen, Pierre ^a   Ma, Qin ^a   Van Der Torre, Leendert ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b CSIRO   (Australia)

Author keywords

Compliance; Normative Reasoning; Verification

Indexed keywords

COMPLEXITY CLASS; COMPLIANCE; IN-PROCESS; NORMATIVE REASONING;

ALGORITHMS; SOFTWARE TESTING; VERIFICATION;

COMPLIANCE CONTROL;

EID: 84883336430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2013.6     Document Type: Conference Paper

References (18)

1. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530, 1985.
2. Ahmed Awad, Gero Decker, and Mathias Weske. Efficient compliance checking using bpmn-q and temporal logic. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors, BPM, volume 5240 of Lecture Notes in Computer Science, pages 326-341. Springer, 2008.
3. Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen, and Leendert van der Torre. Business process compliance is hard. Technical report, NICTA, 2012.
4. Aditya Ghose and George Koliadis. Auditing business process compliance. In Bernd J. Krämer, Kwei-Jay Lin, and Priya Narasimhan, editors, ICSOC, volume 4749 of Lecture Notes in Computer Science, pages 169-180. Springer, 2007.
5. Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, and Ingo Weber. Detecting regulatory compliance for business process models through semantic annotations. In Danilo Ardagna, Massimo Mecella, and Jian Yang, editors, Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, pages 5-17. Springer, 2008.
6. Guido Governatori, Zoran Milosevic, and Shazia Sadiq. Compliance checking between business processes and business contracts. In Patrick C. K. Hung, editor, 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), pages 221-232. IEEE, 2006.
7. Guido Governatori and Antonino Rotolo. Norm compliance in business process modeling. In Proceedings of the 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2010), volume 6403 of LNCS, pages 194-209. Springer, 2010.
8. Guido Governatori and Shazia Sadiq. The journey to business process compliance. In Jorge Cardoso and Wil van der Aalst, editors, Handbook of Research on BPM, chapter 20, pages 426-454. IGI Global, 2009.
9. Jörg Hoffmann, Ingo Weber, and Guido Governatori. On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers, 14(2):155-177, 2012.
10. Andrew Jones and José Carmo. Deontic logic and contrary-to-duties. In Dov Gabbay and Franz Guenthner, editors, Handbook of Philosophical Logic, pages 265-343. Kluwer Academic Publishers, 2002.
11. G. Keller and T. Teufel. SAP R/3 Process Oriented Implementation: Iterative Process Prototyping. ddison-Wesley, 1998.
12. M. E. Kharbili. Business process regulatory compliance management solution frameworks: A comparative evaluation. In Asia-Pacific Conference on Conceptual Modelling (APCCM 2012), volume 130 of CRPIT, pages 23-32. ACS, 2012.
13. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, and Christoph Bussler. On structured workflow modelling. In Proceedings of the 12th International Conference on Advanced Information Systems Engineering, CAiSE '00, pages 431-445, London, UK, UK, 2000. Springer-Verlag.
14. Artem Polyvyanyy, Luciano Garcá-Banuelos, and Marlon Dumas. Structuring acyclic process models. Information Systems, 37(6):518-538, 2012.
15. Henry Prakken and Marek Sergot. Dyadic deontic logic and contraryto-duty obligations, 1997.
16. Dumitru Roman and Michael Kifer. Reasoning about the behaviour of semantic web services with concurrent transaction logic. In VLDB, pages 627-638, 2007.
17. Shazia Sadiq and Guido Governatori. Managing regulatory compliance in business processes. In Jan van Brocke and Michael Rosemann, editors, Handbook of Business Process Management, volume 2, chapter 8, pages 157-173. Springer, Berlin, 2010.
18. Wil M. P. van der Aalst, Maja Pesic, and Helen Schonenberg. Declarative workflows: Balancing between flexibility and support. Computer Science-R&D, 23(2):99-113, 2009.