Monitoring method call sequences using annotations

Authors:
B. Nobakht;M. M. Bonsangue;F. S. de Boer;S. de Gouw
Affiliations:
Leiden Institute of Advanced Computing, Universiteit Leiden, Leiden, The Netherlands;Leiden Institute of Advanced Computing, Universiteit Leiden, Leiden, The Netherlands;Leiden Institute of Advanced Computing, Universiteit Leiden, Leiden, The Netherlands;Leiden Institute of Advanced Computing, Universiteit Leiden, Leiden, The Netherlands
Venue:
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Year:
2010

Citing 11
Cited 0

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Getting started with ASPECTJ

Communications of the ACM
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding application errors and security flaws using PQL: a program query language

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Specifying and checking method call sequences of Java programs

Software Quality Control
Mop: an efficient and generic runtime verification framework

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Adding nesting structure to words

Journal of the ACM (JACM)
Java-MOP: a monitoring oriented programming environment for java

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce JMSeq, a Java-based tool for the specification and runtime verification via monitoring of sequences of possibly nested method calls. JMSeq provides a simple but expressive way to specify the sequential execution of a Java program using code annotations via user-given sequences of methods calls. Similar to many monitoring-oriented environments, verification in JMSeq is done at run-time, but differently from all other approaches based on aspect-oriented programming, JMSeq does not use code instrumentation, and therefore is suitable for component-based software verification.