ペトリネット理論による効率的オブジェクト設計について
スポンサーリンク
概要
- 論文の詳細を見る
近年、ペトリネットを用いたソフトウェア設計方法論に関するいくつかの提案があり、ネット指向設計法(NOD:Net-Oriented software Designmethod)が模索されている。しかし、他の成熟した設計方法論(オブジェクト指向分析/設計、構造化分析/設計など)に比べるとまだまだ未成熟である。本論文では、オブジェクト指向設計方法論の一つであるOMT法(Object-oriented-Modeling-Technique以下OMT)を用いてソフトウェア設計を行って、その動的モデルをペトリネット(以下PN)で表現し、その不変集合を求めることによって設計されたモデルの解析と論理検証を行い、PN理論を用いたより実用的なネット指向設計方法を提案する。
- 一般社団法人情報処理学会の論文
- 1994-09-20