Verifying composite service transactional behavior using event calculus

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

Volumn 4803 LNCS, Issue PART 1, 2007, Pages 353-370

  Gaaloul, Walid ^a   Rouached, Mohsen ^b   Godart, Claude ^b   Hauswirth, Manfred ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

^b LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; FEATURE EXTRACTION; FORMAL LANGUAGES; VERIFICATION;

NON-FUNCTIONAL FEATURES; RUNTIME; TRANSACTIONAL BEHAVIOR CONSISTENCY;

WEB SERVICES;

EID: 38349118087     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76848-7_23     Document Type: Conference Paper

References (22)

1. Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67-95 (1986)
2. Elmagarmid, A.K. (ed.): Database transaction models for advanced applications. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1992)
3. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: models, methods and tools. In: Cooperative Information Systems, MIT Press, Cambridge (2002)
4. Mueller, E.T.: Event calculus reasoning through satisfiability. J. Log. and Comput. 14(5), 703-730 (2004)
5. Mehrotra, S., Rastogi, R., Korth, H.F., Silberschatz, A.: A transaction model for multi-database systems. In: ICDCS, pp. 56-63 (1992)
6. Medjahed, B., Benatallah, B., Bouguettaya, A., Ngu, A.H.H., Elmagarmid, A.K.: Business-to-business interactions: issues and enabling technologies. The VLDB Journal 12(1), 59-85 (2003)
7. van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18-29. Springer, Heidelberg (2000)
8. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245-275 (2005)
9. Bhiri, S., Godart, C., Perrin, O.: Transactional patterns for reliable web services compositions. In: Wolber, D., Calder, N., Brooks, C., Ginige, A. (eds.) ICWE, pp. 137-144. ACM, New York (2006)
10. Bhiri, S., Perrin, O., Godart, C.: Ensuring required failure atomicity of composite web services. In: WWW, pp. 138-147 (2005)
11. Rouached, M., Gaaloul, W., van der, A.W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: An approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 408-425. Springer, Heidelberg (2006)
12. Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation 32(4), 403-445 (2001)
13. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403-410 (2003)
14. Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: ADCDT, pp. 191-200 (2003)
15. IBM BEA and Microsoft. Business process execution language for web services (bpel4ws) (2003)
16. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web services choreography description language version 1.0. (2004), http://www.w3.org/TR/ws- cdl-10
17. Cabrera, L.F., et.al.: Web services atomic transaction (ws-atomictransaction) (September 2003)
18. Cabrera, L.F., et al.: Web services business activity framework (ws-businessactivity) (January 2004)
19. Arjuna, Fujitsu, IONA, Oracle, and Sun. Web services composite application framework (ws-caf), http://www.arjuna.com/standards/ws-caf/
20. Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, pp. 257-273. Springer, Heidelberg (2006)
21. Bhiri, S., Gaaloul, W., Godart, C.: Discovering and improving recovery mechanisms of compositeweb services. In: ICWS, pp. 99-110. IEEE Computer Society, Los Alamitos (2006)
22. Gaaloul, W., Bhiri, S., Haller, A.: Mining and re-engineering transactional workflows for reliable executions. In: ER 2007. 26th International Conference on Conceptual Modeling (November 2007)