Monitoring Method Call Sequences Using Annotations

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

doi:10.1007/978-3-642-27269-1_4

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 proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Formal Aspects of Component Software
Subtitle of host publication	7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Editors	Luís Soares Barbosa , Markus Lumpe
Publisher	Springer
Pages	53-70
Number of pages	18
ISBN (Electronic)	978-3-642-27269-1
ISBN (Print)	978-3-642-27268-4
DOIs	https://doi.org/10.1007/978-3-642-27269-1_4
Publication status	Published - 2010
Externally published	Yes
Event	Formal 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 2010 → 16 Oct 2010 http://www4.di.uminho.pt/facs2010/

Conference

Conference	Formal Aspects of Component Software FACS 2010
Abbreviated title	FACS 2010
Country/Territory	Portugal
City	Guimarães
Period	14/10/10 → 16/10/10
Internet address	http://www4.di.uminho.pt/facs2010/

Access to Document

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

Cite this

@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",

note = "Formal Aspects of Component Software FACS 2010 : 7th International Workshop on Formal Aspects of Component Software, FACS 2010 ; Conference date: 14-10-2010 Through 16-10-2010",

url = "http://www4.di.uminho.pt/facs2010/",

}

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 et al.
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 proceeding › Conference Article in proceeding › Academic › peer-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

T2 - Formal Aspects of Component Software FACS 2010

Y2 - 14 October 2010 through 16 October 2010

ER -

Monitoring Method Call Sequences Using Annotations

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this