Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
otm [2011/03/28 21:42] aspectscript |
otm [2011/08/03 05:30] (current) aspectscript |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| **Sequences**. In addition, sequences are first-class values and are specified using plain JavaScript functions, bringing the full benefits of the base language, in particular, the combination of higher-order functions and objects. To the best of our knowledge, there is no proposal that allows developers to define sequences expressively and to customize crucial semantics of a TM. | **Sequences**. In addition, sequences are first-class values and are specified using plain JavaScript functions, bringing the full benefits of the base language, in particular, the combination of higher-order functions and objects. To the best of our knowledge, there is no proposal that allows developers to define sequences expressively and to customize crucial semantics of a TM. | ||
| - | |||
| - | |||
| - | |||
| - | **Causality**. Although OTM is an open implementation of existing TMs, OTM can be used to address distributed system issues that are present in Web applications that use [[http:// | ||
| (Under construcction) Do you want to try the Boutique Web application example? Please, visit the [[otm/ | (Under construcction) Do you want to try the Boutique Web application example? Please, visit the [[otm/ | ||
| Line 50: | Line 46: | ||
| <pre id=" | <pre id=" | ||
| //== helper code == | //== helper code == | ||
| - | var SEs = OTM.Sequences; | + | var SQs = OTM.Sequences; |
| var jpsDiv = document.getElementById(" | var jpsDiv = document.getElementById(" | ||
| var a = function(){ | var a = function(){ | ||
| Line 64: | Line 60: | ||
| sequence: SQs.seq(SQs.call(a), | sequence: SQs.seq(SQs.call(a), | ||
| advice: function (jp){ | advice: function (jp){ | ||
| - | jpsDiv.innerHTML += " | + | jpsDiv.innerHTML += "[*MATCH:ab after:" |
| } | } | ||
| }; | }; | ||
| Line 76: | Line 72: | ||
| <div style=" | <div style=" | ||
| <pre id=" | <pre id=" | ||
| - | < | + | < |
| <div id=" | <div id=" | ||
| </ | </ | ||