Monitoring and recovery for web service applications

DOI10.1007/S00607-012-0215-YzbMATH Open1314.68037OpenAlexW2115333632MaRDI QIDQ488218FDOQ488218

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• 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

Uses Software

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

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)