عنوان

Web services and formal methods :

3642298338

9783642298332

b567412

Web services and formal methods :

[Book]

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers

Marco Carbone, Jean-Marc Petit (Eds.).

Heidelberg

Springer, [

2012]

vi, 142 pages ; 24 cm.

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

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 Perspective / Manuel 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, Gianluigi Ferrari, Tito Flagella and Roberto Guanciale, et al. --; Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures / Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones and Alejandro Alonso.

AnnotationThis 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.

Formal methods (Computer science)

Formal methods (Computer science) -- Congresses.

Web services -- Congresses.

Marco Carbone, Jean-Marc Petit (Eds.).

Jean-Marc Petit

Marco Carbone

[Book]

Y