Presentation 2024-03-14
Structuring Methods for System Requirements Using Large Language Models
Ryo Nakashima, Masaki Inokuchi, Masaharu Morimoto, Takayuki Kuroda,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Recently, there has been increasing interest in automatic design to reduce the costs associated with the development and operation of ICT systems. Existing research necessitates manual structuring from natural language requirements to formal representations, since it adopts graph structures that are formally represented as inputs. This process has hindered the application of automatic design technologies. In this study, we examined a method of structuring a wide variety of natural language expression requirements into formal representations, leveraging large language models which have demonstrated high performance in various natural language processing tasks. Furthermore, using small-scale system configurations, we confirmed the feasibility of structuring by large language models, while also identifying specific challenges.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) System Design Automation / Large Language Model / Formal Representation / Structuralization
Paper # KBSE2023-70
Date of Issue 2024-03-07 (KBSE)

Conference Information
Committee KBSE
Conference Date 2024/3/14(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Okinawa Prefectual General Welfare Center
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair Takuya Saruwatari(NTT Data)
Vice Chair Yoshinori Tanabe(Tsurumi Univ.)
Secretary Yoshinori Tanabe(BIPROGY)
Assistant Takafumi Tanaka(Tamagawa Univ.) / Takashi Kitamura(AIST)

Paper Information
Registration To Technical Committee on Knowledge-Based Software Engineering
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Structuring Methods for System Requirements Using Large Language Models
Sub Title (in English)
Keyword(1) System Design Automation
Keyword(2) Large Language Model
Keyword(3) Formal Representation
Keyword(4) Structuralization
1st Author's Name Ryo Nakashima
1st Author's Affiliation The University of Tokyo(UTokyo)
2nd Author's Name Masaki Inokuchi
2nd Author's Affiliation NEC Corporation(NEC)
3rd Author's Name Masaharu Morimoto
3rd Author's Affiliation NEC Corporation(NEC)
4th Author's Name Takayuki Kuroda
4th Author's Affiliation NEC Corporation(NEC)
Date 2024-03-14
Paper # KBSE2023-70
Volume (vol) vol.123
Number (no) KBSE-443
Page pp.pp.31-36(KBSE),
#Pages 6
Date of Issue 2024-03-07 (KBSE)