Monitoring Method Call Sequences Using Annotations

Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

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.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
EditorsLuís Soares Barbosa , Markus Lumpe
PublisherSpringer
Pages53-70
Number of pages18
ISBN (Electronic)978-3-642-27269-1
ISBN (Print)978-3-642-27268-4
DOIs
Publication statusPublished - 2010
Externally publishedYes
EventFormal Aspects of Component Software FACS 2010: 7th International Workshop on Formal Aspects of Component Software - Hotel de Guimarães, Guimarães, Portugal
Duration: 14 Oct 201016 Oct 2010
http://www4.di.uminho.pt/facs2010/

Conference

ConferenceFormal Aspects of Component Software FACS 2010
Abbreviated titleFACS 2010
CountryPortugal
CityGuimarães
Period14/10/1016/10/10
Internet address

Fingerprint

Monitoring
Aspect oriented programming
Specifications

Cite this

Nobakht, B., Bonsangue, M. M., Boer, F. S. D., & Gouw, S. D. (2010). Monitoring Method Call Sequences Using Annotations. In L. S. B., & M. L. (Eds.), Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (pp. 53-70). Springer. https://doi.org/10.1007/978-3-642-27269-1_4
Nobakht, Behrooz ; Bonsangue, Marcello M. ; Boer, Frank S. de ; Gouw, Stijn de. / Monitoring Method Call Sequences Using Annotations. Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. editor / Luís Soares Barbosa ; Markus Lumpe. Springer, 2010. pp. 53-70
@inproceedings{c99d1cd31103465c89b3fd03fe81c3a8,
title = "Monitoring Method Call Sequences Using Annotations",
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.",
author = "Behrooz Nobakht and Bonsangue, {Marcello M.} and Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2010",
doi = "10.1007/978-3-642-27269-1_4",
language = "English",
isbn = "978-3-642-27268-4",
pages = "53--70",
editor = "{Lu{\'i}s Soares Barbosa} and {Markus Lumpe}",
booktitle = "Formal Aspects of Component Software",
publisher = "Springer",

}

Nobakht, B, Bonsangue, MM, Boer, FSD & Gouw, SD 2010, Monitoring Method Call Sequences Using Annotations. in LSB & ML (eds), Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer, pp. 53-70, Formal Aspects of Component Software FACS 2010, Guimarães, Portugal, 14/10/10. https://doi.org/10.1007/978-3-642-27269-1_4

Monitoring Method Call Sequences Using Annotations. / Nobakht, Behrooz; Bonsangue, Marcello M.; Boer, Frank S. de; Gouw, Stijn de.

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. ed. / Luís Soares Barbosa; Markus Lumpe. Springer, 2010. p. 53-70.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Monitoring Method Call Sequences Using Annotations

AU - Nobakht, Behrooz

AU - Bonsangue, Marcello M.

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - https://link.springer.com/book/10.1007/978-3-642-27269-1

U2 - 10.1007/978-3-642-27269-1_4

DO - 10.1007/978-3-642-27269-1_4

M3 - Conference article in proceeding

SN - 978-3-642-27268-4

SP - 53

EP - 70

BT - Formal Aspects of Component Software

A2 - , Luís Soares Barbosa

A2 - , Markus Lumpe

PB - Springer

ER -

Nobakht B, Bonsangue MM, Boer FSD, Gouw SD. Monitoring Method Call Sequences Using Annotations. In LSB, ML, editors, Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer. 2010. p. 53-70 https://doi.org/10.1007/978-3-642-27269-1_4