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 |
Tabla de Contenidos:
- 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.