Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Efficient checkpointing on MIMD architectures
Efficient checkpointing on MIMD architectures
An Environment for Designing Exceptions in Workflows
CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
Visualisation of (Distributed) Process Execution based on Extended BPMN
DEXA '03 Proceedings of the 14th International Workshop on Database and Expert Systems Applications
RuleBAM: A Rule-Based Framework for Business Activity Management
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
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
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
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
QoS-Aware Replanning of Composite Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
An aspect-based process container for BPEL
AOMD '05 Proceedings of the 1st workshop on Aspect oriented middleware development
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
SH-BPEL: a self-healing plug-in for Ws-BPEL engines
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Microreboot — A technique for cheap recovery
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
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
Dynamo: dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
ASTRO: supporting composition and execution of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Flexible binding for reusable composition of web services
SC'05 Proceedings of the 4th international conference on Software Composition
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Hi-index | 0.00 |
This paper studies dependability in the context of service-based business processes, and proposes a dynamic technique for ensuring dependability requirements are met. On one hand, business processes are modeled using BPMN, which provides stakeholders with a suitable level of abstraction. On the other, we provide Dynamo, a run-time business process supervision framework that guarantees the dependability requirements are satisfied. Supervision rules let the user customize how the system deals with business-related situations that might hamper the dependability of the application. The main features of the proposed infrastructure are demonstrated on a simple case study in the domain of banking services.