论文信息 - Java-MOP: A Monitoring Oriented Programming Environment for Java

Java-MOP: A Monitoring Oriented Programming Environment for Java

A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states.

Grigore Rosu | Feng Chen | Feng Chen | G. Roşu | Grigore Roşu

[1] Marcelo d'Amorim,et al. A Formal Monitoring-Based Framework for Software Development and Analysis , 2004, ICFEM.

[2] Heike Wehrheim,et al. Jass - Java with Assertions , 2001, RV@CAV.

[3] Grigore Rosu,et al. An Overview of the Runtime Verification Tool Java PathExplorer , 2004, Formal Methods Syst. Des..

[4] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .

[5] Koushik Sen,et al. Runtime safety analysis of multithreaded programs , 2003, ESEC/FSE-11.

[6] Doron Drusinsky. Monitoring Temporal Rules Combined with Time Series , 2003, CAV.

[7] HavelundKlaus,et al. An Overview of the Runtime Verification Tool Java PathExplorer , 2004 .

[8] Mahesh Viswanathan,et al. Java-MaC: a Run-time Assurance Tool for Java Programs , 2001, RV@CAV.

[9] Koushik Sen,et al. Program monitoring with LTL in EAGLE , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[10] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .

[11] Gary T. Leavens,et al. JML: notations and tools supporting detailed design in Java , 2000 .

[12] Bart Jacobs,et al. JML (poster session): notations and tools supporting detailed design in Java , 2000, OOPSLA '00.

[13] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.