Difference between revisions of "MOP Logic Repository"
From FSL
| (20 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''''' | + | 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). |
| − | * [[Extended Regular Expression]] (ERE) | + | * [[Special:EREEngineOnline | Extended Regular Expression Online Interface]] (ERE) |
| − | * [[Future Time Linear Temporal Logic]] (FTLTL) | + | * [[Special:CFGPluginOnline | Context Free Grammar Online Interface]] (CFG) |
| − | * [[Past Time Linear Temporal Logic]] (PTLTL) | + | * [[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! == | ||
| − | Currently, we only accept new logic plugins via emails. | + | 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]] | + | 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).
- Extended Regular Expression Online Interface (ERE)
- Context Free Grammar Online Interface (CFG)
- Future Time Linear Temporal Logic Online Interface (FTLTL)
- Past Time Linear Temporal Logic Online Interface (PTLTL)
- Past Time Linear Temporal Logic with Nested Calls and Returns Online Interface (PTLTL)
[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;
