Model-Based Diagnosability Analysis for Web Services
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Chronicles for On-line Diagnosis of Distributed Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Scalable diagnosability checking of event-driven systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A runtime performance analysis for web service-based applications
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
A new monitor model for enhancing trust-based systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Specification and verification of data and time in web service composition
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
A proposal to detect errors in Enterprise Application Integration solutions
Journal of Systems and Software
Predictive self-healing of web services using health score
Journal of Web Engineering
Hi-index | 0.00 |
The goal of Web service effort is to achieve universal interoperability between applications by using Web standards: this emergent technology is a promising way to integrate business applications. A business process can then be seen as a set of Web services that could belong to different companies and interact with each other by sending messages. In that context, neither a global model nor a global mechanism are available to monitor and trace faults when the business process fails. In this paper, we address this issue and propose to use model-based reasoning approaches on Discrete-Event Systems (DES). This paper presents an automatic method to model Web service behaviors and their interactions as a set of synchronized discrete-event systems. This modeling is the first step before tracing the evolution of the business process and diagnosing business process faults.