{"created":"2023-06-20T16:34:20.998659+00:00","id":3526,"links":{},"metadata":{"_buckets":{"deposit":"09cda035-956b-4f09-9bed-4dcb1c48ff40"},"_deposit":{"created_by":3,"id":"3526","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3526"},"status":"published"},"_oai":{"id":"oai:kindai.repo.nii.ac.jp:00003526","sets":["14:2667:2675:2679:2683","21:2669:2677:2681:2684"]},"author_link":["4188"],"item_8_alternative_title_3":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Timed Extension of the Ambient Calculus and its Application for Freight System Specifications"}]},"item_8_biblio_info_21":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2012-01-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"4","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"科学研究費助成事業研究成果報告書 (2012. )"}]}]},"item_8_description_33":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"研究成果の概要（和文）：多数の貨物を扱う時間制約を含む物流計画の形式記述のための枠組みという観点から、Ambient Calculus の拡張について検討を行った。時間制約記述のため、ケーパビリティに有効期限付きのものを導入し、時間経過遷移を導入することにより、タイムアウト動作などが記述できる時間付きAmbient Calculus を提案した。一方、多数の類似する貨物を扱う物流を適切に表現するため、プロセス式の組により物流システムを記述する多重Ambient Calculus を提案した。また、それらの拡張を施したAmbient Calculus におけるモデル検査、および記述に基づいて物流管理を行う物流監視システムの構築について検討した。      研究成果の概要（英文）：We investigate extensions of the Ambient Calculus for specifying freight systems, which include various timing constraints and deal more than thousands of container objects. For specifying timing constraints, we propose the Timed Ambient Calculus by introducing capabilities with expiration time, waiting capability, and special ambient to express timing violation. For dealing with large amounts of container, we propose the Multiple Ambient Calculus, which enables us to model freight systems by a set of formulas. We also investigate model checking on the extended calculus and the way for constructing distribution monitoring systems based on the formulas in the extended calculus.","subitem_description_type":"Abstract"}]},"item_8_description_36":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"機関番号:34419;   研究種目：基盤研究（C）;  研究期間：2010～2012;   課題番号：22500040;   研究分野：総合領域;   科研費の分科・細目：情報学・ソフトウェア","subitem_description_type":"Other"}]},"item_8_description_37":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"Research Paper","subitem_description_type":"Other"}]},"item_8_description_41":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_8_publisher_14":{"attribute_name":"出版者 名前","attribute_value_mlt":[{"subitem_publisher":"近畿大学"}]},"item_8_relation_11":{"attribute_name":"著者 外部リンク","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/d/r/00238289.ja.html"}]}]},"item_8_text_10":{"attribute_name":"著者 役割","attribute_value_mlt":[{"subitem_text_value":"研究代表者"}]},"item_8_text_7":{"attribute_name":"著者(英)","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"HIGUCHI, MASAHIRO"}]},"item_8_text_8":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"近畿大学理工学部; 准教授"}]},"item_8_text_9":{"attribute_name":"著者所属(翻訳)","attribute_value_mlt":[{"subitem_text_value":"Kinki University"}]},"item_8_version_type_12":{"attribute_name":"版","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"樋口,  昌宏"},{"creatorName":"ヒグチ, マサヒロ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-17"}],"displaytype":"detail","filename":"KAKEN_22500040seika.pdf","filesize":[{"value":"198.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"KAKEN_22500040seika.pdf","url":"https://kindai.repo.nii.ac.jp/record/3526/files/KAKEN_22500040seika.pdf"},"version_id":"b6f5c816-baa7-43b3-abc6-35dd854a0177"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"仕様記述","subitem_subject_scheme":"Other"},{"subitem_subject":"仕様検証","subitem_subject_scheme":"Other"},{"subitem_subject":"プロセス代数","subitem_subject_scheme":"Other"},{"subitem_subject":"モデル検査","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"時間概念を導入したAmbient Calculusによる物流システムの記述","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"時間概念を導入したAmbient Calculusによる物流システムの記述"}]},"item_type_id":"8","owner":"3","path":["2683","2684"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-07-25"},"publish_date":"2013-07-25","publish_status":"0","recid":"3526","relation_version_is_last":true,"title":["時間概念を導入したAmbient Calculusによる物流システムの記述"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-06-21T01:32:38.245315+00:00"}