WEKO3
アイテム
{"_buckets": {"deposit": "e1a1462c-040a-40b7-8d4d-d9b12ad3fb9b"}, "_deposit": {"created_by": 5, "id": "2798", "owner": "5", "owners": [5], "pid": {"revision_id": 0, "type": "depid", "value": "2798"}, "status": "published"}, "_oai": {"id": "oai:miyazaki-u.repo.nii.ac.jp:00002798", "sets": ["36", "324", "73", "330"]}, "author_link": ["14953", "6484"], "item_10002_alternative_title_1": {"attribute_name": "その他(別言語等)のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "ペトリネット オ モチイタ Java マルチ スレッド プログラム ノ ジッコウ オ サイゲン スルコト ニヨル デバッグ シエン シュホウ ノ テイアン", "subitem_alternative_title_language": "ja-Kana"}]}, "item_10002_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-07-31", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "248", "bibliographicPageStart": "243", "bibliographicVolumeNumber": "43", "bibliographic_titles": [{"bibliographic_title": "宮崎大学工学部紀要", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "Memoirs of Faculty of Engineering, University of Miyazaki", "bibliographic_titleLang": "en"}]}]}, "item_10002_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "It is difficult to implement multi-threaded programs. One of the reason is that the behavior of each thread is non-deterministic. Also it is difficult to reproduce the situation in which an incident occurs. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Here, it is difficult to express the behavior of multi-threaded programs by ordinal Petri-net. Therefore, We extend Petri-net to reproduce the execution of multi-thread programs to realize our proposal method. Moreover, we have confirmed the effectiveness of our method by implementing a tool which generates a Petri-net model from a multi-threaded program.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10002_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "宮崎大学工学部", "subitem_publisher_language": "ja"}, {"subitem_publisher": "Faculty of Engineering, University of Miyazaki", "subitem_publisher_language": "en"}]}, "item_10002_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA00732558", "subitem_source_identifier_type": "NCID"}]}, "item_10002_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "05404924", "subitem_source_identifier_type": "ISSN"}]}, "item_10002_text_25": {"attribute_name": "BIBID", "attribute_value_mlt": [{"subitem_text_value": "TC00002791"}]}, "item_10002_text_26": {"attribute_name": "登録日", "attribute_value_mlt": [{"subitem_text_value": "2014/09/04"}]}, "item_10002_textarea_24": {"attribute_name": "来歴", "attribute_value_mlt": [{"subitem_textarea_value": "Made available in DSpace on 2014-09-04T09:09:49Z (GMT). No. of bitstreams: 1\nengineering43_243-248.pdf: 872532 bytes, checksum: 6fa02e42c5d018faf37ede15582d39b4 (MD5)\n Previous issue date: 2014-07-31"}]}, "item_10002_version_type_20": {"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": [{"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "北野, 翔一郎", "creatorNameLang": "ja"}, {"creatorName": "キタノ, ショウイチロウ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Kitano, Shoichiro", "creatorNameLang": "en"}], "familyNames": [{"familyName": "北野", "familyNameLang": "ja"}, {"familyName": "キタノ", "familyNameLang": "ja-Kana"}, {"familyName": "Kitano", "familyNameLang": "en"}], "givenNames": [{"givenName": "翔一郎", "givenNameLang": "ja"}, {"givenName": "ショウイチロウ", "givenNameLang": "ja-Kana"}, {"givenName": "Shoichiro", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "14953", "nameIdentifierScheme": "WEKO"}]}, {"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "Katayama, Tetsuro", "creatorNameLang": "en"}, {"creatorName": "片山, 徹郎", "creatorNameLang": "ja"}, {"creatorName": "カタヤマ, テツロウ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "Katayama", "familyNameLang": "en"}, {"familyName": "片山", "familyNameLang": "ja"}, {"familyName": "カタヤマ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "Tetsuro", "givenNameLang": "en"}, {"givenName": "徹郎", "givenNameLang": "ja"}, {"givenName": "テツロウ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "6484", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "50283932", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://kaken.nii.ac.jp/ja/search/?qm=50283932"}]}, {"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "北野, 翔一郎", "creatorNameLang": "ja"}, {"creatorName": "キタノ, ショウイチロウ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Kitano, Shoichiro", "creatorNameLang": "en"}], "familyNames": [{"familyName": "北野", "familyNameLang": "ja"}, {"familyName": "キタノ", "familyNameLang": "ja-Kana"}, {"familyName": "Kitano", "familyNameLang": "en"}], "givenNames": [{"givenName": "翔一郎", "givenNameLang": "ja"}, {"givenName": "ショウイチロウ", "givenNameLang": "ja-Kana"}, {"givenName": "Shoichiro", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "14953", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-06-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "engineering43_243-248.pdf", "filesize": [{"value": "872.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 872500.0, "url": {"label": "engineering43_243-248.pdf", "url": "https://miyazaki-u.repo.nii.ac.jp/record/2798/files/engineering43_243-248.pdf"}, "version_id": "87fb5821-b9a4-45d9-951c-d22c47013e76"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "multi-threaded program, debugging, Petri-net, Java, reproducibility", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案", "subitem_title_language": "ja"}, {"subitem_title": "Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net", "subitem_title_language": "en"}]}, "item_type_id": "10002", "owner": "5", "path": ["73", "36", "330", "324"], "permalink_uri": "http://hdl.handle.net/10458/5008", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-09-04"}, "publish_date": "2014-09-04", "publish_status": "0", "recid": "2798", "relation": {}, "relation_version_is_last": true, "title": ["ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案"], "weko_shared_id": 2}
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
http://hdl.handle.net/10458/5008
http://hdl.handle.net/10458/50087327a35f-a529-4ea2-9c4f-bcd62e75758b
名前 / ファイル | ライセンス | アクション |
---|---|---|
engineering43_243-248.pdf (872.5 kB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-09-04 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | multi-threaded program, debugging, Petri-net, Java, reproducibility | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | ペトリネット オ モチイタ Java マルチ スレッド プログラム ノ ジッコウ オ サイゲン スルコト ニヨル デバッグ シエン シュホウ ノ テイアン | |||||
言語 | ja-Kana | |||||
著者 |
北野, 翔一郎
× 北野, 翔一郎× 片山, 徹郎× 北野, 翔一郎 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | It is difficult to implement multi-threaded programs. One of the reason is that the behavior of each thread is non-deterministic. Also it is difficult to reproduce the situation in which an incident occurs. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Here, it is difficult to express the behavior of multi-threaded programs by ordinal Petri-net. Therefore, We extend Petri-net to reproduce the execution of multi-thread programs to realize our proposal method. Moreover, we have confirmed the effectiveness of our method by implementing a tool which generates a Petri-net model from a multi-threaded program. | |||||
言語 | en | |||||
書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 43, p. 243-248, 発行日 2014-07-31 |
|||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 宮崎大学工学部 | |||||
出版者 | ||||||
言語 | en | |||||
出版者 | Faculty of Engineering, University of Miyazaki | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 05404924 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00732558 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |