
A Formal Semantics and a Client Synthesis for a BPEL Service
Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2008), A Formal Semantics and a Client Synthesis for a BPEL Service, in Manolopoulos, Yannis; Filipe, Joachim; Constantopoulos, Panos; Cordeiro, José, Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers., Springer : Berlin, p. 388-401. http://dx.doi.org/10.1007/978-3-540-77581-2_27
View/ Open
Type
Communication / ConférenceDate
2008Conference title
8th International Conference on Enterprise Information Systems ICEIS 2006Conference date
2006-05Conference city
PaphosConference country
ChypreBook title
Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers.Book author
Manolopoulos, Yannis; Filipe, Joachim; Constantopoulos, Panos; Cordeiro, JoséPublisher
Springer
Series title
Lecture Notes in Business Information ProcessingSeries number
3Published in
Berlin
ISBN
978-3-540-77580-5
Pages
388-401
Publication identifier
Metadata
Show full item recordAbstract (EN)
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.Subjects / Keywords
Timed Automata; Algebra of timed processes; BPEL4WS; Web ServicesRelated items
Showing items related by title and author.
-
Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2006) Communication / Conférence
-
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence
-
Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié
-
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence
-
Haddad, Serge; Ben Hmida, Mehdi (2010) Communication / Conférence