Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification formalisms into the framework by means of logic plug-ins, which essentially comprise mon...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science Vol. 144; no. 4; pp. 3 - 20
Main Authors: Chen, Feng, d'Amorim, Marcelo, Roşu, Grigore
Format: Journal Article
Language:English
Published: Elsevier B.V 26.05.2006
Subjects:
Java
Java-MOP
Monitoring-oriented programming
MOP
specification
Monitoring-oriented programming
Java-MOP
Java
specification
MOP
ISSN:1571-0661, 1571-0661
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification formalisms into the framework by means of logic plug-ins, which essentially comprise monitor synthesis algorithms for properties expressed as formulae. The properties are specified together with declarations stating where and how to automatically integrate the corresponding monitor into the system, as well as what to do if the property is violated or validated. In this paper we present Java-MOP, an MOP environment for developing robust Java applications. Based upon a carefully designed specification schema and upon several logic plug-ins, Java-MOP allows users to specify and monitor properties which can refer not only to the current program state, but also to the entire execution trace of a program, including past and future behaviors.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2006.02.002