• français
    • English
  • français 
    • français
    • English
  • Connexion
JavaScript is disabled for your browser. Some features of this site may not work without it.
Accueil

Afficher

Cette collectionPar Date de CréationAuteursTitresSujetsNoms de revueToute la baseCentres de recherche & CollectionsPar Date de CréationAuteursTitresSujetsNoms de revue

Mon compte

Connexion

Statistiques

Afficher les statistiques d'usage

Client Synthesis for Web Services by way of a Timed Semantics

Thumbnail
Ouvrir
haddad_iceis2006.PDF (308.8Kb)
Date
2006
Indexation documentaire
Informatique générale
Subject
Timed Automata; Algebra of timed processes; BPEL4WS; Web services
Titre du colloque
8th International Conference on Enterprise Information Systems ICEIS 2006
Date du colloque
05-2006
Ville du colloque
Paphos
Pays du colloque
Chypre
Titre de l'ouvrage
ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006
Auteur
Manolopoulos, Yannis; Filipe, Joachim; Constantopoulos, Panos; Cordeiro, José
Année
2006
ISBN
972-8865-41-4
URI
https://basepub.dauphine.fr/handle/123456789/4969
Collections
  • LAMSADE : Publications
Métadonnées
Afficher la notice complète
Auteur
Haddad, Serge
Moreaux, Patrice
Rampacek, Sylvain
Type
Communication / Conférence
Nombre de pages du document
19-26
Résumé en anglais
A 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.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Cette création est mise à disposition sous un contrat Creative Commons.