18 search results - page 1 / 4 » Towards Verifying Contract Regulated Service Composition |
ICWS
2008
IEEE
14 years 8 days ago
2008
IEEE
ATAL
2008
Springer
14 years 26 days ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
SOCO
2007
Springer
14 years 5 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
ATAL
2010
Springer
13 years 12 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
SEMWEB
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...