| 講演名 | 1995/9/28 形式仕様の開発における機能要求への反映 臼井 伸幸, 高橋 薫, 神長 裕明, 白鳥 則郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 大規模なシステムを開発する際に,ユーザから獲得した要求を用いてシステム全体の仕様を得るまでに多大な労力を必要とする.その原因として,要求には曖昧さや矛盾が含まれており,また,部分的,段階的に得られるものだからということがあげられる.そこで我々は要求を機能という単位で形式的に記述することにより,システムの仕様を自動的に合成する手法を提案した.しかし,合成された形式仕様を検証し,形式仕様に変更を加えただけでは,後に要求が変更された場合,再合成するときに不都合が生じる.本稿では,合成された形式仕様を変更した時にその変更を機能要求に反映するアルゴリズムを提案し,そのアルゴリズムを実装した開発支援環境を示す. |
| 抄録(英) | In development of sophisticated system, it takes a lot of efforts to describe a specification of the whole system from user requirements. One reason is ambiguity and inconsistency in the requirements. In addition to this, the whole cannot be obtained at once. As a solution to this problem, we had proposed a methodology for the automatic synthesis of system specification by formally spcifying the requirements in "functions" form. However, in the case that the synthesized specification is modified during the verification process, this modified part will be lost whenever the specification is resynthesized according to the changes in requirements. In this paper, we proposed an algorithm which maps any change in synthesized specification to the function requirements. Futhermore, a support environment to develop the formal specification from function requirements is implemented. |
| キーワード(和) | 機能要求 / 形式仕様 / 形式仕様の合成 / 支援環境 |
| キーワード(英) | Requirement / Formal Specification / Synthesis of Specification / Support Environment |
| 資料番号 | SSE95-65,IN95-36,CS95-85 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1995/9/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 形式仕様の開発における機能要求への反映 |
| サブタイトル（和） | |
| タイトル（英） | Changes in Function Requirement by Modification of Formal Specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 機能要求 / Requirement |
| キーワード(2)（和/英） | 形式仕様 / Formal Specification |
| キーワード(3)（和/英） | 形式仕様の合成 / Synthesis of Specification |
| キーワード(4)（和/英） | 支援環境 / Support Environment |
| 第 1 著者 氏名（和/英） | 臼井 伸幸 / Nobuyuki USUI |
| 第 1 著者 所属（和/英） | 東北大学電気通信研究所 情報科学研究科 Research Institute 0f Electrical Communication, Tohoku Univ. Graduate School of Information Sciences |
| 第 2 著者 氏名（和/英） | 高橋 薫 / Kaoru TAKAHASHI |
| 第 2 著者 所属（和/英） | 仙台電波工業高等専門学校 Sendai National College of Technology |
| 第 3 著者 氏名（和/英） | 神長 裕明 / Hiroaki KAMINAGA |
| 第 3 著者 所属（和/英） | 山形大学工学部電子工学科 Faculty of Engineering, Yamagata Univ. |
| 第 4 著者 氏名（和/英） | 白鳥 則郎 / Norio SHIRATORI |
| 第 4 著者 所属（和/英） | 東北大学電気通信研究所 情報科学研究科 Research Institute of Electrical Communication, Tohoku Univ. Graduate School of Information Sciences |
| 発表年月日 | 1995/9/28 |
| 資料番号 | SSE95-65,IN95-36,CS95-85 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 266 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |