Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
| Σειρά: | Lecture Notes in Computer Science,
4184 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
