权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Discovering formal business process models by process mining

通过流程挖掘发现正式的业务流程模型

基本信息

批准号：
21K11756
负责人：
伊藤宗平
金额：
$ 2.66万
依托单位：
Nagasaki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2025-03-31
项目状态：
未结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21K11756/
关键词：
プロセスマイニング形式手法モデル検査機械学習

项目摘要

本研究では、業務工程（ビジネスプロセス）の正しさを数理的に保証するための検証フレームワークの構築を目的としている。そのためには検証対象となる業務を数理的にモデル化したプロセスモデルが必要となる。実際の業務からプロセスモデルを発見・生成するための手法にプロセスマイニングというデータマイニング手法が考案されている。プロセスマイニングは業務の実行記録（イベントログ）を分析することでそのプロセスに関する知識を発見するもので、代表的な事例としてはプロセスモデルの発見、組織構造に関する発見、プロセスモデルと実際の実行記録が整合しているかの検査などがある。プロセスモデルの発見に関する従来の手法では個々の単位業務（アクティビティ）の順序関係のみを用いてモデルを発見するため、必然的にそのモデルはアクティビティの実行順番のみを表すものであった。本研究では、アクティビティの順序のみならず、そのアクティビティが実行されるための条件や、アクティビティが実行された結果企業の資源がどのように変化するかといった詳細な情報を含むモデルを発見することを目的としている。今年度においては、昨年度の検討結果を踏まえ、時間オートマトンによるプロセスモデルの発見に取り組んだ。他のプロセスマイニング手法の開発にも着手し、時間オートマトンによるプロセスモデルに対する適合度検査アルゴリズムの開発と実装を行った。また、予測的プロセスモニタリング手法の一つとして、実行途中のイベント列から、次のプロセスの完了時間を予測するモデルを構築し評価実験を行った。最後に、他のプロセスモデル表現形式についても検討し、ハイブリッドオートマトンや論理によるモデルの表現・検証についても検討した。

This study aims at the mathematical assurance of business engineering (business engineering) and its construction. It is necessary to examine and verify the business model. The actual business of the company is to create a new business model for the company. Analysis of business operation records (e.g. database), discovery of knowledge related to business operation, representative examples of business operation records, discovery of organizational structure, integration of business operation records, and investigation of business operation records. The order of the business is the order of the business. The order of the business is the order of the business. The order of the business is the order of the business. This study is based on the analysis of the results of resource allocation and detailed information. This year's survey results, last year's survey results, time to start, time to start. The development and implementation of the method of selecting and selecting the appropriate candidate for the examination of the candidate's suitability for the examination of the candidate's suitability For example, if you want to estimate the time of completion of the project, you can estimate the time of completion of the project. Finally, the expression form of his name is called "test" and "test" is called "test".