Abstract
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct interacting clients when possible. The present work extends a previous discrete time approach and overcomes its limitations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Tidwell, D.: Web services - the web’s next revolution. In: IBM developerWorks (2000)
WSDL: Web services description language (wsdl) 1.1. Technical report, World Wide Web Consortium (2001), http://www.w3.org/TR/wsdl
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)
Juric, M.: BPEL and Java. On line journal theserverside.com (2005) http://www.theserverside.com/articles/article.tss?l=BPELJava
Juric, M., Sarang, P., Mathew, B.: Business Process Execution Language for Web Services. Packt Publishing (2005)
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)
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)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
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
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)
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)
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)
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)
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)
Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 473–488. Springer, Heidelberg (2005)
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)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control 60(1-3), 109–137 (1984)
Nicollin, X., Sifakis, J.: The algebra of timed processes, atp: theory and application. Inf. Comput. 114(1), 131–178 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haddad, S., Moreaux, P., Rampacek, S. (2008). A Formal Semantics and a Client Synthesis for a BPEL Service. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2006. Lecture Notes in Business Information Processing, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77581-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-77581-2_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77580-5
Online ISBN: 978-3-540-77581-2
eBook Packages: Computer ScienceComputer Science (R0)