Difference between revisions of "MOP Logic Repository"

From FSL
Jump to: navigation, search
Line 1: Line 1:
One of the most distinct features of [[MOP]] is its extensible logic framework, which allows the user to add her/his favariate or domain-specific specification formalisms via '''''logic plugins'''''. A logic plugin encodes monitor synthesis algorithm for a logic formalism, usually composed of a language-specific shell and a language-independent logic engine. But the logic engine may not be always needed as some specification formalisms can be specific to target programming languages, for instance, JML and Jass. In order to facilitate the understanding of logic plugins, here we provide a web-based repository of the logic plugins via which the user can learn and try different logic plugins online.
+
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'''''. Every logic plugin implements a monitor synthesis algorithm for a certain logical formalism. Presently, we have implemented logic plugins for the following specification formalisms :
  
Currently, the following specification formalisms are supported:
 
 
* [[Extended Regular Expression]] (ERE)
 
* [[Extended Regular Expression]] (ERE)
 
* [[Future Time Linear Temporal Logic]] (FTLTL)
 
* [[Future Time Linear Temporal Logic]] (FTLTL)

Revision as of 21:26, 25 October 2006

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. Every logic plugin implements a monitor synthesis algorithm for a certain logical formalism. Presently, we have implemented logic plugins for the following specification formalisms :

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.

Related Projects: Monitoring-Oriented Programming; JavaMOP
Personal tools
Namespaces

Variants
Actions
Navigation