|
" Web services and formal methods : "
Marco Carbone, Jean-Marc Petit (Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747461
|
| Doc. No
|
:
|
b567412
|
| Main Entry
|
:
|
Marco Carbone, Jean-Marc Petit (Eds.).
|
| Title & Author
|
:
|
Web services and formal methods : : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers\ Marco Carbone, Jean-Marc Petit (Eds.).
|
| Publication Statement
|
:
|
Heidelberg : Springer, [, 2012]
|
| Series Statement
|
:
|
Lecture notes in computer science, 7176.; LNCS sublibrary., SL 2,, Programming and software engineering.
|
| Page. NO
|
:
|
vi, 142 pages ; 24 cm.
|
| ISBN
|
:
|
3642298338
|
|
|
:
|
: 9783642298332
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Formal methods (Computer science)
|
| Subject
|
:
|
Formal methods (Computer science) -- Congresses.
|
| Subject
|
:
|
Web services -- Congresses.
|
| LC Classification
|
:
|
QA76.76.A65M373 2012
|
| Added Entry
|
:
|
Jean-Marc Petit
|
|
|
:
|
Marco Carbone
|
| |