Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : WS-FM Workshop (8 ; 2011 ; Clermont-Ferrand, France)  Voir les notices liées en tant qu'auteur

Titre(s) : Web services and formal methods [Texte électronique] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers / Marco Carbone, Jean-Marc Petit (eds.)

Publication : Berlin ; New York : Springer, cop. 2012

Description matérielle : 1 online resource (vi, 142 pages)

Collection : Lecture notes in computer science ; 7176
LNCS sublibrary. SL 2, Programming and software engineering

Note(s) : Includes bibliographical references and author index
Annotation ; This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods

Autre(s) auteur(s) : Carbone, Marco. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Petit, Jean-Marc. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : WS-FM 2011

Sujet(s) : Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Services Web  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  006.78 (23e éd.) = Systèmes multimédias - Logiciels  Voir les notices liées en tant que sujet ; 005.7 (23e éd.) = Données informatiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642298349

Identifiant de la notice  : ark:/12148/cb44704491f

Notice n° :  FRBNF44704491 (notice reprise d'un réservoir extérieur)

Table des matières : Understanding Distributed Services through the [pi]-Calculus /Kohei Honda ; Reliable Contracts for Unreliable Half-Duplex Communications /Étienne Lozes and Jules Villard ; Behavior Based Service Composition /Fangzhe Chang, Pavithra Prabhakar and Ramesh Viswanathan ; Compatibility of Data-Centric Web Services /Benoît Masson, Loïc Hélouët and Albert Benveniste ; Time and Exceptional Behavior in Multiparty Structured Interactions /Hugo A. López and Jorge A. Pérez ; Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations /A Process Algebra PerspectiveManuel Mazzara, Faisal Abouzaid, Nicola Dragoni and Anirban Bhattacharyya ; An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework /José Antonio Mateo, Valentín Valero and Gregorio Díaz ; Design of a BPEL Verification Tool /Elie Fares, Jean-Paul Bodeveix and Mamoun Filali ; Applying Process Analysis to the Italian eGovernment Enterprise Architecture /Roberto Bruni, Andrea Corradini,