Item type |
学術雑誌論文 / Journal Article(1) |
公開日 |
2011-03-30 |
タイトル |
|
|
タイトル |
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power |
言語 |
|
|
言語 |
eng |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
labeled transition system |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
pushdown automaton |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
formal model |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
aspect-oriented programming |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
AspectJ |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
著者 |
YAGI, Isao
TAKATA, Yoshiaki
SEKI, Hiroyuki
|
抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
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. |
書誌情報 |
IEICE Transactions on Information and Systems
巻 E90-D,
号 5,
p. 799-807,
発行日 2007-05-01
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
0916-8532@@@1745-1361 |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA10826272@@@AA11510321 |
DOI |
|
|
関連タイプ |
isIdenticalTo |
|
|
識別子タイプ |
DOI |
|
|
関連識別子 |
10.1093/ietisy/e90-d.5.799 |
権利 |
|
|
権利情報 |
Copyright © 2007 The Institute of Electronics, Information and Communication Engineers |
著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
出版者 |
|
|
出版者 |
The Institute of Electronics, Information and Communication Engineers |
関係URI |
|
|
|
識別子タイプ |
URI |
|
|
関連識別子 |
http://search.ieice.org/ |
|
|
関連名称 |
http://search.ieice.org/ |