A logic-based calculus of events
New Generation Computing
Concurrency verification: introduction to compositional and noncompositional methods
Concurrency verification: introduction to compositional and noncompositional methods
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
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
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Evaluating FuseJ as aWeb Service Composition Language
ECOWS '05 Proceedings of the Third European Conference on Web Services
Colombo: lightweight middleware for service-oriented computing
IBM Systems Journal
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Test and Analysis of Web Services
Test and Analysis of Web Services
WS-Policy based Monitoring of Composite Web Services
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Enhancing Residential Gateways: A Semantic OSGi Platform
IEEE Intelligent Systems
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
Introduction to web services architecture
IBM Systems Journal
Requirements for applying aspect-oriented techniques in web service composition languages
SC'07 Proceedings of the 6th international conference on Software composition
Isolating process-level concerns using padus
BPM'06 Proceedings of the 4th international conference on Business Process Management
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
Aspect-Oriented workflow languages
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Lifelong verification of dynamic service compositions
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Embedding continuous lifelong verification in service life cycles
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
| Hi-index | 0.00 |
We argue that the dynamic nature of compositions in service-oriented architectures requires re-thinking the whole lifetime of an application, from requirements, to design and implementation, to deployment, to operation. In particular, the traditional boundary between design time and run time is blurring. Validation, which traditionally pertains to design time, must now extend to run time. This position paper digs into the requirements and outlines a research agenda, based on the experience gained in previous research projects, to engineer dependable service compositions.