This paper addresses the problem of organising and controlling activities that involve multiple steps of processing and that typically are of long duration. We explore the use of triggers and transactions to specify and organize such long-running activities. Triggers offer data- or event-driven specification of control flow, and thus provide a flexible and modular framework with which the control structures of the activities can be extended or modified. We describe a model based on event-condition-action rules and coupling modes. The execution of these rules is governed by an extended nested transaction model. Through a detailed example, we illustrate the utility of the various features of the model for chaining related steps without sacrificing concurrency, for enforcing integrity constraints, and for providing flexible failure and exception handling.
本文解决了组织和控制活动的问题,这些活动涉及多个处理步骤,并且通常持续时间很长。我们探索使用触发器和事务来指定和组织此类长期运行的活动。触发器提供了数据或事件驱动的控制流规范,因此提供了一个灵活的模块化框架,通过该框架可以扩展或修改活动的控制结构。我们描述了一个基于事件条件行为规则和耦合模式的模型。这些规则的执行由扩展的嵌套事务模型控制。通过一个详细的示例,我们说明了该模型的各种功能在不牺牲并发性的情况下链接相关步骤,执行完整性约束以及提供灵活的故障和异常处理的实用性。 P>
机译:Tx-FAITH:用于业务应用程序中长期分层事务的容错执行的事务性框架
机译:可扩展协调工具的长期事务的正式设计和验证
机译:长期交易中的恢复
机译:用于组织开放式合作活动的交易活动模型
机译:钙介导的触发活动的细胞机制。
机译:触发金纳米粒子形成的局部热消融的可注射自组织凝胶。
机译:组织开放式合作活动的交易活动模型