{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00021256","sets":["1164:1384:1400:1403"]},"path":["1403"],"owner":"1","recid":"21256","title":["知識ベースを用いたシステム設計における仕様の検証と直接実行"],"pubdate":{"attribute_name":"公開日","attribute_value":"2005-05-31"},"_buckets":{"deposit":"13886099-f730-4d15-aeea-a513809e503c"},"_deposit":{"id":"21256","pid":{"type":"depid","value":"21256","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":"Verification and Direct Execution of System Design Using a Knowledge-Based Modeling Approach ","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2005-05-31","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"明星大学大学院　情報学研究科"},{"subitem_text_value":"明星大学大学院　情報学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Informatics,Meisei University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics,Meisei University","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/21256/files/IPSJ-SE05148001.pdf"},"date":[{"dateType":"Available","dateValue":"2007-05-31"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE05148001.pdf","filesize":[{"value":"910.9 kB"}],"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":"be9597aa-3a2d-488f-9517-da4a99ae2bdc","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2005 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"金子, 誉万"},{"creatorName":"間野, 暢興"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takakazu, Kaneko","creatorNameLang":"en"},{"creatorName":"Nobuoki, Mano","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":"実時間・分散システムを対象とした、知識ベースを用いたシステム設計方式を本論分で提案する。本研究のアプローチは論理的なアプローチに属し、本方式のモデルは状態記述を基としている。知識ベースにおけるモデルは、本方式独自の仕様記述言語の記述から組み立てられる。これらの知識ベースにおけるモデルは、ソフトウェア開発の上流工程におけるシステム設計の（半）自動化（本研究では、検証によるデッドロックの検出、仕様の直接実行システムによる仕様の確認を扱った）に大いに貢献する。本論分ではＡＴＭシステムを玲に本方式の利用形態について説明する。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We propose an approach using models in the knowledge-base for the system design of real-time distributed systems. Our approach belongs to a logical one and uses models based on state descriptions.Models in the knowledge-base are constructed from the specification descriptions in our specification description language.These models greatly contribute to the semi-automation of various activities in the course of system design, such as design verification with deadlock and specification validation by direct execution of specifications. We explain these processes, using ATM system design as an example.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2005-05-31","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"55(2005-SE-148)","bibliographicVolumeNumber":"2005"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":21256,"updated":"2025-01-22T21:24:56.514886+00:00","links":{},"created":"2025-01-18T22:53:15.105113+00:00"}