首页> 外文会议>International symposium on formal methods >Diagnosing Industrial Business Processes: Early Experiences
【24h】

Diagnosing Industrial Business Processes: Early Experiences

机译:诊断工业业务流程:早期经验

获取原文
获取外文期刊封面目录资料

摘要

Modern day enterprises rely on streamlined business processes for their smooth operation. However, lot of these processes contain errors, many of which are control flow related, e.g., deadlock and lack of synchronization. This can provide hindrance to downstream analysis like correct simulation, code generation etc. For real-life process models other kind of errors are quite common, - these are syntactic errors which arise due to poor modeling practices. Detecting and identifying the location of occurrence of errors are equally important for correct modeling of business processes. We consider industrial business processes modeled in Business Process Modeling Notation (BPMN) and use graph-theoretic techniques and Petri net-based analyses to detect syntactic and control flow related errors respectively. Subsequently based on this, we diagnose different types of errors. We are further able to discover how error frequencies change with error depth and how they correlate with the size of the subprocesses and swim-lane interactions in the models. Such diagnostic details are vital for business process designers to detect, identify and rectify errors in their models.
机译:现代企业依靠简化的业务流程来平稳运行。但是,这些过程中有许多包含错误,其中许多与控制流相关,例如死锁和缺乏同步。这可能会阻碍下游分析,如正确的仿真,代码生成等。对于现实生活中的过程模型,其他类型的错误也很常见,这些是由于不良的建模实践而产生的语法错误。检测和识别错误发生的位置对于正确的业务流程建模同样重要。我们考虑以业务流程建模符号(BPMN)建模的工业业务流程,并使用图论技术和基于Petri网的分析分别检测与句法和控制流相关的错误。随后基于此,我们诊断出不同类型的错误。我们还能够发现错误频率是如何随着错误深度而变化的,以及它们与模型中子过程的大小和泳道相互作用的相关性。这些诊断细节对于业务流程设计人员检测,识别和纠正其模型中的错误至关重要。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号