WEKO3
アイテム
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
http://hdl.handle.net/10173/651
http://hdl.handle.net/10173/651674b5dbd-2e10-46bd-ba03-b791cbbec08c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IEICE_E92-D_5_799.pdf (333.4 kB)
|
|
| 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
× 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/ | |||||
