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
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
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
Tutorial: towards dynamic web services
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
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
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
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Designing multi-layers self-adaptive complex applications
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
A dynamic and reactive approach to the supervision of BPEL processes
ISEC '08 Proceedings of the 1st India software engineering conference
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Commitment Monitoring in a Multiagent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies
TrustBus '08 Proceedings of the 5th international conference on Trust, Privacy and Security in Digital Business
SENTINEL: a semantic business process monitoring tool
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
An architecture for providing context in WS-BPEL processes
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
Integrated and Composable Supervision of BPEL Processes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
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
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
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Pluggable Framework for Enabling the Execution of Extended BPEL Behavior
Service-Oriented Computing - ICSOC 2007 Workshops
Service-Oriented Architectures Testing: A Survey
Software Engineering
Development Support for Specifying and Monitoring Goals of Open Business Processes
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Towards autonomic service-oriented applications
International Journal of Autonomic Computing
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
ReMan: A pro-active reputation management infrastructure for composite Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
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
Ensuring interoperable service-oriented systems through engineered self-healing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Context modeling and constraints binding in web service business processes
Proceedings of the first international workshop on Context-aware software technology and applications
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
An approach for business transaction management
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Auditable Intention-Oriented Web Applications using PAA Auditing/Accounting Paradigm
Proceedings of the 2009 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009
Contract Observation in Web Services Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Monitoring and analyzing influential factors of business process performance
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
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
Dynamic set-up of monitoring infrastructures for service based 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
Cross-organizational process monitoring based on service choreographies
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
Privacy inspection and monitoring framework for automated business processes
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Change-point detection for black-box services
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Chronological fault-based mutation processes for WS-BPEL 2.0 programs
International Journal of Web Engineering and Technology
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
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
Advanced service monitoring configurations with SLA decomposition and selection
Proceedings of the 2011 ACM Symposium on Applied Computing
Identifying, modifying, creating, and removing monitor rules for service oriented computing
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
On scientific experiments and flexible service compositions
From active data management to event-based systems and more
Service research challenges and solutions for the future internet
Service research challenges and solutions for the future internet
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Monitoring and recovery of web service applications
The smart internet
A case study on optimizing web service monitoring configurations
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Compensation of adapted service orchestration logic in BPEL 'n' aspects
BPM'11 Proceedings of the 9th international conference on Business process management
Supporting data consistency in concurrent process execution with assurance points and invariants
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Inspection of distributed and composed systems
Proceedings of the 8th Middleware Doctoral Symposium
Multi-level model-based self-diagnosis of distributed object-oriented systems
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Runtime verification of data-centric properties in service based systems
RV'11 Proceedings of the Second international conference on Runtime verification
BPRules and the BPR-Framework: comprehensive support for managing qos in web service compositions
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
International Journal of Information and Communication Technology
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 |
The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time. Probes must be suitably activated and deactivated according to the context in which the application is executed, but also according to the confidence we get on its quality. The paper supports the idea that significant data may come from very different sources and probes must be able to accommodate all of them. The paper presents: (1) an approach to specify monitoring directives, called monitoring rules, and weave them dynamically into the process they belong to; (2) a proxy-based solution to support the dynamic selection and execution of monitoring rules at run-time; (3) a user-oriented language to integrate data acquisition and analysis into monitoring rules.