[HMMR04a] A dense time semantics for Web services specifications languages.
Par Sylvain Rampacek le lundi 19 avril 2004 à 14h16
[HMMR04a] Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek. A dense time semantics for Web services specifications languages. In Proc. of the 1st Int. Conf. on Information & Communication Technologies : from Theory to Applications (ICTTA’04), pages 647—648, Damascus, Syria, April 19-23 2004. IEEE France.
Abstract
The specification of a Web service, described with languages like WSFL, XLANG, BPEL4WS, is mainly the description of its observable behaviour based on the messages exchanged with the client. This behaviour is non deterministic due to the internal choices of the server. Furthermore the specification often includes timing constraints. Building applications using Web service requires controlling interaction with them. To this end, we propose a formal dense time semantical approach based on timed automata to first describe service specifications and then to build correct interacting clients when possible. The present work extends our previous discrete time approach and overcome its limitations.
