ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. ソフトウェア工学(SE)
  3. 2015
  4. 2015-SE-187

自然言語で書かれた要求文の規則への整合性検査手法

https://ipsj.ixsq.nii.ac.jp/records/141245
https://ipsj.ixsq.nii.ac.jp/records/141245
17698d55-d105-4ce2-9229-658cbfd09beb
名前 / ファイル ライセンス アクション
IPSJ-SE15187018.pdf IPSJ-SE15187018.pdf (1.3 MB)
Copyright (c) 2015 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 2015-03-05
タイトル
タイトル 自然言語で書かれた要求文の規則への整合性検査手法
タイトル
言語 en
タイトル Checking the Consisteny between Requirements Specification Documents and Regulations
言語
言語 jpn
キーワード
主題Scheme Other
主題 要求分析
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
東京工業大学
著者所属
東京工業大学
著者所属
東京工業大学
著者所属(英)
en
Tokyo Institute of Technology
著者所属(英)
en
Tokyo Institute of Technology
著者所属(英)
en
Tokyo Institute of Technology
著者名 中村, 遼太郎

× 中村, 遼太郎

中村, 遼太郎

Search repository
林, 晋平

× 林, 晋平

林, 晋平

Search repository
佐伯, 元司

× 佐伯, 元司

佐伯, 元司

Search repository
論文抄録
内容記述タイプ Other
内容記述 自然言語で書かれた要求文と規則の整合性をモデル検査で検査するためには,要求文を状態遷移モデルに,規則を検査式に変換する必要がある.この際,状態遷移モデルと検査式を対応づけるには,要求文と規則の語彙マッチングを行わなければならない.本稿では,用意した格フレーム辞書と要求文とのマッチング法を開発し,これによる規則への整合性検査手法を提案する.提案手法は,類義語,同義語,上位下位語を処理し,要求文の単語と格スロットに入るべき単語の意味的制約に基づくマッチングを行う.これにより要求文を格フレーム化した後,要求文の意味を踏まえた状態遷移モデル及び該当モデルに対応する規則の検査式を生成する.要求文と規則文に提案手法を適用し有用性を評価した.
論文抄録(英)
内容記述タイプ Other
内容記述 When developers check the consistency between requirements specification documents and regulations by Model checking, they need state transition models of the documents and logic specifications of regulations. Moreover, they have to know which words in documents correspond to words in applicable regulations in respect of meaning so that they create logic specifications. In this paper, we propose a technique to reason the meaning of words in requirements specification documents by using co-occurrence restrictions in case frames and to create state transition models based on the reasoned meaning and logic specifications of applicable regulations. These specifications are created from these reasoned meaning and logic expressions which contain case frames as factors and express regulations. Our proposal is evaluated with a case study.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN10112981
書誌情報 研究報告ソフトウェア工学(SE)

巻 2015-SE-187, 号 18, p. 1-8, 発行日 2015-03-05
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 19:27:59.956624
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3