{"created":"2023-05-15T12:35:11.802259+00:00","id":118,"links":{},"metadata":{"_buckets":{"deposit":"071785b8-8a85-4dcd-8967-9c68722e89dc"},"_deposit":{"created_by":2,"id":"118","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"118"},"status":"published"},"_oai":{"id":"oai:kutarr.kochi-tech.ac.jp:00000118","sets":["5"]},"author_link":["429","427","428"],"item_2_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-05-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicPageEnd":"807","bibliographicPageStart":"799","bibliographicVolumeNumber":"E90-D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems"}]}]},"item_2_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper proposes an event-based transition system called A-LTS. An A-LTS is a simple system consisting of two agents, a basic program and a monitor. The monitor observes the behavior of the basic program and if the behavior matches some pre-defined pattern, then the monitor interrupts the execution of the basic program and possibly triggers the execution of another specific program. An A-LTS models a common feature found in recent software technologies such as Aspect-Oriented Programming (AOP), history-based access control and active database. We investigate the expressive power of A-LTS and show that it is strictly stronger than finite state machines and strictly weaker than pushdown automata (PDA). This implies that the model checking problem for A-LTS is decidable. It is also shown that the expressive power of A-LTS, linear context-free grammar and deterministic PDA are mutually incomparable. We also discuss the relationship between A-LTS and pointcut/advice in AOP.","subitem_description_type":"Abstract"}]},"item_2_publisher_35":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"The Institute of Electronics, Information and Communication Engineers"}]},"item_2_relation_13":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.1093/ietisy/e90-d.5.799","subitem_relation_type_select":"DOI"}}]},"item_2_relation_44":{"attribute_name":"関係URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"http://search.ieice.org/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://search.ieice.org/","subitem_relation_type_select":"URI"}}]},"item_2_rights_14":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright © 2007 The Institute of Electronics, Information and Communication Engineers"}]},"item_2_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA10826272@@@AA11510321","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8532@@@1745-1361","subitem_source_identifier_type":"ISSN"}]},"item_2_version_type_18":{"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":"YAGI, Isao"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"TAKATA, Yoshiaki"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"SEKI, Hiroyuki"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-02-13"}],"displaytype":"detail","filename":"IEICE_E92-D_5_799.pdf","filesize":[{"value":"333.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IEICE_E92-D_5_799.pdf","url":"https://kutarr.kochi-tech.ac.jp/record/118/files/IEICE_E92-D_5_799.pdf"},"version_id":"0dccf5dd-34f0-40d2-9783-90489707f814"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"labeled transition system","subitem_subject_scheme":"Other"},{"subitem_subject":"pushdown automaton","subitem_subject_scheme":"Other"},{"subitem_subject":"formal model","subitem_subject_scheme":"Other"},{"subitem_subject":"aspect-oriented programming","subitem_subject_scheme":"Other"},{"subitem_subject":"AspectJ","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power"}]},"item_type_id":"2","owner":"2","path":["5"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-03-30"},"publish_date":"2011-03-30","publish_status":"0","recid":"118","relation_version_is_last":true,"title":["A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-05-15T13:44:18.672522+00:00"}