Lecture Notes in Computer Science - Web Services and Formal Methods
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540388623, 9783540388654
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Analysis and Verification of Time Requirements Applied to the Web Services Composition

2006 ◽  
pp. 178-192 ◽  
Author(s):  
Gregorio Díaz ◽  
María-Emilia Cambronero ◽  
M. Llanos Tobarra ◽  
Valentín Valero ◽  
Fernando Cuartero
Keyword(s):  
Web Services ◽  
Web Services Composition ◽  
Services Composition ◽  
Time Requirements ◽  
The Web

scholarly journals A Formal Account of Contracts for Web Services

2006 ◽  
pp. 148-162 ◽  
Author(s):  
S. Carpineti ◽  
G. Castagna ◽  
C. Laneve ◽  
L. Padovani
Keyword(s):  
Web Services

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

2006 ◽  
pp. 58-72 ◽  
Author(s):  
Marco Alberti ◽  
Federico Chesani ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
...  
Keyword(s):  
Web Services ◽  
Computational Logic ◽  
Run Time

scholarly journals Execution Semantics for Service Choreographies

2006 ◽  
pp. 163-177 ◽  
Author(s):  
Gero Decker ◽  
Johannes Maria Zaha ◽  
Marlon Dumas
Keyword(s):  
Execution Semantics

Translating Orc Features into Petri Nets and the Join Calculus

2006 ◽  
pp. 123-137 ◽  
Author(s):  
Roberto Bruni ◽  
Hernán Melgratti ◽  
Emilio Tuosto
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document