Optimizing Runtime Business Processes with Fair Workload Distribution　　　　　　　　　　　　　　　
Hiroki Horita, Lead
Journal of Comprehensive Business Administration Research, May 2025, [Reviewed]

Impact of Threshold Setting for Event Log Repair on Conformance Checking
Kazuki Masumoto; Hiroki Horita, Last, Conformance checking is a method to compare the actually executed business process recorded as an event log with the business process described as a business process model and to identify differences. For human or technical reasons, event logs that contain noise and are of low quality may be recorded. Therefore, methods have been proposed to repair low‐quality event logs, but they require the setting of a threshold, and it is difficult to set a suitable threshold. In this paper, we investigate the effect of low‐quality event log repair methods on conformance checking. Through experiments, it was shown that the appropriate threshold depends on the type of event log and the amount of noise., Wiley
The Scientific World Journal, Apr. 2025, [Reviewed]

Generating LTL Formulas for Process Mining by Example of Trace
Kota Komatsu; Hiroki Horita, Last, Process mining enables efficient and exhaustive analysis of business processes based on event data. Process mining tools such as LTL Checker allow users to verify temporal properties of business processes for traces by providing a description based on linear temporal logic (LTL). However, it is difficult for many users to understand and use LTL-based mathematical notation. Therefore, there is a need for a method to describe temporal properties even for those who are not familiar with mathematical notation. In this study, we proposed a method based on the satisfiability problem (SAT) for event logs in XES format used in process mining, and it is verified how well it can automatically generate temporal properties in business processes. We conducted experiments using two types of event logs to demonstrate the effectiveness of the proposed method., BON VIEW PUBLISHING PTE
Journal of Data Science and Intelligent Systems, 2024, [Reviewed]

Analysis of Business Processes with Automatic Detection of KPI Thresholds and Process Discovery Based on Trace Variants　　　　　　　　　　　　　　　
Taro Takei; Hiroki Horita, Last
Research Briefs on Information and Communication Technology Evolution, Sep. 2023, [Reviewed]

Comparison of Goal-Oriented Business Process Model Repair and Discovery
Taro Takei; Hiroki Horita, Last, International Institute of Applied Informatics
International Journal of Service and Knowledge Management, 2023, [Reviewed]

Towards Goal-Oriented Business Process Model Repair　　　　　　　　　　　　　　　
Taro Takei; Hiroki Horita
10th International Congress on Advanced Applied Informatics (IIAI-AAI2021), Jul. 2021, [Reviewed]

Extraction of Missing Tendency Using Decision Tree Learning in Business Process Event Log　　　　　　　　　　　　　　　
Hiroki Horita; Yuta Kurihashi; Nozomi Miyamori, Lead
Data, Sep. 2020, [Reviewed]

Fairness Analysis in Goal-Oriented Requirements Selection　　　　　　　　　　　　　　　
Hiroki Horita; Junji Noguchi, Lead
International Journal of Trade, Economics and Finance, Aug. 2020, [Reviewed]

A Method for Goal Model Repair Based on Process Mining
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga, Lead, IEEE
20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019), Jul. 2019, [Reviewed]

決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成　　　　　　　　　　　　　　　
堀田大貴; 平山秀昭; 早瀬健夫; 田原康之; 大須賀昭彦, Lead
電子情報通信学会論文誌, Mar. 2018, [Reviewed]

Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
Hiroki Horita; Hideaki Hirayama; Yasuyuki Tahara; Akihiko Ohsuga, Association for Computing Machinery
Proceedings of the ACM Symposium on Applied Computing, 04 Apr. 2016, [Reviewed]

Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga
COMPUTER AND INFORMATION SCIENCE, 2016, [Reviewed]

Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga
PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016, 2016, [Reviewed]

リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換
堀田 大貴; 本田 耕三; 平山 秀昭; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦, Lead, In the software development, modeling business process is important. In constructing business process model appropriately, stakeholder's requirements should be reflected in the model. Therefore, in this research, we propose transformation approach from goal models using refinement pattern to business process models. It is denoted that rules of transformation and algorithm. Using our approach supports constructing business process models by specifying stakeholder's requirements formally using refinement patterns. We evaluate the effectiveness of our approach through applying our approach for a number of cases and using model-checking techniques., Japan Society for Software Science and Technology
コンピュータ ソフトウェア, Nov. 2015, [Reviewed]

Towards Goal-Oriented Conformance Checking
Hiroki Horita; Hideaki Hirayama; Yasuyuki Tahara and Akihiko Ohsuga, Lead, KSI Research Inc. and Knowledge Systems Institute Graduate School
International Conference on Software Engineering and Knowledge Engineering (SEKE2015), Jul. 2015, [Reviewed]

Transformation approach from KAOS goal models to BPMN models using refinement patterns
Hiroki Horita; Kozo Honda; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga, Association for Computing Machinery
Proceedings of the ACM Symposium on Applied Computing, 2014, [Reviewed]

Computer and Information Science (Business Process Verification and Restructuring LTL Formula Based on Machine Learning )　　　　　　　　　　　　　　　
Contributor
Jun. 2016

ベイズ推定における事前分布の作成にChatGPTを用いたガウス過程回帰による暴落時の日経平均株価の予測　　　　　　　　　　　　　　　
石井成來; 堀田大貴
第34回 人工知能学会 金融情報学研究会, Mar. 2025

