JavaMOP-OLD

From FSL
Jump to: navigation, search


  

MOP

ERE

CFG

PTLTL

FTLTL

PTCaRet

...

JavaMOP

JavaERE

JavaCFG

JavaPTLTL

JavaFTLTL

JavaPTCaRet

...

BusMOP

BusERE

...

BusPTLTL

... ... ...
... ... ... ... ... ... ...
MOP Matrix: a clickable map of MOP pages.


Contents

Overview

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 Online.jpg

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

JavaMOP Clients

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"

JavaMOP Server

Benchmarks


Personal tools
Namespaces

Variants
Actions
Navigation