Show simple item record

dc.contributor.authorHaddad, Serge
dc.contributor.authorMoreaux, Patrice
dc.contributor.authorRampacek, Sylvain
dc.date.accessioned2010-10-25T14:46:41Z
dc.date.available2010-10-25T14:46:41Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4969
dc.language.isoenen
dc.subjectTimed Automataen
dc.subjectAlgebra of timed processesen
dc.subjectBPEL4WSen
dc.subjectWeb servicesen
dc.subject.ddc004en
dc.titleClient Synthesis for Web Services by way of a Timed Semanticsen
dc.typeCommunication / Conférence
dc.description.abstractenA complex Web service described with languages like BPEL4WS, consists of an executable process and its ob- servable 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 ofWeb 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.en
dc.identifier.citationpages19-26en
dc.relation.ispartoftitleICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006en
dc.relation.ispartofeditorManolopoulos, Yannis
dc.relation.ispartofeditorFilipe, Joachim
dc.relation.ispartofeditorConstantopoulos, Panos
dc.relation.ispartofeditorCordeiro, José
dc.relation.ispartofdate2006
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn972-8865-41-4en
dc.relation.conftitle8th International Conference on Enterprise Information Systems ICEIS 2006en
dc.relation.confdate2006-05
dc.relation.confcityPaphosen
dc.relation.confcountryChypreen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record