Business process verification with constraint temporal answer set programming

Theory and Practice of Logic Programming

Volumn 13, Issue 4-5, 2013, Pages 641-655

  Giordano, Laura ^a   Martelli, Alberto ^b   Spiotta, Matteo ^b   Dupré, Daniele Theseider ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING; MANAGEMENT SCIENCE; MODEL CHECKING;

ANSWER SET PROGRAMMING; BOUNDED MODEL CHECKING; BUSINESS PROCESS; BUSINESS RULES; CONSTRAINT SOLVING; ENCODING PROCESS; VERIFICATION OF TEMPORAL PROPERTIES; WORKFLOW LANGUAGE;

COMPLIANCE CONTROL;

EID: 84884805292     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068413000409     Document Type: Conference Paper

References (39)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P. and Torroni, P. 2008. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9, 4.
2. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P. and Sartor, G. 2005. Mapping of deontic operators to abductive expectations. NORMAS, 126-136.
3. Antoniou, G., Billington, D., Governatori, G. and Maher, M. J. 2001. Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255-287.
4. Biere, A., Cimatti, A., Clarke, E. M., Strichman, O. and Zhu, Y. 2003. Bounded model checking. Advances in Computers 58, 118-149.
5. Biere, A., Heljanko, K., Juntila, T., Latvala, T. and Schuppan, V. 2006. Linear encodings of bounded LTL model checking. Logical Methods in Computer Science 2, 1-64.
6. Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P. and Torchio, M. 2010. Adopting model checking techniques for clinical guidelines verification. Artificial Intelligence in Medicine 48, 1, 1-19.
7. Clarke, E., Kroening, D., Ouaknine, J. and Strichman, O. 2004. Completeness and complexity of bounded model checking. In VMCAI, 85-96.
8. Damaggio, E., Deutsch, A. and Vianu, V. 2011. Artifact systems with data dependencies and arithmetic. In ICDT.
9. DAprile, D., Giordano, L., Gliozzi, V., Martelli, A., Pozzato, G. L. and Theseider Dupre, D. 2010. Verifying business process compliance by reasoning about actions. In CLIMA XI, 99-116.
10. Dechter, R. 2003. Constraint Processing. Elsevier Morgan Kaufmann.
11. Deutsch, A., Hull, R., Patrizi, F. and Vianu, V. 2009. Automatic verification of data-centric business processes. In ICDT, 252-267.
12. Fahland, D., Favre, C., Koehler, J., Lohmann, N., V̈olzer, H. and Wolf, K. 2011. Analysis on demand: Instantaneous soundness checking of industrial business process models. Data & Knowledge Engineering 70, 5, 448-466.
13. Gebser, M., Ostrowski, M. and Schaub, T. 2009. Constraint answer set solving. In ICLP, 235-249.
14. Gelfond, M. 2007. Answer sets. Handbook of Knowledge Representation, chapter 7, Elsevier. Ghose, A. and Koliadis, G. 2007. Auditing business process compliance. ICSOC, LNCS 4749 , 169-180.
15. A. Ghose and G. Koliadis. Auditing business process compliance. ICSOC, LNCS 4749, pages 169–180, 2007.
16. Giordano, L., Martelli, A. and Theseider Dupre, D. 2013a. Reasoning about actions with temporal answer sets. Theory and Practice of Logic Programming 13, 201-225.
17. Giordano, L., Martelli, A. and Theseider Dupre, D. 2013a. Reasoning about actions with temporal answer sets. Theory and Practice of Logic Programming 13, 201-225.
18. Governatori, G. 2010. Law, logic and business processes. In Third International Workshop on Requirements Engineering and Law, IEEE.
19. Governatori, G. and Rotolo, A. 2006. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215.
20. Governatori, G. and Rotolo, A. 2006. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215.
21. Governatori, G. and Sadiq, S. 2009. The journey to business process compliance. Handbook of Research on BPM, IGI Global, 426-454.
22. Harel, D. 1984. Dynamic logic. In Handbook of Philosophical Logic, Vol. 2. 497-604.
23. Heljanko, K. and Niemel̈a, I. 2003. Bounded LTL model checking with stable models. Theory and Practice of Logic Programming 3, 4-5, 519-550.
24. Henriksen, J. and Thiagarajan, P. 1999. Dynamic linear time temporal logic. Annals of Pure and Applied logic 96, 1-3, 187-207.
25. Knuplesch, D., Ly, L. T., Rinderle-Ma, S., Pfeifer, H. and Dadam, P. 2010. On enabling data-aware compliance checking of business process models. In Proc. ER 2010, 29th International Conference on Conceptual Modeling, 332-346.
26. Knuplesch, D., Ly, L. T., Rinderle-Ma, S., Pfeifer, H. and Dadam, P. 2010. On enabling data-aware compliance checking of business process models. In Proc. ER 2010, 29th International Conference on Conceptual Modeling, 332-346.
27. Lu, S., Bernstein, A. J. and Lewis, P. M. 2006. Automatic workflow verification and generation. Theoretical Computer Science 353, 1-3, 71-92.
28. Montali, M., Torroni, P., Chesani, F., Mello, P., Alberti, M. and Lamma, E. 2010. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae 102, 3-4, 325-361.
29. Nigam, A. and Caswell, N. S. 2003. Business artifacts: An approach to operational specification. IBM Systems Journal 42, 3, 428-445.
30. Ostrowski, M. and Schaub, T. 2012. ASP modulo CSP: The clingcon system. TPLP 12, 4-5, 485-503.
31. Ostrowski, M. and Schaub, T. 2012. ASP modulo CSP: The clingcon system. TPLP 12, 4-5, 485-503.
32. Pesic, M. and van der Aalst, W. M. P. 2006. A declarative approach for flexible business processes management. In Business Process Management Workshops, LNCS 4103, Springer, 169-180.
33. Roman, D. and Kifer, M. 2008. Semantic web service choreography: Contracting and enactment. In International Semantic Web Conference, LNCS 5318, 550-566.
34. Roman, D. and Kifer, M. 2008. Semantic web service choreography: Contracting and enactment. In International Semantic Web Conference, LNCS 5318, 550-566.
35. Singh, M. P. 2000. A social semantics for Agent Communication Languages. Issues in Agent Communication, LNCS(LNAI) 1916 , 31-45.
36. van der Aalst, W. and ter Hofstede, A. 2005. YAWL: Yet another workflow language. Information Systems 30, 4, 245-275.
37. van der Aalst, W. M. P. and Pesic, M. 2006. Decserflow: Towards a truly declarative service flow language. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, vol. 06291.
38. Weber, I., Hoffmann, J. and Mendling, J. 2010. Beyond soundness: On the verification of semantic business process models. Distributed and Parallel Databases (DAPD).