{"created":"2021-03-01T05:52:56.455800+00:00","id":1227,"links":{},"metadata":{"_buckets":{"deposit":"014f098b-bc88-4892-b038-5a5c278be1b7"},"_deposit":{"id":"1227","owners":[],"pid":{"revision_id":0,"type":"depid","value":"1227"},"status":"published"},"_oai":{"id":"oai:repository.nii.ac.jp:00001227","sets":["136"]},"author_link":[],"control_number":"1227","item_5_biblio_info_30":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006-06-20","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"9","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"NIIテクニカル・レポート","bibliographic_titleLang":"ja"},{"bibliographic_title":"NII Technical Report","bibliographic_titleLang":"en"}]}]},"item_5_description_28":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"UML (Unified Modeling Language) is the de facto standard model representation language in software engineering. We believe that automated contradiction detection and repair of UML becomes very important as UML has been widely used. In this paper, we propose a debugging system using logic programming paradigm for UML class diagram with class attributes, multiplicity, generalization relation and disjoint relation. We propose a translation method of a UML class diagram into a logic program, and using a meta-interpreter we can find minimal sets of rules which leads to contradiction. Then, we use a minimal hitting set algorithm developed by one of the authors to show minimal sets of deletion of rules in order to avoid contradiction.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_5_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.20736/0000001227","subitem_identifier_reg_type":"JaLC"}]},"item_5_publisher_31":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"国立情報学研究所","subitem_publisher_language":"ja"}]},"item_5_source_id_32":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1346-5597","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"佐藤, 健","creatorNameLang":"ja"},{"creatorName":"Satoh, Ken","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"兼岩, 憲","creatorNameLang":"ja"},{"creatorName":"Kaneiwa, Ken","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"宇野, 毅明","creatorNameLang":"ja"},{"creatorName":"Uno, Takeaki","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-03-12"}],"displaytype":"detail","filename":"06-009E.pdf","filesize":[{"value":"218.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"NII Technical Report (NII-2006-009E)：Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming","url":"https://repository.nii.ac.jp/record/1227/files/06-009E.pdf"},"version_id":"3ca0f780-f321-49f8-b8e7-55fbe4ad2294"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テクニカルレポート","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"Technical Report","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"NII Technical Report (NII-2006-009E)：Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"NII Technical Report (NII-2006-009E)：Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming","subitem_title_language":"en"}]},"item_type_id":"5","owner":"1","path":["136"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-03-12"},"publish_date":"2019-03-12","publish_status":"0","recid":"1227","relation_version_is_last":true,"title":["NII Technical Report (NII-2006-009E)：Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-05T01:14:10.299116+00:00"}