...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>電子情報通信学会論文誌, D. 情報·システム >時間，資源の制約をもつビジネスプロセスの形式検証
【24h】

時間，資源の制約をもつビジネスプロセスの形式検証

机译：随时间的正式验证业务流程，资源限制

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

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

ITシステムの開発においてビジネスプロセスのモデル化は非常に重要であり，その設計段階においてプロセスの正しさや妥当性を十分に検証しておく必要がある。特に，時間や資源に関する性質はボトルネック問題のようなビジネスプロセスの典型的な問題に関連しているため，注意深く分析する必要がある。本論文では，時間及び資源に関する制約をもつビジネスプロセスの性質を，モデル検査技法を用いて形式的に検証する手法を提案する。まず，ビジネスプロセスの標準記法BPMNに対して時間及び資源に関する制約を付加できるように拡張を加える。更に，拡張したBPMNで記述されたビジネスプロセスを，モデル検査ツールで検証可能な時間オートマトンに変換する方法を示す。本手法によって，プロセスの構造的な問題だけでなく，時間と資源に関連した問題を初期の設計段階において排除し，ビジネスプロセスの設計品質の保証に役立てることができる。
机译：在IT系统的开发中，业务流程的建模非常重要，并且在其设计阶段，有必要完全验证过程的正确性和有效性。特别是，需要仔细分析时间和资源的性质，因为它与诸如瓶颈问题等业务流程的典型问题有关。在本文中，我们提出了一种使用模型检测技术在正式的时间和资源约束中格式化业务流程的性质。首先，添加扩展以向业务流程的标准说明BPMN添加时间和资源约束。另外，将扩展BPMN中描述的业务流程转换为具有模型检测工具的可验证时间自动机的方法。该方法不仅可以消除该过程的结构问题，还可以消除与早期设计阶段中的时间和资源相关的问题，并帮助保证业务流程设计质量。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号