ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Service Level Agreements (SLA) include quality of service (QoS) constraints and bounds that have to be honoured by the service provider. To maximise the Service Provider revenue wh...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we present the mechanisms needed for Byzantine fault tolerant coordination of Web services atomic transactions. The mechanisms have been incorporated into ...