Runtime monitoring of cross-cutting policy

Authors:
Shin Nakajima;Naoyasu Ubayashi;Keiji Hokamura
Affiliations:
National Institute of Informatics, Tokyo, Japan;Kyusyu Institute of Technology, Fukuoka, Japan;Kyusyu Institute of Technology, Fukuoka, Japan
Venue:
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Year:
2009

Citing 12
Cited 1

Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification

IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis

Communications of the ACM
Model checking

Model checking
Critiquing Software Specifications

IEEE Software
Construction of Abstract State Graphs with PVS

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Monitoring Requirements: A Case Study

Proceedings of the 17th IEEE international conference on Automated software engineering
Requirements monitoring in dynamic environments

RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring

HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 07
An automated approach to monitoring and diagnosing requirements

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Aspect-Oriented Programming for Web Controller Layer

APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference

Report on early aspects at ICSE 2009: workshop on aspect-oriented requirements engineering and architecture design

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

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.