MOP Logic Repository 2.1

Jump to: navigation, search


MOP LanguagesMOP Languages

MOP

Private:MOP Logic Repository MatrixMOP LogicRepository
    

FSM

ERE

CFG

PTLTL

FTLTL

PTCaRet

...

JavaMOP

JavaFSM

JavaERE

JavaCFG

JavaPTLTL

JavaFTLTL

JavaPTCaRet

...

BusMOP

BusFSM

BusERE

...

BusPTLTL

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


The Logic Repository is a framework for managing logic plugins. It aims to provide a clear separation between monitor generation and language specific implementation. Instances of MOP use the Logic Repository to retrieve a monitor from an input property. The Logic Repository also provides an easy environment for logic plugin development. Here you can read about logic plugin development.

Logic plugins implement and encapsulate monitor synthesis algorithms for particular requirements specification formalisms. While they are a core feature of MOP, logic plugins can be used in various other monitoring applications. Below is a list containing our current logic plugins. Each plugin can be experimented with online before download.

  • FSM -- Finite State Machines
  • ERE -- Extended Regular Expressions
  • CFG -- Context Free Grammars
  • PTLTL -- Past Time Linear Temporal Logic (still porting)
  • FTLTL -- Future Time Linear Temporal Logic (still porting)
  • PTCARET -- Past Time LTL with Calls and Returns (still porting)


Below you can run Logic Repository online. If you find any bug or have any comment, please send us a message to mop@cs.uiuc.edu or report it using BUGZILLA (an account must be created the first time it is used, but accounts provide several benefits).

Run the Logic Repository Online

Enter your specification or chose (and modify) one example from the menu - provided examples are also reachable from the individual logic plugin pages, via the MOP matrix above. Click Run to run the Logic Repository on the selected example. The generated monitor can be used by any instance of MOP, or possibly other tools;

Choose an example:
  • CFG
    • HasNext
  • ERE
    • HasNext
  • FSM
    • HasNext
  • PTLTL
    • HasNext
 

Please press the Run button once and wait; it may take a few seconds to run LogicRepository; the execution of LogicRepository using this web interface is limited to 2 minutes of CPU time and 500 MB of RAM.

Personal tools
Namespaces

Variants
Views
Actions
Navigation