MOP Logic Repository 2.1
|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.
Below you can run Logic Repository online. If you find any bug or have any comment, please send us a message to email@example.com 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;