Using static analysis to manage the execution of transactional composite services

A composite service can be built from Web Services. Some of the composite services require transactional properties to ensure their successful execution. Since different composite services might access the same Web Services concurrently, controlling the access to these shared services is an important issue. This paper proposes a static analysis technique for helping concurrency control mechanisms to manage the access to the shared services.