WEKO3
アイテム
代数仕様によるプラント制御エキスパートシステムの記述と検証
https://ipsj.ixsq.nii.ac.jp/records/22172
https://ipsj.ixsq.nii.ac.jp/records/22172f6ea4b7e-8a89-43ff-9a21-6e83f1169806
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE92086015.pdf (1.0 MB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-07-20 | |||||||
| タイトル | ||||||||
| タイトル | 代数仕様によるプラント制御エキスパートシステムの記述と検証 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | AN ALGEBRAIC SPECIFICATION AND VERIFICATION OF A PLANT CONTROL EXPERT SYSTEM | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| （株）東芝システム・ソフトウェア技術研究所 | ||||||||
| 著者所属 | ||||||||
| （株）東芝システム・ソフトウェア技術研究所 | ||||||||
| 著者所属 | ||||||||
| （株）東芝システム・ソフトウェア技術研究所 | ||||||||
| 著者所属 | ||||||||
| （株）東芝システム・ソフトウェア技術研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Systems & Software Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Systems & Software Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Systems & Software Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Systems & Software Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者名 |
浦岡, 徹
× 浦岡, 徹
|
|||||||
| 著者名(英) |
Toru, Uraoka
× Toru, Uraoka
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 代数的仕様記述を初めとする形式的手法の、実システム開発への適用可能性とその有用性を評価するために、"プラント制御エキスパートシステム"の実現を試みた。開発環境は、並行プログラム開発支援環境MENDELS ZONEである。我々は、関数は代数仕様で、プログラム構造はベトリネットと時相論理で記述し、それらの形式的仕様記述からプログラムを生成した。この開発を通して、形式的手法が実システム開発においても有用であることが確認された。しかし一方で、記述能力拡張などの課題も明らかになった。本稿では、このシステム開発アプローチの中で、特に代数的仕様記述に焦点をあてて報告する。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We have developed a plant control expert system using MENDELS ZONE, a development support system for concurrent programs. The objective of this development is to examine the effectiveness of formal methods for development of practical systems. In our system development approach, functions are described by algebraic specification, and module structures are created by Petri nets and temporal logic;then a program is generated from such formal descriptions, As a result, formal methods are very useful for the development of a practical system, but we recognized several problems of our description framework, too. This paper is focused on algebraic specification in the system development approach. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1992, 号 59(1992-SE-086), p. 107-114, 発行日 1992-07-20 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
