Contribution to a Rigorous Analysis of Web Application Frameworks

  • Egon Börger
  • Antonio Cisternino
  • Vincenzo Gervasi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)


We suggest an approach for accurate modeling and analysis of web application frameworks.


Abstract State Machine Event Queue Common Gateway Interface Document Object Model Code Text 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
  3. 3.
  4. 4.
    ECMAScript language specification. Standard ECMA-262, Edition 5.1 (June 2011),
  5. 5.
    HTTP1.1 part 2 message semantics, (cosulted February 2012)
  6. 6.
    Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)zbMATHGoogle Scholar
  7. 7.
    Altenhofen, M., Börger, E., Friesen, A., Lemcke, J.: A high-level specification for virtual providers. IJBPIM 1(4), 267–278 (2006)CrossRefGoogle Scholar
  8. 8.
    Barros, A., Börger, E.: A Compositional Framework for Service Interaction Patterns and Interaction Flows. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 5–35. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Börger, E.: Approaches to modeling business processes. A critical analysis of BPMN, workflow patterns and YAWL. JSSM, 1–14 (2011), doi:10.1007/s10270-011-0214-zGoogle Scholar
  10. 10.
    Börger, E., Cisternino, A., Gervasi, V.: Ambient Abstract State Machines with applications. JCSS 78(3), 939–959 (2012)Google Scholar
  11. 11.
    Börger, E., Fruja, G., Gervasi, V., Stärk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3), 235–284 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer (2003)Google Scholar
  13. 13.
    Brown, M.R.: Fast CGI specification (April 1996),
  14. 14.
    Dittamo, C., Gervasi, V., Börger, E., Cisternino, A.: A formal specification of the semantics of ECMAScript. In: VSTTE 2010, Edinburgh, Poster session (2010)Google Scholar
  15. 15.
    Fruja, N.G.: Towards proving type safety of .NET CIL. SCP 72(3), 176–219 (2008)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Fruja, N.G., Börger, E.: Modeling the.NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology 5(3), 5–34 (2006)CrossRefGoogle Scholar
  17. 17.
    Gervasi, V.: An ASM model of concurrency in a web browser. In: Proceedings ABZ 2012. LNCS. Springer, Heidelberg (2012)Google Scholar
  18. 18.
    Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building and Deploying Messaging Solutions. Addison-Wesley Longman Publishing (2003)Google Scholar
  19. 19.
    Microsoft. ASP.NET,
  20. 20.
    Schellhorn, G., Ahrendt, W.: The WAM case study: Verifying compiler correctness for Prolog with KIV. In: Bibel, W., Schmitt, P. (eds.) Automated Deduction – A Basis for Applications, vol. III, pp. 165–194 (1998)Google Scholar
  21. 21.
    Schellhorn, G., Grandy, H., Haneberg, D., Reif, W.: The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol. 4085, pp. 16–31. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer (2001)Google Scholar
  23. 23.
    W3C. CGI: Common Gateway Interface,

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Egon Börger
    • 1
  • Antonio Cisternino
    • 1
  • Vincenzo Gervasi
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations