Details of a Researcher - KATAYAMA Tetsuro

Proposal and Implementation of Gamma Which Is a Spatial Data Sharing Distributed MQTT System Reviewed

Ueda Takahiro, Katayama Tetsuro

Memoirs of Faculty of Engineering, University of Miyazaki 51 129 - 133 2022.11

Language：Japanese Publishing type：Research paper (scientific journal)

Extension to Expand the Scope of Application of BWDM to Generate Test Cases from VDM++ Specifications Reviewed

Muto Takafumi, Katayama Tetsuro

Memoirs of Faculty of Engineering, University of Miyazaki 51 141 - 146 2022.11

Language：Japanese Publishing type：Research paper (scientific journal)

Proposal of an Automatic Generation Method of Class and Instance Variable Definitions in VDM++ Specification from Natural Language Specification Using Machine Learning Reviewed

Suga Kensuke, Katayama Tetsuro

Memoirs of Faculty of Engineering, University of Miyazaki 51 135 - 140 2022.11

Language：Japanese Publishing type：Research paper (scientific journal)

VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案 Reviewed

菅健将, 片山徹郎

ソフトウェアエンジニアリングシンポジウム2022論文集 79 - 88 2022.9

Authorship：Corresponding author Language：Japanese Publishing type：Research paper (conference, symposium, etc.)

Proposal of Gamma Which Is a Messaging Platform for Spatial Data Reviewed

Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu

Journal of Robotics, Networking and Artificial Life 9 ( 2 ) 136 - 142 2022.9

Language：English Publishing type：Research paper (scientific journal) Publisher：ALife Robotics Corporation Ltd.

This paper proposes Gamma, which is a messaging platform for spatial data. Gamma uses distributed MQTT system for spatial data sharing, and this paper aims to improve the usefulness of distributed MQTT system. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.

DOI： 10.57417/jrnal.9.2_136

Enhancement of Design Level Class Decomposition using Evaluation Process Reviewed

Priyambadha B., Katayama T.

International Journal of Advanced Computer Science and Applications 13 ( 8 ) 130 - 139 2022.8

Language：English Publishing type：Research paper (scientific journal) Publisher：International Journal of Advanced Computer Science and Applications

Refactoring on the design level artifact such as the class diagram was already done using the threshold-based agglomerative hierarchical clustering method, specifically class decomposition. The approach produced a better cluster based on the label name similarity of attribute and method. But, some problems emerge from the experiment result. The negative Silhouettes element still exist in the cluster. And, there is an unusable cluster that only consists of one attribute element. This paper has proposed the evaluation process to optimize the result of clustering. This evaluation process is an additional process that aims to move the negative Silhouettes element to the other cluster. The movement is also to get the better value of element Silhouettes value. The evaluation process can produce a better result for clusters. The clusters produced from the evaluation process have higher Silhouettes values. The average Silhouettes value is increased by about 40%. Ultimately, the result shows no unusable cluster as mentioned in the previous research.

DOI： 10.14569/IJACSA.2022.0130816

Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features Reviewed

Priyambadha Bayu, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu

Journal of Robotics, Networking and Artificial Life 9 ( 1 ) 43 - 48 2022.8

Language：English Publishing type：Research paper (scientific journal) Publisher：ALife Robotics Corporation Ltd.

Measuring the quality of software design artifacts is difficult due to the limitation of information in the design phase. The class diagram is one of the design artifacts produced during the design phase. The syntactic and semantic information in the class is essential to consider in the measurement process. Smell detection uses class-related information to detect the smell as an indicator of a lack of quality. Several classifiers use all information related to the class to prove how informative it for the smell detection process. The smell types that are a concern in this research are Blob and Feature Envy. The experiment using three classifiers (j48, Multi-Layer Perceptron, and Naïve Bayes) confirms that Blob smell detection utilizes the information successfully. On the other hand, Feature Envy still needs more elaboration. The average true positive rate by the classifiers is about 80.67%.

DOI： 10.57417/jrnal.9.1_43

Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning Reviewed

Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu

Journal of Advances in Artificial Life Robotics 2 ( 4 ) 189 - 194 2022.6

Language：English Publishing type：Research paper (scientific journal) Publisher：株式会社 ALife Robotics

Writing VDM++ specifications is difficult. The existing method can automatically generate only type and constant definitions in VDM++ specification from natural language specification by using machine learning. This paper proposes a method to generate classes and instance variable definitions in VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F- values, it has been confirmed that the proposed method can improve the usefulness of the existing method.

DOI： 10.57417/jaalr.2.4_189

Design Level Class Decomposition using the Threshold-based Hierarchical Agglomerative Clustering Reviewed

空間データを対象とした分散MQTTシステムGammaの提案と実装

上田高寛, 片山徹郎

情報処理学会九州支部研究会(火の国情報シンポジウム2022) ( A21-5 ) 1 - 8 2022.3

Authorship：Corresponding author Language：Japanese Publishing type：Research paper (conference, symposium, etc.)

Bayu Priyambadha, Tetsuro Katayama

International Journal of Advanced Computer Science and Applications 13 ( 3 ) 57 - 64 2022.3

Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal)

DOI： 10.14569/IJACSA.2022.0130310

Correction to: Proposal and evaluation for color constancy CAPTCHA (Artificial Life and Robotics, (2021), 26, 3, (291-296), 10.1007/s10015-021-00679-x) Reviewed

Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki

Artificial Life and Robotics 27 ( 1 ) 179 2022.2

Language：Japanese Publishing type：Research paper (scientific journal)

In the original publication of the article, on Figs. 4 and 5, “CNN” should read as “MLP”. In addition, under the section “4.2 Human and machine success rate”, on the paragraph “For evaluation of the machine success …”, in the following sentence “In the attack experiment, we applied the famous color …” CNN (Convolutional Neural Network) should be corrected as MLP (Multilayer perceptron). The correct sentence should read as “In the attack experiment, we applied the famous color constancy algorithm, Gray-World, Max-RGB, Gray-Edge [11], Second Derivative Gray-Edge, and MLP (Multilayer perceptron) to images that were saved in the experiment for the human success rate

DOI： 10.1007/s10015-021-00715-w

Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System Reviewed

Ueda T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.

Proceedings of International Conference on Artificial Life and Robotics 188 - 192 2022.1

Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：Proceedings of International Conference on Artificial Life and Robotics

This paper proposes Gamma, which is a new distributed MQTT system, to improve the usefulness of distributed MQTT systems for sharing spatial data. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.

Proposal for a blockchain based agricultural input voucher system Reviewed

Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Artificial Life and Robotics 27 ( 3 ) 461 - 471 2022.1

Language：English Publishing type：Research paper (scientific journal)

Most of the small-scale farmers in Tanzania can’t afford to buy quality agricultural inputs (fertilizers and seeds), therefore the Tanzanian government issues paper-based subsidy vouchers to farmers for buying the inputs at half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in allocation) and lack of trust (difficulty of verifying vouchers’ authenticity) have resulted into low crop productivity for the farmers and loss of government funds. To address this, we have developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network whose features like hashing and digital signature prevent misuse and ensure trust of the vouchers. Farmers access the digital vouchers through Short Message Service (SMS) in their mobile phones. Evaluation reveals that, the developed system is effective and meets performance demands of Tanzanian farmers. Also, Raft has better performance than Kafka consensus protocol.

DOI： 10.1007/s10015-021-00724-9

Proposal of a Method to Generate Classes and Instance Variable Definitions in the VDM++ Specification from Natural Language Specification Reviewed

Suga K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.

Proceedings of International Conference on Artificial Life and Robotics 178 - 182 2022.1

Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：Proceedings of International Conference on Artificial Life and Robotics

Writing VDM++ specifications is difficult. The existing method can automatically generate type and constant definitions in VDM++ specification from natural language specification using machine learning. This paper proposes a method to generate classes and instance variable definitions in the VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F-values, it has been confirmed that the proposed method can improve the usefulness of the existing method.

Expansion of Application Scope and Addition of a Function for Operations into BWDM to Generate Test Cases from VDM++ Specification Reviewed

Muto T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.

Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022.1

Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：Proceedings of International Conference on Artificial Life and Robotics

Generating test cases from the VDM++ specification to eliminate ambiguity in the specification is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper extends BWDM to solve three problems. In addition, we conducted a comparison experiment with manual test case generation and confirmed a time saving of about 17 minutes.

リレーアタック耐性とボット耐性の両立を目指したインタラクティブな動画CAPTCHAの提案と評価 Reviewed

油田健太郎, 臼崎翔太郎, 山場久昭, 片山徹郎, 椋木雅之, 朴美娘, 岡崎直宣

情報処理学会論文誌 62 ( 12 ) 1864 - 1878 2021.12

Language：Japanese Publishing type：Research paper (scientific journal) Publisher：[出版社不明]

