A formal semantics and a client synthesis for a BPEL service

Lecture Notes in Business Information Processing

Volumn 3 LNBIP, Issue , 2008, Pages 388-401

  Haddad, Serge ^a   Moreaux, Patrice ^b   Rampacek, Sylvain ^c  

^a UNIVERSITÉ PARIS DAUPHINE   (France)

^b Université de Savoie   (France)

^c UNIVERSITÉ DE BOURGOGNE   (France)

Author keywords

Algebra of timed processes; BPEL4WS; Timed automata; Web services

Indexed keywords

AUTOMATA THEORY; FORMAL METHODS; INFORMATION SYSTEMS; INFORMATION USE; SEMANTICS; SPECIFICATIONS; WEBSITES;

BPEL4WS; EXECUTABLE PROCESS; SERVICE BEHAVIOURS; SERVICE EXECUTION; SERVICE SPECIFICATIONS; TIMED AUTOMATA; TIMED PROCESS; TIMING CONSTRAINTS;

WEB SERVICES;

EID: 62649107613     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-77581-2_27     Document Type: Conference Paper

References (20)

1. Tidwell, D.: Web services - the web's next revolution. In: IBM developerWorks (2000)
2. WSDL: Web services description language (wsdl) 1.1. Technical report, World Wide Web Consortium (2001), http://www.w3.org/TR/wsdl
3. Andrews, T., Curbera, F.,Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services (2003)
4. Juric, M.: BPEL and Java. On line journal theserverside.com (2005) http://www.theserverside.com/articles/article.tss?l=BPELJava
5. Juric, M., Sarang, P., Mathew, B.: Business Process Execution Language for Web Services. Packt Publishing (2005)
6. Melliti, T., Haddad, S.: Synthesis of agents for web services interaction. In: Workshop Semantic Web Services for Enterprise Application Integration and E-Commerce of the Fifth International Conference on Electronic Commerce, Pittsburgh, USA (2003)
7. Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: Modelling web services interoperability. In: ICEIS 2004. Proc. of the 6th Int. Conf. on Enterprise Information Systems, Porto, Portugal (2004)
8. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
9. Thatte, S.: Xlang: Web services for business process design. World Wide Web page (2001), http://www.gotdotnet.com/team/xml/wsspecs/xlang-c/default.htm
10. Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: A dense time semantics for Web services specifications languages. In: ICTTA 2004. Proc. of the 1st Int. Conf. on Information & Communication Technologies: from Theory to Applications, Damascus, Syria, pp. 647-648. IEEE Computer Society Press, France (2004)
11. Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: a determinizable class of timed automata. Theoretical Computer Science 211(1-2), 253-273 (1999) (Pubitemid 129609041)
12. Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW 2004. Proc. of the 13th International World Wide Web Conference, ACM Press, New York (2004)
13. Fu, X., Bultan, T., Su, J.:Wsat: A tool for formal analysis of web services. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, Springer, Heidelberg (2004)
14. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. of the 18th Int. Conf. on Automated Software Eng. (2003)
15. Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 473-488. Springer, Heidelberg (2005)
16. Staab, S., van der Aalst, W., Benjamins, V., Sheth, A., Miller, J., Bussler, C., Maedche, A., Fensel, D., Gannon, D.: Web services: Been there, done that? IEEE Intelligent Systems 18, 72-85 (2003)
17. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
18. Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
19. Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control 60(1-3), 109-137 (1984)
20. Nicollin, X., Sifakis, J.: The algebra of timed processes, atp: theory and application. Inf. Comput. 114(1), 131-178 (1994)