首页> 外文会议>Business process management >Set Algebra for Service Behavior: Applications and Constructions
【24h】

Set Algebra for Service Behavior: Applications and Constructions

机译:为服务行为设置代数:应用程序和构造

获取原文
获取原文并翻译 | 示例

摘要

Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational business process. In previous work, we proposed formal representations for service behavior (including Petri nets and service automata) and finite representations of sets thereof (operating guidelines).rnIn this article, we show how the basic set operations union, intersection, and complement, as well as membership and emptiness tests, can be implemented on finite representations of (typically infinite) sets of services. We motivate the operations by three examples of applications— service substitution, selection of behavior, and navigation in a behavioral registry.
机译:行为的兼容性(即消息的正确排序)是作为组织间业务流程的一部分进行的服务之间交互的核心方面之一。在先前的工作中,我们提出了服务行为的正式表示形式(包括Petri网和服务自动机)以及集合的有限表示形式(操作准则)。在本文中,我们还展示了基本集合操作如何实现并集,交集和补集。作为成员资格和空性测试,可以在(通常是无限的)服务集的有限表示上实现。我们通过三个应用程序示例来激励操作:服务替换,行为选择和行为注册表中的导航。

著录项

  • 来源
    《Business process management》|2009年|193-210|共18页
  • 会议地点 Ulm(DE);Ulm(DE)
  • 作者

    Kathrin Kaschner; Karsten Wolf;

  • 作者单位

    Universitaet Rostock, Institut fuer Informatik, 18051 Rostock, Germany;

    Universitaet Rostock, Institut fuer Informatik, 18051 Rostock, Germany;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 管理学;
  • 关键词

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号