• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议> >Application of Equivalence Checking in a Loan Origination Process in Banking Industry
【24h】

Application of Equivalence Checking in a Loan Origination Process in Banking Industry

机译：对等检查在银行业贷款发放过程中的应用

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

摘要

Equivalence checking is traditionally applied to computer system design. It is a promising formal technique for the improvement of software quality. However, it requires detailed specifications of systems and is therefore not very accessible, above all in certain restricted fields of application. One of this domain is business process management. In particular, we examine the applicability of equivalence checking to validation of Business Processes that are mapped through the systems of Workflow Management. The usage of formal methods in business domain, however, is still not widely used. This is due also to the state explosion problem, which says that the state space grows ex- ponentially in the number of concurrent processes. In this paper we consider a heuristic-based methodology developed to combat the state explosion problem for checking process equivalence. Our proposal is two-fold: (i) we show how equivalence checking can be applied in the context of business modelling and analysis; (ii) we evaluate and test the heuristic-based methodology using, as a case study, a real-world banking workflow of a loan origination process. Our investigations suggest that the business community, especially in the banking field, can benefit from this efficient methodology developed in the process algebra area to prevent significant errors. We show and discuss the experimental results obtained.
机译：传统上，等效检查应用于计算机系统设计。这是提高软件质量的有前途的正式技术。但是，它需要详细的系统规格，因此尤其在某些受限制的应用领域中不是很容易访问。该领域之一是业务流程管理。特别是，我们研究了等效检查对通过工作流管理系统映射的业务流程的验证的适用性。但是，在商业领域中形式方法的使用仍然没有得到广泛使用。这也归因于状态爆炸问题，状态爆炸问题表明状态空间在并发进程数中呈指数增长。在本文中，我们考虑开发一种基于启发式的方法，以应对状态爆炸问题以检查过程的等效性。我们的建议有两个方面：（i）说明如何在业务建模和分析的上下文中应用等效检查； （ii）作为案例研究，我们使用贷款发起流程的实际银行业务流程来评估和测试基于启发式的方法。我们的调查表明，商业界，尤其是在银行领域，可以从流程代数领域开发的这种有效方法中受益，以防止出现重大错误。我们展示并讨论了获得的实验结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号