Sciweavers

2 search results - page 1 / 1
» CCaaS: Online Conformance Checking as a Service
Sort
View
CASCON
2010
225views Education» more  CASCON 2010»
13 years 1 months ago
Monitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
SIGSOFT
2009
ACM
13 years 11 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...