ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学術雑誌論文

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/651
674b5dbd-2e10-46bd-ba03-b791cbbec08c
名前 / ファイル ライセンス アクション
IEICE_E92-D_5_799.pdf 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

YAGI, Isao

Search repository
TAKATA, Yoshiaki

× TAKATA, Yoshiaki

TAKATA, Yoshiaki

Search repository
SEKI, Hiroyuki

× SEKI, Hiroyuki

SEKI, Hiroyuki

Search repository
抄録
内容記述タイプ 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/
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:44:18.938581
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3