Monitoring and recovery for web service applications

DOI10.1007/s00607-012-0215-yzbMath1314.68037OpenAlexW2115333632MaRDI QIDQ488218

Marsha Chechik, Shoham Ben-David, Jocelyn Simmonds

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

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

Related Items (1)

Monitoring and recovery for web service applications

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Monitoring and recovery for web service applications
• Semantic search over the web.
• Formal semantics and analysis of control flow in WS-BPEL
• A classical, nonlinear thermodynamic theory of elastic shells based on a single constitutive assumption
• STRIPS: A new approach to the application of theorem proving to problem solving
• Three logics for branching bisimulation

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