Fundamentals of software engineering
Fundamentals of software engineering
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Monitoring and debugging distributed real-time programs
Software—Practice & Experience
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Principled design of the modern Web architecture
ACM Transactions on Internet Technology (TOIT)
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Software Engineering Economics
Software Engineering Economics
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
On-Line Monitoring: A Tutorial
Computer
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
JAsCo: an aspect-oriented approach tailored for component based software development
Proceedings of the 2nd international conference on Aspect-oriented software development
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Modelling Legal Contracts as Processes
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
SLAng: A Language for Defining Service Level Agreements
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Service -Oriented Computing: Concepts, Characteristics and Directions
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
A Dynamic Services Discovery Framework for Traversing Web Services Representation Chain
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
Advanced Formal Verification
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
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
Associating assertions with business processes and monitoring their execution
Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Decoupling Security Concerns in Web Services Using Aspects
ITNG '06 Proceedings of the Third International Conference on Information Technology: New Generations
A Runtime Monitoring and Validation Framework for Web Service Interactions
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Model-based runtime analysis of distributed reactive systems
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
A planning-based approach to failure recovery in distributed systems
A planning-based approach to failure recovery in distributed systems
Recovery Policies for Enhancing Web Services Reliability
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
AO4BPEL: An Aspect-oriented Extension to BPEL
World Wide Web
Self-healing BPEL processes with Dynamo and the JBoss rule engine
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
An Online Monitoring Approach for Web services
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
History-Based Aspect Weaving for WS-BPEL Using Padus
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties
WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL
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
Healing Web applications through automatic workarounds
International Journal on Software Tools for Technology Transfer (STTT)
A Middleware Solution to Monitoring Composite Web Services-Based Processes
SERVICES-2 '08 Proceedings of the 2008 IEEE Congress on Services Part II
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
XML Methods for Validation of Temporal Properties on Message Traces with Data
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Transparent Runtime Adaptability for BPEL Processes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Policy-driven middleware for self-adaptation of web services compositions
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Runtime monitoring composite web services through stateful aspect extension
Journal of Computer Science and Technology
Integrated Constraint Violation Handling for Dynamic Service Composition
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Runtime Monitoring of Web Service Conversations
IEEE Transactions on Services Computing
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
Towards self-healing web services composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Run-time Verification of Behavioural Conformance for Conversational Web Services
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Specifying and Monitoring Temporal Properties in Web Services Compositions
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Policies and aspects for the supervision of BPEL processes
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Proceedings of the 7th international conference on Runtime verification
RV'07 Proceedings of the 7th international conference on Runtime verification
On the semantics of matching trace monitoring patterns
RV'07 Proceedings of the 7th international conference on Runtime verification
ARVE: aspect-oriented runtime verification environment
RV'07 Proceedings of the 7th international conference on Runtime verification
From runtime verification to evolvable systems
RV'07 Proceedings of the 7th international conference on Runtime verification
Artificial intelligence today
Automated Runtime Verification for Web Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Monitoring and analyzing service-based internet systems through a model-aware service environment
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
An extensible architecture for run-time monitoring of conversational web services
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
Runtime verification for the web: a tutorial introduction to interface contracts in web applications
RV'10 Proceedings of the First international conference on Runtime verification
Aspect-oriented instrumentation with GCC
RV'10 Proceedings of the First international conference on Runtime verification
RV'10 Proceedings of the First international conference on Runtime verification
Monitoring and recovery of web service applications
The smart internet
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
DySOA: making service systems self-adaptive
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
Dynamo: dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Self-healing execution of business processes based on a peer-to-peer service architecture
ARCS'05 Proceedings of the 18th international conference on Architecture of Computing Systems conference on Systems Aspects in Organic and Pervasive Computing
An agent architecture for ensuring quality of service by dynamic capability certification
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Dynamic analysis of web services
Dynamic analysis of web services
Hi-index | 0.00 |
Dynamic nature of Service-Oriented Systems SOSs has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first discuss why the conventional verification techniques are not effectively applicable to SOSs and then stress the necessity of the runtime verification as a dynamic approach that formally checks the system behaviour at runtime. To provide a deep comparison between existing studies and to draw a clear road map for the future studies, we introduce the salient characteristics of the runtime verification in SOSs. In addition, we survey a significant number of various studies in the literature by categorising them in five broad categories: logic and calculus oriented approaches, workflow monitoring, state-based conformity assessment, aspect-oriented verification, and SLA-driven compliance. Then, we deal with the comparison between the defined categories and finally discuss open problems.