Abstract
We suggest an approach for accurate modeling and analysis of web application frameworks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Java Server Faces, http://www.jcp.org/en/jsr/detail?id=314
Python, http://www.python.org/
Tomcat, http://tomcat.apache.org/
ECMAScript language specification. Standard ECMA-262, Edition 5.1 (June 2011), http://www.ecma-international.org/publications/standards/Ecma-262.html
HTTP1.1 part 2 message semantics, www.ietf.org (cosulted February 2012)
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Altenhofen, M., Börger, E., Friesen, A., Lemcke, J.: A high-level specification for virtual providers. IJBPIM 1(4), 267–278 (2006)
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)
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-z
Börger, E., Cisternino, A., Gervasi, V.: Ambient Abstract State Machines with applications. JCSS 78(3), 939–959 (2012)
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)
Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer (2003)
Brown, M. R.: Fast CGI specification (April 1996), http://www.fastcgi.com/
Dittamo, C., Gervasi, V., Börger, E., Cisternino, A.: A formal specification of the semantics of ECMAScript. In: VSTTE 2010, Edinburgh (2010) Poster session
Fruja, N.G.: Towards proving type safety of.NET CIL. SCP 72(3), 176–219 (2008)
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)
Gervasi, V.: An ASM Model of Concurrency in a Web Browser. In: Derrick, J., et al. (eds.) ABZ 2012. LNCS, pp. 79–93. Springer, Heidelberg (2012)
Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building and Deploying Messaging Solutions. Addison-Wesley Longman Publishing (2003)
Microsoft. ASP.NET, http://www.asp.net
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)
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)
Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer (2001)
W3C. CGI: Common Gateway Interface, http://www.w3.org/CGI/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Börger, E., Cisternino, A., Gervasi, V. (2012). Contribution to a Rigorous Analysis of Web Application Frameworks. In: Derrick, J., et al. Abstract State Machines, Alloy, B, VDM, and Z. ABZ 2012. Lecture Notes in Computer Science, vol 7316. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30885-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-30885-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30884-0
Online ISBN: 978-3-642-30885-7
eBook Packages: Computer ScienceComputer Science (R0)