|MOP Matrix: a clickable map of MOP pages.|
JavaMOP is an MOP tool for Java. It has a client-server architecture for better portability: the client is a pure Java application and runs on any platform supporting Java and HTTP; the server prefers Linux. The client has two user interfaces: a command-line one good for batch processing and a more friendly one based on Eclipse. Before downloading and installing the tool, you can
Related projects: Monitoring-Oriented Programming; MOP logic repository; JavaMOP Logic Plugin Repository
News and Change Logs
- 2007-8-2: JavaMOP version 1.2.1 was released
- Important: JavaMOP users please update your packages, because the server URLs have been changed!
- Fixed some bugs (thanks to Pavel Avgustinov)
- 2007-3-18: JavaMOP version 1.2 was released
- 2006-11-16: JavaMOP version 1.1.1 was released
- Automatic indentation added to generated code
- Bugs for generating monitors from ERE specifications fixed
- Bugs for initialization of check point specifications fixed
- Special thanks to Ylies Falcone for several bug reports and suggestions
- 2006-11-06: JavaMOP version 1.1 was released with the following changes:
- 2006-05-10: JavaMOP version 1.0 was released
Download and Installation
Both clients require Java 1.4.2 or higher. Internet connection also needed if the server is not installed locally (to access our logic server remotely).
Installation: Unzip the package to a folder Usage: java -cp <path-to-javamop-folder> javamop.Main <path-to-file-to-process>
Installation: * Unzip the package to the Eclipse plugin directory Usage: * Re-start Eclipse; * Right click on a Java file, choose "open with => JavaMOP Editor" * When the JavaMOP editor is opened, four buttons will be added in the tool bar; move the mouse to the buttons and stay for a while to the function of the buttons * To change the preferences of the JavaMOP editor, go to the menu "Window => Preferences"
- Benchmark #1: Checking DaCapo benchmarks with general purpose safety properties
- Benchmark #2: Using JavaMOP for Tracematches benchmarks
- Benchmark #3: Checking Properties written in CFG