Monitoring and recovery for web service applications

DOI10.1007/S00607-012-0215-YMaRDI QIDQ488218zbMATH OpenOpenAlexFDO

Authors Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

Publication date 23 January 2015

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00607-012-0215-y

zbMATH Keywords

planningSAT solvingweb servicesLTSruntime monitoringbehavioural propertiespre- and post-conditions

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Runtime monitoring of contract regulated web services
• Modeling and model checking web services
• A formal dynamic verification of choreographed web services conversations
• A controller synthesis framework for automated service composition
• Automated Technology for Verification and Analysis

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1798184 (Why is no real title available?)
• A classical, nonlinear thermodynamic theory of elastic shells based on a single constitutive assumption
• Formal semantics and analysis of control flow in WS-BPEL
• Monitoring and recovery for web service applications
• STRIPS: A new approach to the application of theorem proving to problem solving
• Semantic search over the web.
• Three logics for branching bisimulation

Cited in

(4)

• scientific article; zbMATH DE number 2016047 (Why is no real title available?)
• Runtime monitoring of contract regulated web services
• Monitoring and recovery for web service applications
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

Describes a project that uses

Uses Software

• AO4BPEL
• WebSphere
• YASM
• MathSAT
• Sat4j
• BPEL2PN
• JML
• Walksat
• SLAM
• WSAT

This page was built for publication: Monitoring and recovery for web service applications

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