Abstract
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web applications, focusing on the aspects related to the interaction of business logic and Web browsers. The method adopted is based on the Model Driven Architecture. First, the Platform Independent Model of Web applications is refined to create a new model called Abstract Description of Interaction (ADI). An ADI is a UML class diagram annotated with OCL statements to represent an abstraction of the interaction between the thin client and the business logic. Secondly, the ADI model is automatically transferred to an Alloy model and analysed using the Alloy Analyser.
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
Fowler, K.: Mission-critical and safety-critical development. IEEE Journal of Instrumentation & Measurement Magazine 7, 52–59 (2004)
de Alfaro, L.: Model checking the world wide web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337–349. Springer, Heidelberg (2001)
Haydar, M., Petrenko, A., Sahraoui, H.A.: Formal verification of web applications modeled by communicating automata. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 115–132. Springer, Heidelberg (2004)
Stotts, D., Navon, J.: Model checking cobweb protocols for verification of HTML frames behavior, pp. 182–190 (2002)
MDA: Model Driven Architecture website, http://www.omg.org/mda
Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley Publishing, Indianapolis (2003)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture - Practice and Promise. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2003)
Jackson, D.: Alloy 3.0 Reference Manual, Software Design Group, MIT Lab for Computer Science (May 2004), http://alloy.mit.edu/beta/reference-manual.pdf
Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 256–290 (2002)
W3C: W3C website, http://www.w3.org/
Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the amazon bug. In: SEKE 2002: Proceedings of the 14th international conference on Software engineering and knowledge engineering, pp. 585–592. ACM Press, New York (2002)
Licata, D.R., Krishnamurthi, S.: Verifying interactive web progams. In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, pp. 164–173. IEEE Press, Los Alamitos (2004)
Interactive Objects: Archstyler website, http://www.interactive-objects.com/
AndroMDA: AndroMDA website, http://www.andromda.org/
Object Management Group: UML 2.0 Superstructure Final Adopted Specification. Document id: ptc/03-08-02, http://www.omg.org/docs/ptc/03-08-02.pdf
Object Management Group: UML 2.0 OCL Final Adopted Specification. Document id: ptc/03-10-14, http://www.omg.org/cgi-bin/doc?ptc/2003-10-14
Alloy Analyzer: Alloy Analyzer website, http://alloy.mit.edu/
UML2Alloy, http://www.cs.bham.ac.uk/~bxb/UML2Alloy.php
Bordbar, B., Anastasakis, K.: UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. In: Guimarães, N., IsaÃas, P. (eds.) IADIS International Conference in Applied Computing 2005, Algarve, Portugal, vol. 1, pp. 209–216. IADIS Press (2005)
Object Managemenet Group (OMG): OMG website, http://www.omg.org
Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. Document Id: ptc/03-10-04, http://www.omg.org/cgi-bin/apps/do_doc?ptc/03-10-04.pdf
Jackson, D.: Automating first-order relational logic. In: SIGSOFT 2000/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 130–139. ACM Press, New York (2000)
Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 429–528. Springer, Heidelberg (1998)
ArgoUML: ArgoUML website, http://argouml.tigris.org/
Object Management Group: UML 2.0 Diagram Interchange Final Adopted Speci- fication. Document Id:ptc/03-09-01, http://www.omg.org
Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: improving the design of existing code. Addison-Wesley, Boston (1999)
Rosenberg, D., Scott, K.: Applying Use Case Driven Object Modeling with UML: An Annotated E-Commerce Example. Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2001)
Wallace, C.: Using Alloy in process modelling. Information and Software Technology  45, 1031–1043 (2003)
Draheim, D., Weber, G.: Form-Oriented Analysis: A New Methodology to Model Form-Based Applications. Springer, Berlin (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordbar, B., Anastasakis, K. (2006). MDA and Analysis of Web Applications. In: Draheim, D., Weber, G. (eds) Trends in Enterprise Application Architecture. TEAA 2005. Lecture Notes in Computer Science, vol 3888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11681885_5
Download citation
DOI: https://doi.org/10.1007/11681885_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32734-9
Online ISBN: 978-3-540-32735-6
eBook Packages: Computer ScienceComputer Science (R0)