{"updated":"2025-01-21T19:09:24.736393+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00082100","sets":["1164:2822:6703:6775"]},"path":["6775"],"owner":"11","recid":"82100","title":["UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-05-14"},"_buckets":{"deposit":"da643232-a8e5-4112-9664-61ff27de3347"},"_deposit":{"id":"82100","pid":{"type":"depid","value":"82100","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用"},{"subitem_title":"Extension for the Parallel Processing in Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Ajax Application Design","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2012-05-14","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":"Pragmatic Technologies Co. Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science & Engineering. Faculty of Engineering, Shinshu 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/82100/files/IPSJ-EMB12025010.pdf"},"date":[{"dateType":"Available","dateValue":"2014-05-14"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB12025010.pdf","filesize":[{"value":"3.4 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":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"ec3c572b-9bfa-4560-ae80-609e8b9f0d32","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 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":"Yutaka, Yamada","creatorNameLang":"en"},{"creatorName":"Katsumi, Wasaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","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":"筆者らが，以前に試作したUMLアクティビティ図からPROMELAで記述された検証用モデルに自動変換する変換器において，UMLアクティビティ図のフォークノード・マージノード等の並列処理記述を扱えるように拡張し，非同期通信により並列処理を伴うAjaxアプリケーションのモデルも扱うことができるようにした．提案手法の評価のため，Ajaxを用いた業務アプリケーションの画面遷移設計に適用実験を行った．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We extended the converter that converts automatically the UML activity diagram into the SPIN model checking code PROMELA, and enabled it to treat parallel processing description, such as a fork node and merge node of an UML activity diagram. The model of Ajax application with parallel processing by asynchronous communication can also be treated. We modeled the screen transition design of an Ajax application as an evaluation of the proposed method.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2012-05-14","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10","bibliographicVolumeNumber":"2012-EMB-25"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:36:03.211859+00:00","id":82100,"links":{}}