Runtime monitoring of cross-cutting policy

Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
Pages20-24
Number of pages5
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009 - Vancouver, BC, Canada
Duration: May 18 2009May 18 2009

Other

Other2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009
CountryCanada
CityVancouver, BC
Period5/18/095/18/09

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'Runtime monitoring of cross-cutting policy'. Together they form a unique fingerprint.

  • Cite this

    Nakajima, S., Ubayashi, N., & Hokamura, K. (2009). Runtime monitoring of cross-cutting policy. In Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, EA 2009 (pp. 20-24). [5071579] https://doi.org/10.1109/EA.2009.5071579