Browser-based enforcement of interface contracts in web applications with BeepBeep BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantification; they can be transparently enforced on the client side using a small and invisible Java applet. Violations of the specification are reported on-the-fly and prevent erroneous or out-of-sequence XML messages from reaching the server
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Belardinelli, F.; Lomuscio, A.: Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results (2012)
- Hallé, Sylvain; Villemaire, Roger: Browser-based enforcement of interface contracts in web applications with BeepBeep (2009)
Further publications can be found at: http://beepbeep.sourceforge.net/publications.php