| 講演名 | 2021-07-08 仕様書の条件文における状態遷移関係の抽出方法 大西 舞子(お茶の水女子大), 井 浩也(信州大), 小形 真平(信州大), 岡野 浩三(信州大), 戸次 大介(お茶の水女子大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソフトウェア開発において不具合の検出を早期の工程で行うことで,手戻り作業を減らし,開発効率を上げることが一般的に知られている.自然言語の仕様書から状態遷移を抽出することで,モデル検査などの検査手法と連携を図る研究が進められており,ますます自然言語処理とソフトウェア工学の融合が欠かせなくなっている.本稿では,仕様書に現れる条件文から状態遷移関係の抽出を試みる.その中間過程として検査式へマッピング可能な時相論理式を自動生成する手法を提案し，その有用性をいくつかの実用例文で示した. |
| 抄録(英) | 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. |
| キーワード(和) | 自然言語処理 / ソフトウェア工学 / 要求仕様書 / 時相論理 / 状態遷移関係 |
| キーワード(英) | Natural Language Processing / Software Engineering / Requirements Specification / Temporal Logic / State Transition Relations |
| 資料番号 | SS2021-5,KBSE2021-17 |
| 発行日 | 2021-07-01 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | KBSE / IPSJ-SE / SS |
|---|---|
| 開催期間 | 2021/7/8(から2日開催) |
| 開催地（和） | オンライン開催(Zoom) |
| 開催地（英） | Virtual (Zoom) |
| テーマ（和） | ソフトウェア工学全般／ソフトウェアサイエンス全般／知能ソフトウェア工学全般 |
| テーマ（英） | |
| 委員長氏名（和） | 中川 博之(阪大) / 鷲崎 弘宜(早稲田大学) / 小林 隆志(東工大) |
| 委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) / 鷲崎 弘宜(早稲田大学) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| 副委員長氏名（和） | 猿渡 卓也(NTTデータ) / / 岡野 浩三(信州大) |
| 副委員長氏名（英） | Takuya Saruwatari(NTT Data) / / Kozo Okano(Shinshu Univ.) |
| 幹事氏名（和） | 小形 真平(信州大) / 槇原 絵里奈(同志社大) / / 島 和之(広島市大) / 林 晋平(東工大) |
| 幹事氏名（英） | Shinpei Ogata(Shinsｈu Univ) / Erina Nakihara(Doshisha Univ,) / / Kazuyuki Shima(Hiroshima City Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| 幹事補佐氏名（和） | 小島 英春(阪大) / 柏 祐太郎(九大) / 伊原 彰紀(和歌山大学) / 小川 秀人(日立製作所) / 竹内 広宜(武蔵大学) / 徳本 晋(富士通) / 伏田 享平(NTT株式会社) / 福田 浩章(芝浦工業大学) / 横川 智教(岡山県立大学) / 小形 真平(信州大) |
| 幹事補佐氏名（英） | Hideharu Kojima(Osaka Univ.) / Yutaro Kashiwa(Kyushu Univ,) / 伊原 彰紀(和歌山大学) / 小川 秀人(日立製作所) / 竹内 広宜(武蔵大学) / 徳本 晋(富士通) / 伏田 享平(NTT株式会社) / 福田 浩章(芝浦工業大学) / 横川 智教(岡山県立大学) / Shinpei Ogata(Shinshu Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering / Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 仕様書の条件文における状態遷移関係の抽出方法 |
| サブタイトル（和） | |
| タイトル（英） | Extraction method for transition relations from conditional statements in natural language requirements specifications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 自然言語処理 / Natural Language Processing |
| キーワード(2)（和/英） | ソフトウェア工学 / Software Engineering |
| キーワード(3)（和/英） | 要求仕様書 / Requirements Specification |
| キーワード(4)（和/英） | 時相論理 / Temporal Logic |
| キーワード(5)（和/英） | 状態遷移関係 / State Transition Relations |
| 第 1 著者 氏名（和/英） | 大西 舞子 / Maiko Onishi |
| 第 1 著者 所属（和/英） | お茶の水女子大学(略称：お茶の水女子大) Ochanomizu University(略称：Ochanomizu Univ.) |
| 第 2 著者 氏名（和/英） | 井 浩也 / Hiroya Ii |
| 第 2 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 3 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 3 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 4 著者 氏名（和/英） | 岡野 浩三 / Kozo Okano |
| 第 4 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 5 著者 氏名（和/英） | 戸次 大介 / Daisuke Bekki |
| 第 5 著者 所属（和/英） | お茶の水女子大学(略称：お茶の水女子大) Ochanomizu University(略称：Ochanomizu Univ.) |
| 発表年月日 | 2021-07-08 |
| 資料番号 | SS2021-5,KBSE2021-17 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | SS-94,KBSE-95 |
| ページ範囲 | pp.25-30(SS), pp.25-30(KBSE), |
| ページ数 | 6 |
| 発行日 | 2021-07-01 (SS, KBSE) |