Runtime monitoring of cross-cutting policy

Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

抄録

In open systems, certain unfavorable situations due to unanticipated user behavior may be seen, which results in a violation of cross-cutting policy. This paper proposes a runtime monitoring method to check such problems. Since there is a large gap, a certain link is needed between the policy and runtime execution method. We employ a two-step checking approach; an offline symptom checking and a runtime monitoring. The ingredient to tie the two steps is a Linear-time Temporal Logic formula for the cross-cutting policy to look at.

本文言語英語
ホスト出版物のタイトルProceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
ページ20-24
ページ数5
DOI
出版ステータス出版済み - 2009
外部発表はい
イベント2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009 - Vancouver, BC, カナダ
継続期間: 5月 18 20095月 18 2009

その他

その他2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
国/地域カナダ
CityVancouver, BC
Period5/18/095/18/09

!!!All Science Journal Classification (ASJC) codes

  • ハードウェアとアーキテクチャ
  • ソフトウェア

フィンガープリント

「Runtime monitoring of cross-cutting policy」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル