The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—A <it>Transaction Specification and Management Environment</it> (TSME) is a programmable system that supports implementation-independent specification of application-specific <it>extended transaction models</it> (ETMs) and configuration of <it>transaction management mechanisms</it> (TMMs) to enforce specified ETMs. The TSME can ensure correctness and reliability while allowing the functionality required by workflows and other advanced applications that require access to multiple heterogeneous, autonomous, and/or distributed (HAD) systems. To support ETM specification, the TSME provides a <it>transaction specification language</it> that describes <it>dependencies</it> between transactions. Unlike other ETM specification languages, TSME's <it>dependency descriptors</it> use a common set of primitives, and are enforceable, i.e., can be evaluated at any time during transaction execution to determine whether operations issued violate ETM specifications. To determine whether an ETM can be enforced in a specific HAD system environment, the TSME supports specification of the <it>transactional capabilities</it> of HAD systems, and comparison of these with ETM specifications to determine mismatches. To enforce ETMs that are more restrictive than those supported by the union of the transactional capabilities of HAD systems, the TSME provides a collection of <it>transactional services</it>. These services are <it>programmable</it> and <it>configurable</it>, i.e., they accept instructions that change their behavior as required by an ETM and can be combined in specific ways to create a run-time TMM capable of enforcing the ETM. We discuss the TSME in the context of a distributed object management system. We give ETM specification examples and describe corresponding TMM configurations for a telecommunications application.</p>
Extended transactions, transactional workflows, transaction model specification, transaction dependencies, programmable transaction management mechanisms, transaction management toolkits.

F. Manola, D. Georgakopoulos and M. F. Hornick, "Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation," in IEEE Transactions on Knowledge & Data Engineering, vol. 8, no. , pp. 630-649, 1996.
183 ms
(Ver 3.3 (11022016))