Monitoring and recovery for web service applications

J. Simmonds,Shoham Ben-David,M. Chechik

Published 2013 in Computing

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2013
Venue
Computing
Publication date
2013-03-01
Fields of study
Computer Science
Identifiers
DOI 10.1007/s00607-012-0215-y
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Web Services Description Language (WSDL)
2014cited by this paper
Monitoring and recovery for web service applications
2012cited by this paper
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
2012cited by this paper
The catechol-O-methyltransferase Val(158)Met polymorphism modulates fronto-cortical dopamine turnover in early Parkinson's disease: a PET study.
2012cited by this paper
Dynamic Analysis of Web Services
2011cited by this paper
Self-Supervising BPEL Processes
2011cited by this paper
The Semantic Web
2011cited by this paper
Optimizing Computation of Recovery Plans for BPEL Applications
2010influential reference
Design by Contract
2010cited by this paper
RuMoR: monitoring and recovery for BPEL applications
2010cited by this paper
Guided recovery for web service applications
2010cited by this paper
Adaptive Goals for Self-Adaptive Service Compositions
2010cited by this paper
Self-Adaptive Service Composition Through Graphplan Repair
2010cited by this paper
Automatic workarounds for web applications
2010cited by this paper
The smart internet: transforming the web for the user
2009cited by this paper
Software Engineering for Self-Adaptive Systems: A Research Roadmap
2009cited by this paper
Model checking
2009cited by this paper
A Plug-in Architecture for Self-Adaptive Web Service Compositions
2009cited by this paper
A Middleware Solution to Monitoring Composite Web Services-Based Processes
2008cited by this paper
Healing Web applications through automatic workarounds
2008cited by this paper
Web Services Business Process Execution Language Version 2.0
2007cited by this paper
Specifying and Monitoring Service Flows: Making Web Services Process-Aware
2007cited by this paper
Dynamo and Self-Healing BPEL Compositions
2007cited by this paper
Formal semantics and analysis of control flow in WS-BPEL
2007cited by this paper
Algorithmic Analysis of Piecewise FIFO Systems
2007cited by this paper
Assumption-Based Composition and Monitoring of Web Services
2007influential reference
Runtime Monitoring of Web Service Conversations
2007cited by this paper
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
2007influential reference
AO4BPEL: An Aspect-oriented Extension to BPEL
2007cited by this paper
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
2007cited by this paper
Self-Managed Systems: an Architectural Challenge
2007cited by this paper
Model checking service compositions under resource constraints
2007influential reference
A scenario based notation for specifying temporal properties
2006cited by this paper
A runtime monitoring and validation framework for Web service interactions
2006influential reference
LTSA-WS: a tool for model-based verification of web service compositions and choreography
2006cited by this paper
Concurrency - state models and Java programs
2006cited by this paper
A rigorous approach to engineering web service compositions
2006cited by this paper
Software engineering for adaptive and self-managing systems
2006cited by this paper
Pattern Based Property Specification and Verification for Service Composition
2006cited by this paper
Using WS-BPEL to Implement Software Fault Tolerance for Web Services
2006cited by this paper
Yasm: A Software Model-Checker for Verification and Refutation
2006cited by this paper
Recovery of Faulty Web Applications through Service Discovery
2006cited by this paper
A Parametric Communication Model for the Verification of BPEL4WS Compositions
2005cited by this paper
Towards Dynamic Monitoring of WS-BPEL Processes
2005influential reference
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
2005cited by this paper
Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience
2005influential reference
Transforming BPEL to Petri Nets
2005cited by this paper
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
2005cited by this paper
Pattern-Based Specification and Validation of Web Services Interaction Properties
2005influential reference
Case handling: a new paradigm for business process support
2005cited by this paper
WS-Policy for Service Monitoring
2005cited by this paper
Towards Contract-based Testing of Web Services
2005cited by this paper
A framework for requirents monitoring of service based systems
2004influential reference
Analysis of interacting BPEL web services
2004cited by this paper
Smart monitors for composed services
2004influential reference
Automated Composition of Semantic Web Services into Executable Processes
2004influential reference
A Framework for Requirements Monitoring of Service Based Systems
2004influential reference
Associating assertions with business processes and monitoring their execution
2004cited by this paper
Model-based verification of Web service compositions
2003cited by this paper
An overview of JML tools and applications
2003cited by this paper
Conversation protocols: a formalism for specification and verification of reactive electronic services
2003cited by this paper
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
2003cited by this paper
Proceedings of the 25th International Conference on Software Engineering
2003cited by this paper
Estimated-Regression Planning for Interactions with Web Services
2002influential reference
Adapting Golog for Composition of Semantic Web Services
2002influential reference
Simulation, verification and automated composition of web services
2002influential reference
The SLAM Toolkit
2001cited by this paper
Monitoring and controlling Internet based e-services
2001cited by this paper
Planning as Model Checking
1999cited by this paper
Patterns in property specifications for finite-state verification
1999influential reference
Unifying SAT-based and Graph-based Planning
1999cited by this paper
Property specification patterns for finite-state verification
1998cited by this paper
Finitary fairness
1998cited by this paper
Protocol verification with the ALDÉBARAN toolset
1997cited by this paper
Applying 'design by contract'
1992cited by this paper
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
1990cited by this paper
Three logics for branching bisimulation
1990cited by this paper
Communication and concurrency
1989cited by this paper
J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979
1980cited by this paper
Introduction to Automata Theory, Languages and Computation
1979cited by this paper
The temporal logic of programs
1977cited by this paper
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
1971cited by this paper

CITED BY

Uncertainty in runtime verification: A survey
2023cites this paper
The Vision of Self-Management in Cognitive Organic Power Distribution Systems
2022cites this paper
Design of an Optimal Deep Learning-Based Self-Healing Mechanism With Failure Prediction Model for Web Services
2022cites this paper
Towards Organic Distribution Systems - The Vision of Self-Configuring, Self-Organising, Self-Healing, and Self-Optimising Power Distribution Management
2021cites this paper
Self-healing of web service compositions: a specification rewriting approach
2020cites this paper
Models@run.time: a guided tour of the state of the art and research challenges
2019cites this paper
Security Enforcement on Web Services Compositions
2019cites this paper
A domain analysis of resource and requirements monitoring: Towards a comprehensive model of the software monitoring domain
2019cites this paper
Modeling foundations for executable model-based testing of self-healing cyber-physical systems
2018cites this paper
A recovery mechanism based on a rewriting process for web service compositions
2018cites this paper
Incremental Verification of Complex Event Processing Applications for System Monitoring
2018cites this paper
Visualization support for requirements monitoring in systems of systems
2017cites this paper
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime
2016cites this paper
A survey of self‐healing systems frameworks
2015influential citation
Automated detection of critical code in composite web services
2015cites this paper
An Adaptive Approach for Dynamic Recovery Decisions in Web Service Composition Using Space Based Qos Factor
2015cites this paper
A process to identify relevant substitutes for healing failed WS-* orchestrations
2015cites this paper
Runtime Verification of Web Services for Interconnected Medical Devices
2014cites this paper
PWWM: A Personal Web Workflow Methodology
2013cites this paper
Towards automatic recovery in protocol-based Web service composition. (Vers le recouvrement automatique dans la composition de services WEB basée protocole)
2013cites this paper
Runtime verification of service-oriented systems: a well-rounded survey
2013cites this paper
Modeling and Analysis of Personal Web Applications : A Vision
2011cites this paper
First symposium on the Personal Web
2010cites this paper
Guided recovery for web service applications
2010cites this paper
Optimizing Computation of Recovery Plans for BPEL Applications
2010cites this paper