Difference between revisions of "MOP Logic Repository"

From FSL
Jump to: navigation, search
 
 
(29 intermediate revisions by 2 users not shown)
Line 1: Line 1:
MOP provides an extensible logic framework. The user is able to add her favariate specification formalisms into the MOP tool by providing corresponding logic plugins which encode the montior synthesis algorithms for the formalisms. Every logic plugin usually is composed by two components: language-specific shell and language-independent logic engine. But for some specification languages that are simple and specific to a programming language, for instance, JML and Jass, one can use only the language shell to generate monitoring code. In this website, we provide a repository of the logic plugins that we supported in our current Java-MOP tool. And we encourage users to send us logic plugins that they developed.
+
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. This page lists the logic plugins presently developed for MOP (which have graphical output; more to come).
  
Currently, the following specification formalisms are supported:
+
* [[Special:EREEngineOnline | Extended Regular Expression Online Interface]] (ERE)
* [[Extended Regular Expression]] (ERE)
+
* [[Special:CFGPluginOnline | Context Free Grammar Online Interface]] (CFG)
* [[Future Time Linear Temporal Logic]] (FTLTL)
+
* [[Special:FTLTLEngineOnline | Future Time Linear Temporal Logic Online Interface]] (FTLTL)
* [[Past Time Linear Temporal Logic]] (PTLTL)
+
* [[Special:PTLTLEngineOnline | Past Time Linear Temporal Logic Online Interface]] (PTLTL)
 +
* [[Special:PTCaRetEngineOnline | Past Time Linear Temporal Logic with Nested Calls and Returns Online Interface]] (PTLTL)
  
== Add a New Plugin ==
+
== Send us Your Logic! ==
  
Currently, we only accept new logic plugins via emails. In order to provide a logic plugin, please pack the whole plugin directory into one file and send it to fsl AT cs.uiuc.edu. In order for us to better test the submitted plugin, please put related information into a readme file. After we verify the plugin, we will publish it in our repository.
+
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]];

Latest revision as of 19:37, 5 May 2008

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. This page lists the logic plugins presently developed for MOP (which have graphical output; more to come).

[edit] 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;
Personal tools
Namespaces

Variants
Actions
Navigation