Login / Signup
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.
Shanshan Jiang
Cyril Carrez
Finn Arve Aagesen
Published in:
RISE (2004)
Keyphrases
</>
web services
protocol specification
service providers
service discovery
dynamic environments
management system
service oriented
service composition
virtual organization
customer service
high level
end users
computing environments
description language
loosely coupled
formal verification
action language
search engine