Runtime monitoring of cross-cutting policy

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.

[1]  Stephan Merz,et al.  Model Checking , 2000 .

[2]  Stephen Fickas,et al.  Monitoring requirements: a case study , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[3]  Akihito Iwai,et al.  Aspect-Oriented Programming for Web Controller Layer , 2008, 2008 15th Asia-Pacific Software Engineering Conference.

[4]  Gerard J. Holzmann.  Formal methods and software reliability , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[5]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[6]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[7]  Hassen Saïdi,et al.  Construction of Abstract State Graphs with PVS , 1997, CAV.

[8]  Stephen Fickas,et al.  Critiquing software specifications , 1988, IEEE Software.

[9]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[10]  Yijun Yu,et al.  An automated approach to monitoring and diagnosing requirements , 2007, ASE.

[11]  Wei Dong,et al.  Impartial Anticipation in Runtime-Verification , 2008, ATVA.

[12]  Martin S. Feather,et al.  Requirements monitoring in dynamic environments , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[13]  William N. Robinson,et al.  Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[14]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .