45 search results - page 3 / 9 » Specifying and Monitoring Temporal Properties in Web Service... |
IJCIS
2006
13 years 7 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
FORTE
2009
13 years 5 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Several works have addressed the management of individual Web Services. However, the specific management requirements of workflow-based web service compositions such as those speci...
EPEW
2005
Springer
14 years 29 days ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...