• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Business process management >Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
【24h】

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes

机译：企业间过程的符号抽象和无死锁验证

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

摘要

The design of complex inter-enterprise business processes (IEBP) is generally performed in a modular way. Each process is designed separately from the others and then the whole IEBP is obtained by composition. Even if such a modular approach is intuitive and facilitates the design problem, it poses the problem that correct behavior of each business process of the IEBP taken alone does not guarantee a correct behavior of the composed IEBP (i.e. properties are not preserved by composition). Proving correctness of the (unknown) composed process is strongly related to the model checking problem of a system model. Among others, the symbolic observation graph based approach has proven to be very helpful for efficient model checking in general. Since it is heavily based on abstraction techniques and thus hides detailed information about system components that are not relevant for the correctness decision, it is promising to transfer this concept to the problem rised in this paper: How can the symbolic observation graph technique be adapted and employed for process composition? Answering this question is the aim of this paper.
机译：复杂的企业间业务流程（IEBP）的设计通常以模块化的方式执行。每个过程都与其他过程分开设计，然后通过组合获得整个IEBP。即使这样的模块化方法是直观的并且解决了设计问题，它也带来了一个问题，即仅单独执行IEBP的每个业务流程的正确行为并不能保证所组成的IEBP的正确行为（即属性不能通过合成保留）。证明（未知）组成过程的正确性与系统模型的模型检查问题密切相关。通常，基于符号观察图的方法已被证明对于有效的模型检查非常有帮助。由于它很大程度上基于抽象技术，因此隐藏了与正确性决定无关的有关系统组件的详细信息，因此有望将此概念转移到本文提出的问题中：如何适应符号观察图技术并用于过程组成？回答这个问题是本文的目的。

著录项

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

    Kais Klai; Samir Tata; Joerg Desel;

  • 作者单位

    LIPN, CNRS UMR 7030, Universite Paris 13 99 avenue Jean-Baptiste Clement, F-93430 Villetaneuse, France;

    Institut TELECOM, CNRS UMR Samovar 9 rue Charles Fourier 91011 Evry, France;

    Department of Applied Computer Science Catholic University of Eichstaett-Ingolstadt, 85071 Eichstaett, Germany;

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

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号