• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Cooperative Information Systems >BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
【24h】

BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

机译：缩小业务模型和工作流程规范之间的差距

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

摘要

This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While the first is concerned with intuitive descriptions that are mainly used for communication, the second is concerned with configuring a process-aware information system, thus requiring a more rigorous language less suitable for communication. Unlike existing approaches the gap is not bridged by providing formal semantics for an informal language, Instead it is assumed that the desired behavior is just a subset of the full behavior obtained using a liberal interpretation of the informal business process modeling language. Using a new correctness criterion (relaxed soundness), it is verified whether a selection of suitable behavior is possible. The methodology consists of five steps and is illustrated using event-driven process chains as a business process modeling language and Petri nets as the workflow specification language.
机译：本文提出了一种弥合业务流程建模和工作流规范之间差距的方法。虽然第一个与主要用于通信的直观描述有关，但是第二个与配置过程感知信息系统有关，因此需要更严格的语言而不适合通信。与现有方法不同，通过提供非正式语言的形式语义不能弥合差距，而是假设所需行为只是使用非正式业务流程建模语言的自由解释获得的完整行为的子集。使用新的正确性标准（宽松的健全性），验证是否可以选择合适的行为。该方法包括五个步骤，并使用事件驱动的流程链作为业务流程建模语言，并使用Petri网作为工作流规范语言进行说明。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号