Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Processus service And NotSami Bhiri

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000002 Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France]Supervision et vérification décentralisées de chorégraphies de services
000082 Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France]A Bounded Model Checking Approach for the Verification of Web Services Composition
000159 Isabelle Mirbel [France] ; Pierre Crescenzo [France]Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions
000336 Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000623 Alexander Keller [États-Unis] ; Remi Badonnel [France]Automating the provisioning of application services with the BPEL4WS workflow language
000709 Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France]Dynamic interconnection of heterogeneous workflow processes through services
000734 Karim Baïna [France] ; Samir Tata [France] ; Khalid Benali [France]A model for process service interaction
000737 Olivier Perrin [France] ; Claude Godart [France]A contract model to deploy and control cooperative processes

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022