JavaMOP Logic Plugin Repository
One of the most distinctive features of MOP is its generality w.r.t. logical formalisms. Specifically, MOP supports an extensible logic framework, allowing the user to add her/his favorite or domain-specific specification formalisms via logic plugins, which implement monitor synthesis algorithms for corresponding logical formalisms. Every logic plugin is composed of two components, namely, a logic engine and a language shell. The former generates monitoring code (in the form of some seudo-code) from a given specification, while the latter then translates the monitoring code into a specific programming language, e.g., Java. This page lists the logic plugins presently developed for JavaMOP; the corresponding language-independent logic engines can be found at the MOP Logic Repository.
- JavaMOP Extended Regular Expression Logic Plugin (ERE)
- JavaMOP Future Time Linear Temporal Logic Plugin (FTLTL)
- JavaMOP Past Time Linear Temporal Logic Plugin (PTLTL)
- JavaMOP Past Time Linear Temporal Logic with Nested Calls and Returns Logic Plugin (ptCaret)
- JavaMOP Context Free Grammar Logic Plugin (CFG)
Send us Your Logic!
Currently, we only accept new logic plugins via emails. To submit a new logic plugin, please pack the whole plugin as one file and send it to fsl AT cs.uiuc.edu. A detailed Readme file is highly recommanded. After the plugin is tested, we will publish it in our repository.
Related Projects: Monitoring-Oriented Programming; JavaMOP; MOP Logic Repository