Verification of choreographies during execution using the reactive event calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5387, Issue , 2009, Pages 143-157

  Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^a   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; FORMAL METHODS; LOGIC PROGRAMMING; WEBSITES;

COMPUTATIONAL LOGIC; CORE SET; DESCRIPTION LANGUAGES; EVENT CALCULUS; MODEL COMPENSATION; RUN-TIME VERIFICATION; SERVICE BEHAVIOURS; TIME CONSTRAINTS;

WEB SERVICES;

EID: 67649967197     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01364-5_4     Document Type: Conference Paper

References (20)

1. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language. W3C Working Draft 17-12-104 (2004), http://www.w3.org/TR/ws-cdl-10/
2. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.4294, pp. 339-351. Springer, Heidelberg (2006)
3. Li, J., Zhu, H., Pu, G.: Conformance validation between choreography and orchestration. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 473-482. IEEE Computer Society Press, Los Alamitos (2007) (Pubitemid 47447906)
4. Zaha, J., Dumas, M., Hofstede, A., Barros, A., Dekker, G.: Service Interaction Modeling: Bridging Global and Local Views. QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology (2006)
5. Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.4714, pp. 305-319. Springer, Heidelberg (2007)
6. Allen Emerson, E., Halpern, J.: "Sometimes" and "Not Never" revisited: On branching times versus linear time. Journal of the ACM 33, 151-178 (1986) (Pubitemid 16461377)
7. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Information and Computation 104, 35-77 (1993)
8. Wang, F.: Formal verification of timed systems: A survey and perspective. Proceedings of the IEEE 92(8), 1283-1305 (2004) (Pubitemid 40890701)
9. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service .ow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.4184, pp. 1-23. Springer, Heidelberg (2006) (Pubitemid 44849748)
10. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67-95 (1986)
11. Chesani, F., Montali, M., Mello, P., Torroni, P.: An e.cient SCIFF implementation of Reactive Event Calculus. Technical Report LIA-08-1003, University of Bologna, Italy. LIA Series No.89 (May 2008)
12. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Veri.able agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic 9(4) (to appear, 2008)
13. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Arti.cial Intelligence 20(2-4), 133-157 (2006)
14. Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Arti.cial Intelligence Today. LNCS, vol.1600, pp. 409-430. Springer, Heidelberg (1999)
15. Alberti, M.,Chesani,F.,Gavanelli, M.,Lamma,E., Mello,P.,Montali, M., Storari, S., Torroni, P.: Computational logic for run-time verification of web services choreographies: Exploiting the socs-si tool. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.4184, pp. 58-72. Springer, Heidelberg (2006) (Pubitemid 44849751)
16. Rouached, M., Fdhila, W., Godart, C.: A semantic framework to engineering wsbpel processes. International Journal on Information Systems and e-business Management (2008)
17. Aydin, O., Cicekli, N.K., Cicekli, I.: Automated web services composition with event calculus. In: Proceedings of the 8th International Workshop in Engineering Societies in the Agents World (ESAW 2007) (2007)
18. Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: 2005 IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, USA, pp. 257-265. IEEE Computer Society Press, Los Alamitos (2005) (Pubitemid 44460215)
19. Mahbub, K., Spanoudakis, G.: Monitoring ws-agreements: An event calculus-based approach. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 265-306. Springer, Heidelberg (2007)
20. Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, Proceedings, pp. 527-534 (2002) (Pubitemid 34975212)