Paper Info
Title
The LIME Interface Specification Language and Runtime Monitoring Tool
Abstract
This paper describes an interface specification language designed in the LIME project (LIME ISL) and the supporting runtime monitoring tool. The interface specification language is tailored for the Java programming language and supports two kinds of specifications: (i) call specifications that specify requirements for the allowed call sequences to a Java object instance and (ii) return specifications that specify the allowed behaviors of the Java object instance. Both the call and return specifications can be expressed with Java annotations in several different ways: as past time LTL formulas, as (safety) future LTL formulas, as regular expressions, and as nondeterministic finite automata. We also describe the supporting LIME interface monitoring tool which is an open source implementation of runtime monitoring for the interface specifications implemented using AspectJ.
Year
DOI
Venue
2009
10.1007/978-3-642-04694-0_7
RV
Keywords
Field
DocType
java annotation,runtime monitoring,lime project,java programming language,interface specification,java object instance,lime isl,lime interface specification language,interface specification language,lime interface monitoring tool,call sequence,return specification,specification language,nondeterministic finite automata,regular expression
Specification language,Interface (Java),Programming language specification,Programming language,Computer science,Java annotation,Real time Java,Real-time computing,Interface description language,Java Modeling Language,Java
Conference
Volume
ISSN
Citations 
5779
0302-9743
11
PageRank 
References 
Authors
0.62
12
4
Name
Order
Citations
PageRank
Kari Kähkönen1293.07
Jani Lampinen2110.62
Keijo Heljanko375147.90
Ilkka Niemelä42939148.38