Concurrent runtime checking of annotated Ada programs
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Applied Microsoft .NET Framework Programming
Applied Microsoft .NET Framework Programming
WSOL - Web Service Offerings Language
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Programming C#
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Adaptive integration of third-party web services
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Tutorial: towards dynamic web services
Proceedings of the 28th international conference on Software engineering
Web service orchestration with BPEL
Proceedings of the 28th international conference on Software engineering
Towards self-adaptive service-oriented architectures
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Dynamo and Self-Healing BPEL Compositions
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
New Frontiers of Reverse Engineering
FOSE '07 2007 Future of Software Engineering
Search-based testing of service level agreements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Scaling up SLA monitoring in pervasive environments
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
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
A dynamic and reactive approach to the supervision of BPEL processes
ISEC '08 Proceedings of the 1st India software engineering conference
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
A framework for QoS-aware binding and re-binding of composite web services
Journal of Systems and Software
Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
A Runtime Quality Architecture for Service-Oriented Systems
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
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
Service-Oriented Architectures Testing: A Survey
Software Engineering
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A framework for QoS-based Web service contracting
ACM Transactions on the Web (TWEB)
Chronicles for On-line Diagnosis of Distributed Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Flexible Approach for Business Processes Monitoring
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Performance aware open-world software in a 3-layer architecture
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process monitoring for dependability
Architecting dependable systems IV
A QoS test-bed generator for web services
ICWE'07 Proceedings of the 7th international conference on Web engineering
Exploiting non-functional preferences in architectural adaptation for self-managed 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
Collaborative management of distributed business processes: a service-based approach
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Managing socio-technical interactions in healthcare systems
BPM'07 Proceedings of the 2007 international conference on Business process management
An empirical comparison of methods to support QoS-aware service selection
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Assertion-based test oracles for home automation systems
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Towards run-time monitoring of web services conformance to business-level agreements
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Multi-level monitoring and analysis of web-scale service based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
A new monitor model for enhancing trust-based systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Information and Software Technology
Adding self-healing behaviour to dynamic web service composition
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Monitoring and recovery of web service applications
The smart internet
Modeling and monitoring SLA for service based systems
Proceedings of the 2011 International Conference on Intelligent Semantic Web-Services and Applications
Is collaborative QoS the solution to the SOA dependability dilemma?
Architecting dependable systems VII
Service research challenges and solutions for the future internet
Monitoring and recovery of web service applications
The smart internet
A framework-based runtime monitoring approach for service-oriented software systems
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Web service mining and verification of properties: an approach based on event calculus
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
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Requirements monitoring for adaptive service-based applications
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
Domain-specific language for event-based compliance monitoring in process-driven SOAs
Service Oriented Computing and Applications
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be discovered and QoS parameters negotiated at run-time. This justifies the need for monitoring service compositions at run-time. Research on this issue, however, is still in its infancy. We investigate how to monitor dynamic service compositions with respect to contracts expressed via assertions on services. Dynamic compositions are represented as BPEL processes which can be monitored at run-time to check whether individual services comply with their contracts. Monitors can be automatically defined as additional services and linked to the service composition. We present two alternative implementations of our monitoring approach: one based on late-binding and reflection and the other based on a standard assertion system. The two implementations are exemplified on a case study.