{"id":22172,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022172","sets":["1164:1384:1474:1478"]},"path":["1478"],"owner":"1","recid":"22172","title":["代数仕様によるプラント制御エキスパートシステムの記述と検証"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-07-20"},"_buckets":{"deposit":"18067321-c5ff-477b-9b1c-4316263f0353"},"_deposit":{"id":"22172","pid":{"type":"depid","value":"22172","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"代数仕様によるプラント制御エキスパートシステムの記述と検証","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"代数仕様によるプラント制御エキスパートシステムの記述と検証"},{"subitem_title":"AN ALGEBRAIC SPECIFICATION AND VERIFICATION OF A PLANT CONTROL EXPERT SYSTEM","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1992-07-20","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"（株）東芝システム・ソフトウェア技術研究所"},{"subitem_text_value":"（株）東芝システム・ソフトウェア技術研究所"},{"subitem_text_value":"（株）東芝システム・ソフトウェア技術研究所"},{"subitem_text_value":"（株）東芝システム・ソフトウェア技術研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Systems & Software Engineering Laboratory, Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Systems & Software Engineering Laboratory, Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Systems & Software Engineering Laboratory, Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Systems & Software Engineering Laboratory, Toshiba Corporation","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/22172/files/IPSJ-SE92086015.pdf"},"date":[{"dateType":"Available","dateValue":"1994-07-20"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE92086015.pdf","filesize":[{"value":"1.0 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"d09b3b00-1b0b-44ff-a7aa-301f651520c3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1992 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"浦岡, 徹"},{"creatorName":"山本, 純一"},{"creatorName":"大須賀, 昭彦"},{"creatorName":"本位田真一"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Toru, Uraoka","creatorNameLang":"en"},{"creatorName":"Junichi, Yamamoto","creatorNameLang":"en"},{"creatorName":"Akihiko, Ohsuga","creatorNameLang":"en"},{"creatorName":"Shinichi, Honiden","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"代数的仕様記述を初めとする形式的手法の、実システム開発への適用可能性とその有用性を評価するために、\"プラント制御エキスパートシステム\"の実現を試みた。開発環境は、並行プログラム開発支援環境MENDELS　ZONEである。我々は、関数は代数仕様で、プログラム構造はベトリネットと時相論理で記述し、それらの形式的仕様記述からプログラムを生成した。この開発を通して、形式的手法が実システム開発においても有用であることが確認された。しかし一方で、記述能力拡張などの課題も明らかになった。本稿では、このシステム開発アプローチの中で、特に代数的仕様記述に焦点をあてて報告する。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"114","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"107","bibliographicIssueDates":{"bibliographicIssueDate":"1992-07-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"59(1992-SE-086)","bibliographicVolumeNumber":"1992"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"updated":"2025-01-22T20:59:43.991891+00:00","created":"2025-01-18T22:53:55.106461+00:00","links":{}}