Sciweavers

2 search results - page 1 / 1
» CCaaS: Online Conformance Checking as a Service
Sort
View
CASCON
2010
225views Education» more  CASCON 2010»
14 years 7 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
97
Voted
SIGSOFT
2009
ACM
15 years 5 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...