{"id":22302,"updated":"2025-01-22T20:55:55.137429+00:00","links":{},"created":"2025-01-18T22:54:00.698251+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022302","sets":["1164:1384:1489:1493"]},"path":["1493"],"owner":"1","recid":"22302","title":["意味モデルによる並行システムの表現形式"],"pubdate":{"attribute_name":"公開日","attribute_value":"1990-07-19"},"_buckets":{"deposit":"f4cfe115-8baa-4516-ac9e-6d1e3f368688"},"_deposit":{"id":"22302","pid":{"type":"depid","value":"22302","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":"REPRESENTATION FORM OF CONCURRENT SYSTEMS BY THE SEMANTIC MODEL","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1990-07-19","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電子技術総合研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"ElectroTechnical Laboratory","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/22302/files/IPSJ-SE90073002.pdf"},"date":[{"dateType":"Available","dateValue":"1992-07-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE90073002.pdf","filesize":[{"value":"1.1 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":"e336f3c9-76e7-417e-bd18-40ea4584b048","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1990 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"間野, 暢興"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"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":"I propose the representation formalism of S-model (Semantic model) for representing almost all information --- requirements, design, specifications, program, data and knowledge --- of concurrent systems such as real-time systems and operating systems. S-model is represented with object-relationship formalism. Each of the communication between concurrent processes is taken as the input-output data-sequence between them. After unifying these into a single input-tree and a single output-tree representation for each procedures of each process, we construct a graph-like program model of the procedure corresponding with both of them. The model is the unified form of abstract syntax, state-transition-diagram, and communication-diagram between processes. The single-source-sort-echo-algorithm for process networks and the elevator problem are used as the example problems.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"18","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"11","bibliographicIssueDates":{"bibliographicIssueDate":"1990-07-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"62(1990-SE-073)","bibliographicVolumeNumber":"1990"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}