Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Artificial intelligence today
Tutorial: towards dynamic web services
Proceedings of the 28th international conference on Software engineering
Reliable QoS monitoring based on client feedback
Proceedings of the 16th international conference on World Wide Web
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Towards a methodology for lifelong validation of service compositions
Proceedings of the 2nd international workshop on Systems development in SOA environments
Towards a unified framework for the monitoring and recovery of BPEL processes
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Runtime monitoring composite web services through stateful aspect extension
Journal of Computer Science and Technology
Towards self-healing web services composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Contract Observation in Web Services Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Web service discovery based on past user experience
BIS'07 Proceedings of the 10th international conference on Business information systems
Policies and aspects for the supervision of BPEL processes
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Business process monitoring for dependability
Architecting dependable systems IV
Privacy inspection and monitoring framework for automated business processes
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
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
Business process monitoring with BPath
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
A design of policy-based composite web services QoS monitoring system
International Journal of Critical Computer-Based Systems
A monitoring approach for runtime service discovery
Automated Software Engineering
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
Monitoring and recovery of web service applications
The smart internet
AMPol-Q: adaptive middleware policy to support qos
ICSOC'06 Proceedings of the 4th 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
Reputation-Based service level agreements for web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Runtime verification of data-centric properties in service based systems
RV'11 Proceedings of the Second international conference on Runtime verification
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Domain-specific language for event-based compliance monitoring in process-driven SOAs
Service Oriented Computing and Applications
Towards run-time testing of dynamic adaptive systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
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 |
This paper proposes a framework for monitoring the compliance of systems composed of web-services with requirements set for th. This framework assumes systems composed of web-services that are co-ordinated by a service composition process expressed in BPEL4WS and uses event calculus to specify the properties to be monitored. The monitorable properties may include behavioural properties of a syst which are automatically extracted from the specification of its composition process in BPEL4WS and/or assumptions that syst providers can specify in terms of events extracted from this specification.