@article{oai:ipsj.ixsq.nii.ac.jp:00013501, author = {内平, 直志 and 本位田真一 and Naoshi, Uchihira and Shinichi, Honiden}, issue = {1}, journal = {情報処理学会論文誌}, month = {Jan}, note = {ペトリネットは 図式表現 実行可能性 数学的解析可能性を持つ並行システムの記述手段であり 並行ソフトウェア設計においても活発に利用されている.特に いくつかのソフトウェア設計法では 設計チャートのひとつとして採用されている.しかし これらの設計法では ペトリネットを挙動設計のための状態遷移モデルとして使っているにすぎず ペトリネットの長所である状態遷移とデータフローを一元的に扱える多義性を十分生かしたものは少なかった.本論文では ペトリネットに基づく並行ソフトウェアの設計法(三段階ネット指向設計法)を提案する.本設計法は 構成分析 構造設計 挙動設計の三段階から構成され 各段階の設計チャートとしてネット表現を用いる.そして あいまいな仕様から実行可能な設計書までの三段階の設計過程を ネット表現の段階的詳細化として定式化する.ペトリネットの多義性を生かし 挙動設計だけでなく 構造分析や構造設計にもネット表現を一貫して用いる点が特徴である.本論文では エレベータ制御システムの設計例を用いて三段階ネット指向設計法の具体的手順を説明する., 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.}, pages = {101--113}, title = {三段階ネット指向ソフトウェア設計法}, volume = {38}, year = {1997} }