Webサービスへの不正対策としてCAPTCHAが用いられている．CAPTCHAは，人間には容易に解答できるがコンピュータ（ボット）には困難な問題を出題し，正しい解答をした者を人間と判断するシステムである．CAPTCHAはリレーアタックと呼ばれるインターネット上の報酬に誘引された人間を利用してCAPTCHAを解読させる方法に対して脆弱である．そこで，本論文ではリレーアタックを行った場合に生じる通信遅延に着目し，リレーアタックでのCAPTCHAの解答を困難にすることを目指したCAPTCHA方式を提案する．提案手法は，連続的に移動するオブジェクトをマウスカーソルで追跡し，その追跡が成功していた時間が所与の値を超えているか否かで人間かボットかを判別する．提案手法を評価するために，リレーアタックの実験環境を構築して実験を行った．次に，自動プログラムを用いた攻撃に対しても評価を行った．その結果，提案手法はリレーアタックと自動プログラムを用いた攻撃に対してロバストな方式であることを明らかにした．
CAPTCHA can be used to protect Web services against unauthorized access. CAPTCHA is designed to detect automated programs (called bots) by requiring them to perform tasks that are easy for humans but difficult for automations. CAPTCHAs are vulnerable to relay attacks in which the challenges are relayed to remote human-solvers who hope for a reward. Our new CAPTCHA uses delay time between communications to prevent relay attacks. In our CAPTCHA, users have to recognize the target object from a number of randomly appearing decoy objects and tracks it with his/her mouse cursor. To pass the test, the user must track the target for a given amount of time. We constructed an experimental environment in which relay attack can be simulated, made a series of experiments in order to evaluate the performance of the proposed method. Next, we implemented an automated attack for applying to our CAPTCHA and evaluate its resistance to automated attacks. Our results showed the robustness of our proposed method against relay attack and automated attacks.

DOI： 10.20729/00214230

Proposal for a crop protection information system for rural farmers in Tanzania Reviewed

Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Agronomy 11 ( 12 ) 2021.12

Language：English Publishing type：Research paper (scientific journal)

Crop protection information, such as how to control emergent and outbreak crop diseases and pests, as well as the latest research, regulations, and quality control measures for pesticides and fertilizers, is important to farmers. Rural smallholder farmers in Tanzania have traditionally relied on government agricultural officers who visit them in their villages to provide this crop protection information. However, these officers are few and cannot reach all the farmers on time. This means that farmers fail to make critical farming decisions on time, which can lead to low crop productivity. In this study, we aim to provide farmers with reliable and instant crop protection information by developing a system based on the Short Message Service (SMS) and the Web. This system automatically replies to farmers’ requests for the latest crop protection information in the Swahili language through SMS on a mobile phone or a Web system. The findings reveal that our proposed system can provide farmers with crop protection information at lower cost (500 times cheaper) than the existing Tigo Kilimo system. Furthermore, our proposed system’s deep learning model is effective in understanding and processing Swahili natural language SMS queries for crop protection information with an accuracy of 96.43%. This crop protection information will help farmers make better critical farming decisions on time and improve crop productivity.

DOI： 10.3390/agronomy11122411

Performance Evaluation of Blockchain Based Agricultural Input Voucher System Reviewed

Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.

2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021 637 - 638 2021.10

Language：English Publishing type：Research paper (scientific journal) Publisher：2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021

Large portion of rural small-scale farmers in Tanzania can't afford to buy quality agricultural inputs (fertilizers and seeds), therefore the government of Tanzania provides these farmers with paper-based subsidy vouchers which allow them to buy the agricultural inputs at only half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in vouchers' allocation) and lack of trust (difficulty of verifying vouchers' authenticity) have resulted into low crop productivity for the farmers and loss of government funds. In our previous work, we developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network and we evaluated its performance based on transaction throughput and latency metrics which are important to farmers, who access the system through Short Message Service (SMS) in their mobile phones. The blockchain network's features such as hashing and digital signature prevent misuse and ensure trust of the digital vouchers. In this paper, we evaluate performance of the developed blockchain network based on resources (CPU and memory) consumption metrics which are important in planning resources during system deployment. The evaluation findings reveal that, Raft consensus protocol consumes resources more efficiently than Kafka consensus protocol.

DOI： 10.1109/GCCE53005.2021.9622001

Improvement of RETUSS for Real-time Ensuring Traceability between Sequence Diagrams and Java Source Codes Reviewed

Katayama Tetsuro, Arima Kaoru

Memoirs of Faculty of Engineering, University of Miyazaki 50 213 - 218 2021.9

Language：Japanese Publishing type：Research paper (scientific journal)