Cargando…
Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Programming and Software Engineering,
4184 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- InvitedPapers
- DecSerFlow: Towards a Truly Declarative Service Flow Language
- Service QoS Composition at the Level of Part Names
- SCC: A Service Centered Calculus
- Contributed Papers
- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
- Semantic Querying of Mathematical Web Service Descriptions
- Verified Reference Implementations of WS-Security Protocols
- From BPEL Processes to YAWL Workflows
- Translating Orc Features into Petri Nets and the Join Calculus
- Dynamic Constraint-Based Invocation of Web Services
- A Formal Account of Contracts for Web Services
- Execution Semantics for Service Choreographies
- Analysis and Verification of Time Requirements Applied to the Web Services Composition
- A Formal Approach to Service Component Architecture
- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
- Application of Model Checking to AXML System's Security: A Case Study
- Towards a Unifying Theory for Web Services Composition
- Towards the Formal Model and Verification of Web Service Choreography Description Language.