Project : ecoo
Section: Scientific Foundations
To be able to define properties of workflow executions, activities are generally considered as black boxes executing as ACID transactions. Unfortunately, ACIDity seems antagonistic with cooperation, cooperative processes being of long time duration, of uncertain development, dynamically defined, mobile ... Especially, the Isolation property seems problematic for interacting activities exchanging intermediate results in complex feedback loops. To surpass the limits of traditional transaction models, several well founded and exotic models have been proposed .
Regarding the transactional problematic, in the vein of , and in the aforementioned objective of multi-model process integration, we are concerned with the concurrency control of transactional processes. This can be sketched in a top-down or in a bottom-up perspective. For both perspectives, we are developing a transactional framework to provide active support to transactional activities composition and composition evaluation