三段階ネット指向ソフトウェア設計法

• Item type: Journal(1)
• 公開日: 1997-01-15
• タイトル: 三段階ネット指向ソフトウェア設計法
• タイトル / 言語: en
• タイトル: Three Phase Net - oriented Software Design Method
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア工学
• 著者所属: 株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
• 著者所属: 株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
• 著者所属(英): en
• 著者所属(英): Systems & Software Engineering Laboratory, Research & Development Center, Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Systems & Software Engineering Laboratory, Research & Development Center, Toshiba Corporation
• 著者名: 内平, 直志; 本位田真一
• 著者名(英): Naoshi, Uchihira; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ペトリネットは 図式表現 実行可能性 数学的解析可能性を持つ並行システムの記述手段であり 並行ソフトウェア設計においても活発に利用されている.特に いくつかのソフトウェア設計法では 設計チャートのひとつとして採用されている.しかし これらの設計法では ペトリネットを挙動設計のための状態遷移モデルとして使っているにすぎず ペトリネットの長所である状態遷移とデータフローを一元的に扱える多義性を十分生かしたものは少なかった.本論文では ペトリネットに基づく並行ソフトウェアの設計法(三段階ネット指向設計法)を提案する.本設計法は 構成分析 構造設計 挙動設計の三段階から構成され 各段階の設計チャートとしてネット表現を用いる.そして あいまいな仕様から実行可能な設計書までの三段階の設計過程を ネット表現の段階的詳細化として定式化する.ペトリネットの多義性を生かし 挙動設計だけでなく 構造分析や構造設計にもネット表現を一貫して用いる点が特徴である.本論文では エレベータ制御システムの設計例を用いて三段階ネット指向設計法の具体的手順を説明する.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Petri net is a formal, graphical, and executable language to describe concurrent Systems, which is used in many software design methods. However, most design methods use a Petri net as an extended state transition system and do not make the best use of diversity of meaning of Petri net, which can describe both a state transition model and a data flow model uniformly. This paper proposes the three phase net-oriented software design method which consists of three phases (structure analysis, structure design, and behavior design) and uses only a net model uniformly as a design chart throughout these phases, while other conventional design methods use 3 or 4 charts complementarily. In this method, a net is stepwise refined from an ambiguous specification to an executable design document. This paper explains the proposed method using a design process example for an elevator control system.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 38, 号 1, p. 101-113, 発行日 1997-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764