¹Ø×¢
Hiroki Horita
±êÌâ
ÒýÓôÎÊý
ÒýÓôÎÊý
Äê·Ý
Transformation approach from KAOS goal models to BPMN models using refinement patterns
H Horita, K Honda, Y Sei, H Nakagawa, Y Tahara, A Ohsuga
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1023-1024, 2014
92014
Process mining approach based on partial structures of event logs and decision tree learning
H Horita, H Hirayama, T Hayase, Y Tahara, A Ohsuga
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI ¡­, 2016
82016
Towards Goal-Oriented Conformance Checking.
H Horita, H Hirayama, Y Tahara, A Ohsuga
SEKE, 722-724, 2015
82015
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
H Horita, H Hirayama, Y Tahara, A Ohsuga
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1214-1218, 2016
62016
Extraction of Missing Tendency Using Decision Tree Learning in Business Process Event Log
H Horita, Y Kurihashi, N Miyamori
Data 5 (3), 2020
52020
A Method for Goal Model Repair Based on Process Mining
H Horita, H Hirayama, T Hayase, Y Tahara, A and Ohsuga
20th IEEE/ACIS International Conference on Software Engineering, Artificial ¡­, 2019
52019
Towards Goal-Oriented Business Process Model Repair
T Takei, H Horita
10th International Congress on Advanced Applied Informatics (IIAI-AAI2021), 2021
32021
Business process verification and restructuring LTL formula based on machine learning approach
H Horita, H Hirayama, T Hayase, Y Tahara, A Ohsuga
Computer and Information Science, 89-102, 2016
32016
¥ê¥Õ¥¡¥¤¥ó¥á¥ó¥È¥Ñ¥¿þí¥ó¤òÀûÓä·¤¿ KAOS ¥´þí¥ë¥â¥Ç¥ë¤«¤é BPMN ¥â¥Ç¥ë¤Ø¤Î変換
Ü¥Ìï´ó貴£¬ ±¾Ìï¸ûÈý£¬ ƽɽÐãÕÑ£¬ ÇåÐÛÒ»£¬ Öд¨²©Ö®£¬ ÌïÔ­¿µÖ®£¬ ...
¥³¥ó¥Ô¥åþí¥¿ ¥½¥Õ¥È¥¦¥§¥¢ 32 (4), 4_141-4_160, 2015
22015
決¶¨Ä¾Ñ§習¤òÀûÓä·¤¿¥Ó¥¸¥Í¥¹¥×¥í¥»¥¹実ÐÐ¥í¥°検証¤Î¤¿¤á¤Î論Àíʽ¤ÎÉú³É
Ü¥Ìï´ó貴£¬ ƽɽÐãÕÑ£¬ Ôç瀬½¡·ò£¬ ÌïÔ­¿µÖ®£¬ ´ó須賀ÕÑÑå
電×ÓÇé報ͨÐÅѧ»á論ÎÄ誌 D 101 (3), 530-538, 2018
12018
Generating LTL Formulas for Process Mining by Example of Trace
K Komatsu, H Horita
Journal of Data Science and Intelligent Systems, 2024
2024
Analysis of Business Processes with Automatic Detection of KPI Thresholds and Process Discovery Based on Trace Variants
T Takei, H Horita
Research Briefs on Information and Communication Technology Evolution 9, 59-76, 2023
2023
µÍÆ·質¥¤¥Ù¥ó¥È¥í¥°¤ÎÐÞ復¤¬Conformance Checking¤ØÓ뤨¤ëÓ°響¤Ë¤Ä¤¤¤Æ¤ÎÑо¿
°ë¹ÈÌ«Ò»£¬ Ü¥Ìï´ó貴
経営Çé報ѧ»á2023Äê¶ÈÄê´Î´ó»á, 2023
2023
説Ã÷¿ÉÄÜ機еѧ習¤Ë¤è¤ë¥×¥í¥»¥¹¥Þ¥¤¥Ë¥ó¥°¤Ë¤ª¤±¤ë¥¤¥Ù¥ó¥È¥í¥°¤Î¥¨¥ó¥³þí¥Ç¥£¥ó¥°·½·¨¤Ë関¤¹¤ëÑо¿
±¾Ãûº£¶·£¬ Ü¥Ìï´ó貴
経営Çé報ѧ»á2023Äê¶ÈÄê´Î´ó»á, 2023
2023
SAT¥Ùþí¥¹¤ÎÊÖ·¨¤Ë¤è¤ëÐûÑÔÐÍ¥×¥í¥»¥¹¥â¥Ç¥ë¤Î発見
СËɺ½Ì­£¬ Ü¥Ìï´ó貴
経営Çé報ѧ»á2023Äê¶ÈÄê´Î´ó»á, 2023
2023
¥È¥ìþí¥¹¤Î¥Ð¥ê¥¢¥ó¥È¤Ë»ù¤Å¤¯KPI閾値¤Î×Ô動検³ö¤Ë¤è¤ë¥Ó¥¸¥Í¥¹¥×¥í¥»¥¹¤Î·ÖÎö
Î侮̫ÀÉ£¬ Ü¥Ìï´ó貴
電×ÓÇé報ͨÐÅѧ»áÖªÄÜ¥½¥Õ¥È¥¦¥§¥¢¹¤Ñ§Ñо¿»á, 2023
2023
Comparison of Goal-Oriented Business Process Model Repair and Discovery
T Takei, H Horita
International Journal of Service and Knowledge Management 7 (1), 1-17, 2023
2023
¥Ó¥¸¥Í¥¹¥×¥í¥»¥¹実ÐÐ時¤Ë¤ª¤±¤ë¹«Æ½¤ÊÈË員¤Î¸î¤êµ±¤Æ
½­頭ÄÇÓɶ࣬ Ü¥Ìï´ó貴
電×ÓÇé報ͨÐÅѧ»áÖªÄÜ¥½¥Õ¥È¥¦¥§¥¢¹¤Ñ§Ñо¿»á, 2023
2023
¥Ó¥¸¥Í¥¹¥×¥í¥»¥¹実ÐÐ時¤Ë¤ª¤±¤ë¹«Æ½¤ÊÈË員¤Î¸î¤êµ±¤Æ¤Ë¤à¤±¤Æ
½­頭ÄÇÓɶ࣬ Ü¥Ìï´ó貴
¥½¥Õ¥È¥¦¥§¥¢¥¨¥ó¥¸¥Ë¥¢¥ê¥ó¥°¥·¥ó¥Ý¥¸¥¦¥à2022¥ïþí¥¯¥·¥ç¥Ã¥×, 2022
2022
¥È¥ìþí¥¹¤ÎÀýʾ¤Ë¤è¤ë線ÐÎ時Ïà論Àíʽ¤ÎÉú³É
СËɺ½Ì­£¬ Ü¥Ìï´ó貴
電×ÓÇé報ͨÐÅѧ»á ÖªÄÜ¥½¥Õ¥È¥¦¥§¥¢¹¤Ñ§Ñо¿»á, 2022
2022
ϵͳĿǰÎÞ·¨Ö´Ðд˲Ù×÷£¬ÇëÉÔºóÔÙÊÔ¡£
ÎÄÕÂ 1–20