Runtime monitoring of contract regulated web services

MaRDI QIDQ3225705zbMATH OpenFDO

Authors Alessio Lomuscio, Wojciech Penczek, Monika Solanki, MacIej Szreter

Publication date 22 March 2012

Full work available at URL http://iospress.metapress.com/content/11q6783v34232156/fulltext.html

zbMATH Keywords

monitoringweb servicescontract regulated behaviours

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Run-Time Monitoring of Electronic Contracts
• Monitoring and recovery for web service applications
• Runtime verification of contracts with Themulus
• scientific article; zbMATH DE number 1927295
• A theory of contracts for web services

Cited in

(5)

• Run-Time Monitoring of Electronic Contracts
• scientific article; zbMATH DE number 2016047 (Why is no real title available?)
• Statically and dynamically verifiable SLA metrics
• scientific article; zbMATH DE number 1927295 (Why is no real title available?)
• Monitoring and recovery for web service applications

Describes a project that uses

Uses Software

• Uppaal2k

This page was built for publication: Runtime monitoring of contract regulated web services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3225705)