A Transactional Activity Model for Organizing Open-ended Cooperative Workflow ActivitiesReport as inadecuate

A Transactional Activity Model for Organizing Open-ended Cooperative Workflow Activities - Download this document for free, or read online. Document in PDF available to download.

distributed and heterogeneous systems, cooperative activities, extended transaction models, open-ended activities

Additional contributors:

Subject-Keyword: distributed and heterogeneous systems cooperative activities extended transaction models open-ended activities

Type of item: Computing Science Technical Report

Computing science technical report ID: TR96-11

Language: English



Description: Technical report TR96-11. We propose a transactional activity model TAM for specification and management of open-ended cooperative activities. TAM is a careful combination of an activity composition model with extended transaction models such as split-join transactions. In contrast to each of the extended transaction models which focus more on a formal template for data processing patterns in an application, the activity model contains a set of formal templates, namely activity patterns, for capturing patterns of object interactions in an application. Using TAM, users may form new activity patterns by combining components of different existing patterns using activity pattern refinement and activity pattern composition mechanisms that include split and join of activities. At the same time, we have extended concepts and techniques developed for transaction processing. For example, activity histories are used to study the correctness of activity execution and activity restructuring through refinement, composition, split, or join. A key concept for dynamic restructuring of activities is to obtain added concurrency and improved cooperation by encouraging the releasing of some early committed resources or transferring ownership of uncommitted resources. Throughout the TAM development we promote the separation of activity specification from their transaction implementation mechanisms to allow reasoning about concurrency and recovery properties of TAM activities.

Date created: 1996

DOI: doi:10.7939-R31N7XQ4W

License information: Creative Commons Attribution 3.0 Unported


Author: Liu, Ling Pu, Calton Meersman, Robert

Source: https://era.library.ualberta.ca/


A Transactional Activity Model for Organizing Open-ended Cooperative Workow Activities Ling Liu Dept.
of Computing Science University of Alberta GSB 615, Edmonton, Alberta T6G 2H1 Canada lingliu@cs.ualberta.ca Calton Puy Dept.
of Computer Science Oregon Graduate Institute P.O.Box 91000 Portland Oregon 97291-1000 USA calton@cse.ogi.edu Robert Meersman Dept.
of Computer Science Vrije University of Brussel StarLab, Pleinlaan 2 1050 Brussels, Beligum meersman@vub.ac.be April 10, 1996 Abstract A number of extended transaction models have been proposed to support information-intensive applications, such as CAD-CAM, distributed operating systems, and software development.
Irrespective to how successful these extensions are in supporting the systems they intended for, these model can only capture a subset of the interactions required in any complex and distributed information systems.
Moreover, extended transaction models that o er adequate correctness in one application may not ensure correctness in other applications, because cooperation restrictions desired by one application domain may not be required or may even be unacceptable by another. We propose a transactional activity model TAM for speci cation and management of open-ended cooperative activity by promoting the separation of activity speci cations from their implementation, to allow reasoning about transactional properties of open-ended activities independently from their transaction implementation techniques, and by developing mechanisms to facilitate the speci cation and reasoning of application-speci c activity dependencies.
TAM users may form new activity patterns by combining components of di erent existing patterns using activity pattern re nement and activity pattern composition mechanisms.
A number of activity restructuring operations are introduced and incorporated into the TAM activity model.
To guarantee the correctness of new activities generated by activity-split or activity-join operations,...

Related documents