{"_buckets": {"deposit": "c7d3dcf1-dc4d-495c-a07a-e70f57a0e837"}, "_deposit": {"id": "21614", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "21614"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00021614"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Applying Techniques of Programming Languages to Assurance Case Tool"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-03", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "496", "bibliographicPageEnd": "78", "bibliographicPageStart": "73", "bibliographicVolumeNumber": "112", "bibliographic_titles": [{"bibliographic_title": "\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u6280\u8853\u7814\u7a76\u5831\u544a. KBSE, \u77e5\u80fd\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u5de5\u5b66"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u30b7\u30b9\u30c6\u30e0\u4fdd\u8a3c\u306e\u305f\u3081\u306e\u624b\u6cd5\u30fb\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3068\u3057\u3066\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9\u304c\u6ce8\u76ee\u3092\u96c6\u3081\u3066\u3044\u308b\u3002\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9\u306e\u30b0\u30e9\u30d5\u30a3\u30ab\u30eb\u306a\u8868\u8a18\u6cd5\u3068\u3057\u3066GSN(Goal Structuring Notation)\u306a\u3069\u304c\u63d0\u6848\u3055\u308c\u3066\u304a\u308a\u3001\u3044\u304f\u3064\u304b\u306e\u30c4\u30fc\u30eb\u304c\u958b\u767a\u3055\u308c\u3066\u3044\u308b\u3002\u3057\u304b\u3057GSN\u306e\u5b9a\u7fa9\u306f\u3001\u66d6\u6627\u306a\u3068\u3053\u308d\u304c\u591a\u304f\u3001\u3088\u308a\u9ad8\u5ea6\u306a\u30c4\u30fc\u30eb\u306e\u6a5f\u80fd\u306e\u5b9f\u88c5\u304c\u56f0\u96e3\u3067\u3042\u308b\u3002\u672c\u8ad6\u6587\u3067\u306f\u3001GSN\u306e\u6a19\u6e96\u7684\u306a\u5b9a\u7fa9\u3067\u3042\u308bGSN Community Standard\u306e\u57fa\u672c\u7684\u306a\u5f62\u5f0f\u5316\u3092\u8a66\u307f\u3001\u305d\u308c\u3092\u5143\u306b\u3057\u305f\u30e2\u30b8\u30e5\u30fc\u30eb\u6a5f\u80fd\u306a\u3069\u306e\u30c4\u30fc\u30eb\u62e1\u5f35\u6a5f\u80fd\u306e\u8a66\u9a13\u5b9f\u88c5\u3092\u5831\u544a\u3059\u308b\u3002 GSN (Goal Structuring Notation) is a graphical notation widely used to construct assurance cases, which are required for the system assurance of safety critical systems specially in Europe, and now worldwide as the importance of system assurance has been growing and several safety standard such as ISO26262 mandates the use of safety case (assurance case for system safety). The syntax and extensions for module and patterns have been defined in GSN Community Standard [8]. In this paper we report our preliminary implementation partly satisfying the syntax in [8]. The prototype implementation has been done on D-Case Editor, an Eclipse based assurance case editor. The prototype implementation is also available from the webpage [13]. Among syntax defined in[8], we have implemented \"away goal\" and \"module node\" as the basis for the module system, together with parameters with scope and pattern instantiation function which are extensions of our previous work ([14], [15]). Due to some ambiguity in[8], several design choices could exist In this paper we report our design choice for the prototype implementation.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://ci.nii.ac.jp/naid/110009713305/"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/23762"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a"}]}, "item_10_relation_40": {"attribute_name": "\u30b7\u30ea\u30fc\u30ba", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "IEICE Technical Report;KBSE2012-81"}]}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "(c)\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a \u672c\u6587\u30c7\u30fc\u30bf\u306f\u5b66\u5354\u4f1a\u306e\u8a31\u8afe\u306b\u57fa\u3065\u304dCiNii\u304b\u3089\u8907\u88fd\u3057\u305f\u3082\u306e\u3067\u3042\u308b"}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0913-5685", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u677e\u91ce, \u88d5"}], "nameIdentifiers": [{"nameIdentifier": "63594", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5c71\u672c, \u4fee\u4e00\u90ce"}], "nameIdentifiers": [{"nameIdentifier": "63595", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "MATSUNO, Yutaka"}], "nameIdentifiers": [{"nameIdentifier": "63596", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "YAMAMOTO, Shuichiro"}], "nameIdentifiers": [{"nameIdentifier": "63597", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "110009713305.pdf", "filesize": [{"value": "943.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 943300.0, "url": {"label": "110009713305.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/21614/files/110009713305.pdf"}, "version_id": "686947a6-2678-4648-87b1-4094af7ec64e"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u30b7\u30b9\u30c6\u30e0\u4fdd\u8a3c", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30c7\u30a3\u30da\u30f3\u30c0\u30d3\u30ea\u30c6\u30a3", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30eb\u30c4\u30fc\u30eb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "GSN(Goal Structuring Notation)", "subitem_subject_scheme": "Other"}, {"subitem_subject": "System Assurance", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Dependability", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Assurance Case", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Assurance Case Tool", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9\u30c4\u30fc\u30eb\u3078\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u6280\u8853\u306e\u9069\u7528", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9\u30c4\u30fc\u30eb\u3078\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u6280\u8853\u306e\u9069\u7528"}]}, "item_type_id": "10", "owner": "1", "path": ["682/683/684"], "permalink_uri": "http://hdl.handle.net/2237/23762", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_name_i18n": "\u516c\u958b\u65e5", "attribute_value": "2016-03-07"}, "publish_date": "2016-03-07", "publish_status": "0", "recid": "21614", "relation": {}, "relation_version_is_last": true, "title": ["\u30a2\u30b7\u30e5\u30a2\u30e9\u30f3\u30b9\u30b1\u30fc\u30b9\u30c4\u30fc\u30eb\u3078\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u6280\u8853\u306e\u9069\u7528"], "weko_shared_id": null}