10 search results - page 1 / 2 » Towards verifying compliance in agent-based web service comp... |
ATAL
2008
Springer
13 years 6 months 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 ...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
ICWS
2003
IEEE
13 years 6 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
SOCO
2007
Springer
13 years 10 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...
BPM
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...