Journal of the ACM (JACM)
Automated SLA Monitoring for Web Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
A Model Checking Approach to Verify BPEL4WS Workflows
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
WS-Policy based Monitoring of Composite Web Services
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
Towards a methodology for lifelong validation of service compositions
Proceedings of the 2nd international workshop on Systems development in SOA environments
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Hi-index | 0.00 |
Service-oriented computing is an emerging paradigm that supports the development of distributed applications, which are realized by composing third-party services to provide new added-value services. These applications live in an open world, where new services can appear and disappear, and compositions may change dynamically. In this scenario, the traditional boundary between design time and run time is blurring. Verification, which traditionally pertains to design time, must now extend to run time. The goal of this thesis is thus to provide a holistic approach for lifelong verification of dynamic service compositions.