Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep

Abstract. 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.

• Type: Conference
• Year: 2009
• Where: CAV
• Authors: Sylvain Hallé, Roger Villemaire
• Keywords: Ajax Web Applications, CAV 2009, Formal Methods, Invisible Java Applet, Lightweight Runtime Monitor