2010-10-01
Monitoring Method Call Sequences using Annotations
Publication
Publication
Presented at the
International Workshop on Formal Aspects of Component Software, Universidade do Minho
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.
| Additional Metadata | |
|---|---|
| , , | |
| , , | |
| Springer | |
| M. Lumpe , L.S. Barbosa | |
| Lecture Notes in Computer Science | |
| Highly Adaptable and Trustworthy Software using Forma Methods | |
| International Workshop on Formal Aspects of Component Software | |
| Organisation | Computer Security |
|
Nobakht, B., Bonsangue, M., de Boer, F., & de Gouw, S. (2010). Monitoring Method Call Sequences using Annotations. In M. Lumpe & L. S. Barbosa (Eds.), Lecture Notes in Computer Science. Springer. |
|