否定的レビューに対して釈明を含む返信の分類精度の向上　　　　　　　　　　　　　　　
半谷太一; 堀田大貴
IDRユーザフォーラム 2024, 13 Dec. 2024

予測型プロセスモニタリングにおけるDECLARE制約を用いた説明可能性の向上　　　　　　　　　　　　　　　
本名海斗; 堀田大貴
冬のDBS/DE/IFAT合同研究会2024, Dec. 2024

YouTubeにおける顔が写ったサムネイルと再生回数の関係　　　　　　　　　　　　　　　
森田昭壱; 堀田大貴
経営情報学会2024年度年次大会, 01 Jun. 2024

低品質イベントログの修復がConformance Checkingへ与える影響についての研究　　　　　　　　　　　　　　　
半谷太一; 堀田大貴
経営情報学会2023年度年次大会, Jun. 2023, 経営情報学会
20230610, 20230610

説明可能機械学習によるプロセスマイニングにおけるイベントログのエンコーディング方法に関する研究　　　　　　　　　　　　　　　
本名海斗; 堀田大貴
経営情報学会2023年度年次大会, Jun. 2023, 経営情報学会
20230610, 20230610

SATベースの手法による宣言型プロセスモデルの発見　　　　　　　　　　　　　　　
小松航汰; 堀田大貴
経営情報学会2023年度年次大会, Jun. 2023, 経営情報学会
20230610, 20230610

トレースのバリアントに基づくKPI閾値の自動検出によるビジネスプロセスの分析　　　　　　　　　　　　　　　
武井太郎; 堀田大貴
電子情報通信学会知能ソフトウェア工学研究会, Mar. 2023

ビジネスプロセス実行時における公平な人員の割り当て　　　　　　　　　　　　　　　
江頭那由多; 堀田大貴
電子情報通信学会 知能ソフトウェア工学研究会, Jan. 2023
20230119, 20230120

ビジネスプロセス実行時における公平な人員の割り当てにむけて　　　　　　　　　　　　　　　
江頭那由多; 堀田大貴
ソフトウェアエンジニアリングシンポジウム2022ワークショップ, Sep. 2022

トレースの例示による線形時相論理式の生成　　　　　　　　　　　　　　　
小松航汰; 堀田大貴
電子情報通信学会知能ソフトウェア工学研究会, May 2022, 電子情報通信学会

作業順序を考慮した作業者の代表的な活動パターンの抽出方法に関する考察　　　　　　　　　　　　　　　
宮森望; 堀田大貴; 上田賀一
人工知能学会ビジネス・インフォマティクス研究会第18回, Mar. 2021

Tactical Analysis in Football Based on Process Mining -The impact of score differences on process discovery-　　　　　　　　　　　　　　　
R Osaka; H Horita
2nd International Electronic Conference on Applied Sciences, 2021

時系列分析手法を用いたビジネスプロセスの待ち時間の分析　　　　　　　　　　　　　　　
宮森望; 堀田大貴
2020年度 人工知能学会全国大会（第34回）, Jun. 2020

プロセスマイニングにおけるビジネスプロセスモデルの自動修正に対応したゴールモデルの修正手法　　　　　　　　　　　　　　　
堀田大貴; 平山秀昭; 早瀬健夫; 田原康之; 大須賀昭彦
電子情報通信学会研究会, Jul. 2018

制御ルールの並びに着目した反例分析手法の提案　　　　　　　　　　　　　　　
薄井翔; 上田賀一; 小飼敬; 高橋竜一; 堀田大貴
日本ソフトウェア科学会第 34 回大会, Sep. 2017

ソースコードの変更によるデータフロー図の差異検出手法　　　　　　　　　　　　　　　
長岡源樹; 上田賀一; 堀田大貴; 高橋竜一
日本ソフトウェア科学会第 34 回大会, Sep. 2017

リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換　　　　　　　　　　　　　　　
堀田大貴; 本田耕三; 清雄一; 中川博之; 田原康之; 大須賀昭彦
ソフトウェア工学の基礎ワークショップ FOSE 2013, Nov. 2013

Dec. 2024 - Present
茨城大学

Sep. 2024 - Present
茨城大学

2024 - Present
茨城大学

busiess process modeling　　　　　　　　　　　　　　　
2023 - Present
茨城大学

Apr. 2017 - Present
茨城大学

2017 - Present
茨城大学

Present
茨城大学

Present
茨城大学

Present
茨城大学

Present
茨城大学

Present
茨城大学

2021 - 2023
茨城大学

2018 - 2019
茨城大学

2017
茨城大学

Aug. 2023 - Present, 日本マーケティング学会

2022 - Present, 電子情報通信学会

Jun. 2019 - Present, 日本データベース学会

Apr. 2018 - Present, 人工知能学会

Dec. 2016 - Present, 情報処理学会

Present, 経営情報学会

トレースの例示に基づくプロセスマイニングに関する研究　　　　　　　　　　　　　　　
若手研究
Apr. 2024 - Mar. 2028

プロセスマイニング活用による営業・業務の改革手法の検討　　　　　　　　　　　　　　　
2021 - Mar. 2022

令和４年度情報処理エンジニア育成セミナー　　　　　　　　　　　　　　
lecturer
03 Sep. 2022 - 31 Jan. 2023