Log-based transactional workflow mining
Distributed and Parallel Databases
Mining and re-engineering transactional workflows for reliable executions
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Verifying composite service transactional behavior with EVENT-B
ECSA'11 Proceedings of the 5th European conference on Software architecture
Information and Software Technology
Hi-index | 0.00 |
In this paper, we introduce the concept of a transactional pattern for specifying flexible and reliable composite Web services. A transactional pattern is a convergence concept between workflow patterns and advanced transactional models; thus it combines workflow flexibility and transaction reliability. Designers can simply connect together transactional patterns to define a composite Web service. In relation, we provide techniques to ensure control and transactional consistency of such services.