Monitoring the monitor: an approach towards trustworthiness in service oriented architecture
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Dynamic set-up of monitoring infrastructures for service based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
International Journal of Web Engineering and Technology
A monitoring approach for runtime service discovery
Automated Software Engineering
Monitoring and recovery of web service applications
The smart internet
Advanced service monitoring configurations with SLA decomposition and selection
Proceedings of the 2011 ACM Symposium on Applied Computing
Service research challenges and solutions for the future internet
Monitoring and recovery of web service applications
The smart internet
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Self-adaptable media service architecture for guaranteeing reliable multimedia services
Multimedia Tools and Applications
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Web Service Diagnoser Model for managing faults in web services
Computer Standards & Interfaces
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
This paper describes a framework supporting the runtime monitoringof requirements for systems implemented as compositions of web- services specified in BPEL. The requirements that can be monitoredare specified in event calculus. The paper presents an overview of the framework and describes the architecture and implementation of a toolthat we have developed to operationalise it. It also presents the resultsof a preliminary experimental evaluation of the framework.