Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation
Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation
复制标题
DOI：
10.1109/69.536255
复制
发表时间：
1996-08
期刊：
影响因子：
--
通讯作者：
Dimitrios Georgakopoulos;M. Hornick;F. Manola
中科院分区：
文献类型：
--
作者：
Dimitrios Georgakopoulos;M. Hornick;F. Manola
事务规范和管理环境（TSME）是一个可编程系统，它支持特定于应用程序的扩展事务模型（etm）的独立于实现的规范和事务管理机制（tmm）的配置，以执行指定的etm。TSME可以确保正确性和可靠性，同时允许工作流和其他高级应用程序所需的功能，这些应用程序需要访问多个异构、自治和/或分布式（HAD）系统。为了支持ETM规范，TSME提供了一种描述事务之间依赖关系的事务规范语言。与其他ETM规范语言不同，TSME的依赖描述符使用一组通用的原语，并且是可强制执行的，也就是说，可以在事务执行期间的任何时间进行评估，以确定发出的操作是否违反了ETM规范。为了确定是否可以在特定的HAD系统环境中实施ETM， TSME支持HAD系统事务功能的规范，并将这些规范与ETM规范进行比较，以确定不匹配。为了实施比HAD系统事务功能联合所支持的etm更具限制性的etm， TSME提供了一组事务服务。这些服务是可编程和可配置的，也就是说，它们接受根据ETM的要求改变其行为的指令，并且可以以特定的方式组合以创建能够执行ETM的运行时TMM。我们在分布式对象管理系统的背景下讨论TSME。我们给出了ETM规范示例，并描述了电信应用程序的相应TMM配置。
A Transaction Specification and Management Environment (TSME) is a programmable system that supports implementation-independent specification of application-specific extended transaction models (ETMs) and configuration of transaction management mechanisms (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 transaction specification language that describes dependencies between transactions. Unlike other ETM specification languages, TSME's dependency descriptors 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 transactional capabilities 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 transactional services. These services are programmable and configurable, 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.