| Description |
1 online resource (vi, 142 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7176 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7176.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| 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 |
| Summary |
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 |
| Analysis |
Computer science |
|
Software engineering |
|
Information storage and retrieval systems |
|
Information Systems |
|
Management of Computing and Information Systems |
|
Information Storage and Retrieval |
|
User Interfaces and Human Computer Interaction |
| Bibliography |
Includes bibliographical references and author index |
| In |
Springer eBooks |
| Subject |
Web services -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Information storage and retrieval systems.
|
|
Information Systems
|
|
Electronic Data Processing
|
|
Informatique.
|
|
Formal methods (Computer science)
|
|
Web services
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Carbone, Marco
|
|
Petit, Jean-Marc
|
| ISBN |
9783642298349 |
|
3642298346 |
|
