TY - GEN
T1 - Runtime monitoring of cross-cutting policy
AU - Nakajima, Shin
AU - Ubayashi, Naoyasu
AU - Hokamura, Keiji
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70349820813&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70349820813&partnerID=8YFLogxK
U2 - 10.1109/EA.2009.5071579
DO - 10.1109/EA.2009.5071579
M3 - Conference contribution
AN - SCOPUS:70349820813
SN - 9781424437191
T3 - Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
SP - 20
EP - 24
BT - Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
T2 - 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
Y2 - 18 May 2009 through 18 May 2009
ER -