Cargando…
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings /
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revi...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Programming and Software Engineering,
5387 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-01364-5 | ||
| 003 | DE-He213 | ||
| 005 | 20220311184207.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2009 gw | s |||| 0|eng d | ||
| 020 | |a 9783642013645 |9 978-3-642-01364-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-01364-5 |2 doi | |
| 050 | 4 | |a TK7885-7895 | |
| 050 | 4 | |a TK5105.5-5105.9 | |
| 072 | 7 | |a UK |2 bicssc | |
| 072 | 7 | |a COM059000 |2 bisacsh | |
| 072 | 7 | |a UK |2 thema | |
| 082 | 0 | 4 | |a 621.39 |2 23 |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 245 | 1 | 0 | |a Web Services and Formal Methods |h [electronic resource] : |b 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / |c edited by Roberto Bruni, Karsten Wolf. |
| 250 | |a 1st ed. 2009. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2009. | |
| 300 | |a X, 241 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 5387 | |
| 505 | 0 | |a On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets. | |
| 520 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets. | ||
| 650 | 0 | |a Computer engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Application software. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 1 | 4 | |a Computer Engineering and Networks. |
| 650 | 2 | 4 | |a Computer Communication Networks. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 700 | 1 | |a Bruni, Roberto. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Wolf, Karsten. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642013652 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642013638 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 5387 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-01364-5 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||