• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Business process management >On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles
【24h】

On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles

机译：带有保护阶段-里程碑生命周期的业务工件的增量语义和定点语义的等效性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Business artifacts (BAs, or artifacts) are used to model conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. The recently introduced Guard-Stage-Milestone (GSM) meta-model for artifact lifecycles is declarative in nature, and allows concurrent execution of long-running (possibly human-executed) activities. Modularity is incorporated through the use of hierarchical clustering of activities. The GSM operational semantics is based on a variant of Event-Condition-Action (ECA) rules, which are used to control the start and termination of individual and composite activities. This paper introduces, in an abstract setting, three different and provably equivalent formulations of the GSM operational semantics. The semantics is specified in terms of how a single external event is incorporated into the current "snapshot" (i.e. full description) of a running execution of an artifact model. The "incremental" formulation corresponds to the sequential application of the ECA-like rules in response to the event; the "fixpoint" formulation characterizes the mathematical properties of pairs of snapshots corresponding to the full impact of incorporating the event; and the "closed-form" formulation captures the fixpoint one in terms of first-order logic. The paper introduces a formally specified well-formedness condition on GSM models that guarantees the equivalence of the three formulations while permitting all of the commonly arising patterns for using GSM constructs to model business operations.
机译：业务构件（BA或构件）用于对概念实体进行建模，这些概念实体对于指导业务操作至关重要，并且其内容随着它们在这些操作中的移动而变化。最近引入的用于工件生命周期的Guard-Stage-Milestone（GSM）元模型本质上是声明性的，并且允许并发执行长时间运行（可能是人为执行）的活动。通过使用活动的层次聚类来合并模块化。 GSM操作语义基于事件条件操作（ECA）规则的变体，该规则用于控制单个活动和组合活动的开始和终止。本文在抽象的背景下介绍了GSM操作语义的三种不同且可证明等效的表述。根据如何将单个外部事件合并到工件模型的运行执行的当前“快照”（即完整描述）方面来指定语义。 “增量”表述对应于响应事件的类似ECA规则的顺序应用； “定点”公式描述了快照对的数学特性，对应于合并事件的全部影响；而“封闭形式”表述就一阶逻辑而言捕获了一个固定点。本文介绍了在GSM模型上正式指定的格式良好性条件，该条件在保证所有三种常用公式同时使用GSM构造对业务运营进行建模的同时，保证了三种公式的等效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号