Towards monitoring-oriented programming: A paradigm combining specification and implementation

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 2, 2003, Pages 108-127

  Chen, Feng ^a   Roşu, Grigore ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; THEOREM PROVING;

MONITORING CODE; MONITORING-ORIENTED PROGRAMMING (MOP); TARGET PROGRAMMING LANGUAGE; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 18944375047     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81045-4     Document Type: Conference Paper

References (20)

1. Abercrombie Parker, Karaorman Murat. jcontractor: Bytecode instrumentation techniques for implementing design by contract in java. Electronic Notes in Theoretical Computer Science. volume 70:2002;Elsevier Science Publishers
2. Clarke Edmund M., Wing Jeannette M. Formal methods: state of the art and future directions. ACM Computing Surveys. 28:(4):December 1996;626-643
3. Bartetzko Moller Michael Detlef, Fischer Clemens, Wehrheim Heike. Jass - java with assertions. Electronic Notes in Theoretical Computer Science. volume 55:2001;Elsevier Science Publishers
4. Doron Drusinsky. Temporal rover. http://www.time-rover.com.
5. Klaus Havelund and Grigore Roşu. Monitoring java programs with java pathexplorer. In Klaus Havelund and Grigore Roşu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
6. Klaus Havelund and Grigore Roşu. Monitoring programs using rewriting. In Proceedings, International Conference on Automated Software Engineering (ASE'01), pages 135-143. Institute of Electrical and Electronics Engineers, 2001. Coronado Island, California, 26-29 November 2001.
7. Havelund Klaus, Roşu Grigore. Synthesizing monitors for safety properties. Tools and Algorithms for Construction and Analysis of Systems (TACAS'02). April 2002;342-356. Springer, 2002. Grenoble, France, 8-12, Lecture Notes in Computer Science, Volume 2280
8. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall International, New York
9. Hopcroft J.E., Ullman J.D. Introduction to Automata Theory, Languages and Computation. 1979;Addison Wesley
10. Sampath Kannan Insup Lee, Moonjoo Kim, Oleg Sokolsky, and Mahesh Viswanathan. Runtime Assurance Based on Formal Specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
11. Gregor Kiczales and John Lamping. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
12. Kim Moonjoo, Kannan Sampath, Lee Insup, Sokolsky Oleg, Viswanathan Mahesh. Java-mac: a run-time assurance tool for java programs. Electronic Notes in Theoretical Computer Science. volume 55:2001;Elsevier Science Publishers
13. Manna Zohar, Pnueli Amir. The Temporal Logic of Reactive and Concurrent Systems. 1992;Springer, New York
14. Meyer B. Object-Oriented Software Construction, 2nd edition. 2000;Prentice Hall, Upper Saddle River, New Jersey
15. Eclipse Org. Eclipse project. http://www.eclipse.org.
16. Amir Pnueli. The Temporal Logic of Programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46-77, 1977.
17. R. Alur and T.A. Henzinger. Real-Time Logics: Complexity and Expressiveness. In Fifth Annual IEEE Symposium on Logic in Computer Science, pages 390-401, Washington, D.C., 1990. IEEE Computer Society Press.
18. Koymans R. Specifying Real-Time Properties with Metric Temporal Logic. RealTime Systems. 2:(4):1990;255-299
19. Eiffel Software. Eiffel language. http://www.eiffel.com/.
20. Peri L. Tarr, Harold Ossher, William H. Harrison, and Stanley M. Sutton Jr. N degrees of separation: Multi-dimensional separation of concerns. In International Conference on Software Engineering, pages 107-119, 1999.