| Presentation | 2021-07-08 Extraction method for transition relations from conditional statements in natural language requirements specifications Maiko Onishi, Hiroya Ii, Shinpei Ogata, Kozo Okano, Daisuke Bekki, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In software development, it is generally known that detecting defects at an early stage of the process reduces rework and improves development efficiency. The integration of natural language processing and software engineering is becoming more important, as researches on methods to extract state transitions from natural language specifications by NLP are being conducted. In general, these approaches link NLP with formal approaches such as model checking. In this study, we attempt to extract state transition relations from conditional statements in specifications. As an intermediate process, we propose a method for automatically generating formulas of temporal logic that can be mapped to LTL formulas, and demonstrate its usefulness with some practical example sentences. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Natural Language Processing / Software Engineering / Requirements Specification / Temporal Logic / State Transition Relations |
| Paper # | SS2021-5,KBSE2021-17 |
| Date of Issue | 2021-07-01 (SS, KBSE) |
| Conference Information | |
| Committee | KBSE / IPSJ-SE / SS |
|---|---|
| Conference Date | 2021/7/8(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Virtual (Zoom) |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Hiroyuki Nakagawa(Osaka Univ.) / 鷲崎 弘宜(早稲田大学) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| Vice Chair | Takuya Saruwatari(NTT Data) / / Kozo Okano(Shinshu Univ.) |
| Secretary | Takuya Saruwatari(Shinsｈu Univ) / (Doshisha Univ,) / Kozo Okano |
| Assistant | Hideharu Kojima(Osaka Univ.) / Yutaro Kashiwa(Kyushu Univ,) / 伊原 彰紀(和歌山大学) / 小川 秀人(日立製作所) / 竹内 広宜(武蔵大学) / 徳本 晋(富士通) / 伏田 享平(NTT株式会社) / 福田 浩章(芝浦工業大学) / 横川 智教(岡山県立大学) / Shinpei Ogata(Shinshu Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering / Technical Committee on Software Science |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Extraction method for transition relations from conditional statements in natural language requirements specifications |
| Sub Title (in English) | |
| Keyword(1) | Natural Language Processing |
| Keyword(2) | Software Engineering |
| Keyword(3) | Requirements Specification |
| Keyword(4) | Temporal Logic |
| Keyword(5) | State Transition Relations |
| 1st Author's Name | Maiko Onishi |
| 1st Author's Affiliation | Ochanomizu University(Ochanomizu Univ.) |
| 2nd Author's Name | Hiroya Ii |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 3rd Author's Name | Shinpei Ogata |
| 3rd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 4th Author's Name | Kozo Okano |
| 4th Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 5th Author's Name | Daisuke Bekki |
| 5th Author's Affiliation | Ochanomizu University(Ochanomizu Univ.) |
| Date | 2021-07-08 |
| Paper # | SS2021-5,KBSE2021-17 |
| Volume (vol) | vol.121 |
| Number (no) | SS-94,KBSE-95 |
| Page | pp.pp.25-30(SS), pp.25-30(KBSE), |
| #Pages | 6 |
| Date of Issue | 2021-07-01 (SS, KBSE) |