Reasoning on data-aware business processes with constraint logic

CEUR Workshop Proceedings

Volumn 1293, Issue , 2014, Pages 60-75

  Proietti, Maurizio ^a   Smith, Fabrizio ^a  

^a CNR   (Italy)

Author keywords

Analysis; Business process; Constraints; Logic programming; Verification

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; FORMAL METHODS; SEMANTICS; VERIFICATION;

ANALYSIS; BEHAVIORAL SEMANTICS; BUSINESS PROCESS; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINTS; INFERENCE MECHANISM; STANDARD CONSTRAINTS; STATE TRANSITION SYSTEMS;

LOGIC PROGRAMMING;

EID: 84914688422     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. OMG: Business Process Model and Notation. http://www.omg.org/spec/BPMN/2.0 (2011)
2. van der Aalst, W.M.P: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1) (1998) 21-66
3. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3) (July 2003) 428-445
4. Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: On the Move to Meaningful Internet Systems: OTM 2008, Part II. Volume 5332 of LNCS. Springer (2008) 1152-1163
5. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: A database theory perspective. In: Proceedings of the 32nd Symposium on Principles of Database Systems. PODS '13, ACM (2013) 1-12
6. van der Aalst, W., Weske, M.: Case handling: A new paradigm for business process support. Data Knowl. Eng. 53(2) (2005) 129-162
7. Thielscher, M.: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2 (1998) 179-192
8. Jaffar, J., Maher, M.: Constraint logic programming: A survey. Journal of Logic Programming 19/20 (1994) 503-581
9. Smith, F, Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: Proceedings of the 5th Int. Conf. on Agents and Artificial Intelligence, Volume I., Sci Te Press (2013) 130-143
10. Lloyd, J.W.: Foundations of logic programming. Springer-Verlag New York, Inc. (1987)
11. Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: On the verification of semantic business process models. Distrib. Parallel Databases 27 (2010) 271-343
12. Smith, F., Missikoff, M., Proietti, M.: Ontology-Based Querying of Composite Services. In: Business System Management and Engineering. Volume 7350 of LNCS. Springer (2010) 159-180
13. Dietrich, S., Fan, C: On the completeness of naive memoing in Prolog. New Generation Computing 15(2) (1997) 141-162
14. Damaggio, E., Deutsch, A., Vianu, V: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3) (September 2012) 22:1-22:36
15. Bagheri Hariri, B., Calvanese, D., De Giacomo, G, Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd Symposium on Principles of Database Systems. PODS '13, ACM (2013) 163-174
16. Giordano, L., Martelli, A., Spiotta, M., Dupré, D.T.: Business process verification with constraint temporal answer set programming. TPLP 13(4-5) (2013) 641-655
17. Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in Declare. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing. SAC '13, ACM (2013) 1391-1396
18. Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Proceedings of 11th International Conference on Business Process Management, BPM 2013. Volume 8094 of LNCS. Springer (2013) 171-186
19. Sidorova, N., Stahl, C, Trcka, N.: Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. 36(7) (2011) 1026-1043
20. de Leoni, M., van der Aalst, W.M.P: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. In: Proceedings of 11th International Conference on Business Process Management, BPM 2013. Volume 8094 of LNCS. Springer (2013) 113-129