Difference between revisions of "MOP Logic Repository"

From FSL
Jump to: navigation, search
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
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 engines presently developed for MOP; the corresponding logic plugins (logic engines wrapped by language shells) for Java can be found at the [[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. This page lists the logic plugins presently developed for MOP (which have graphical output; more to come).
  
 
* [[Special:EREEngineOnline | Extended Regular Expression Online Interface]] (ERE)
 
* [[Special:EREEngineOnline | Extended Regular Expression Online Interface]] (ERE)
* [[Special:CFGEngineOnline | Context Free Grammar Online Interface]] (CFG)
+
* [[Special:CFGPluginOnline | Context Free Grammar Online Interface]] (CFG)
 +
* [[Special:FTLTLEngineOnline | Future Time Linear Temporal Logic Online Interface]] (FTLTL)
 +
* [[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)
  
 
== Send us Your Logic! ==
 
== Send us Your Logic! ==
Line 8: Line 11:
 
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.
 
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]]; [[JavaMOP Logic Plugin 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