MDA and Analysis of Web Applications

  • Behzad Bordbar
  • Kyriakos Anastasakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3888)


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.


Alloy Model Business Logic Object Management Group Alloy Analyzer Model Drive Architecture 
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.
    Fowler, K.: Mission-critical and safety-critical development. IEEE Journal of Instrumentation & Measurement Magazine 7, 52–59 (2004)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Stotts, D., Navon, J.: Model checking cobweb protocols for verification of HTML frames behavior, pp. 182–190 (2002)Google Scholar
  5. 5.
    MDA: Model Driven Architecture website,
  6. 6.
    Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley Publishing, Indianapolis (2003)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Jackson, D.: Alloy 3.0 Reference Manual, Software Design Group, MIT Lab for Computer Science (May 2004),
  9. 9.
    Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 256–290 (2002)Google Scholar
  10. 10.
    W3C: W3C website,
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Interactive Objects: Archstyler website,
  14. 14.
    AndroMDA: AndroMDA website,
  15. 15.
    Object Management Group: UML 2.0 Superstructure Final Adopted Specification. Document id: ptc/03-08-02,
  16. 16.
    Object Management Group: UML 2.0 OCL Final Adopted Specification. Document id: ptc/03-10-14,
  17. 17.
    Alloy Analyzer: Alloy Analyzer website,
  18. 18.
  19. 19.
    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)Google Scholar
  20. 20.
    Object Managemenet Group (OMG): OMG website,
  21. 21.
    Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. Document Id: ptc/03-10-04,
  22. 22.
    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)Google Scholar
  23. 23.
    Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 429–528. Springer, Heidelberg (1998)Google Scholar
  24. 24.
    ArgoUML: ArgoUML website,
  25. 25.
    Object Management Group: UML 2.0 Diagram Interchange Final Adopted Speci- fication. Document Id:ptc/03-09-01,
  26. 26.
    Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: improving the design of existing code. Addison-Wesley, Boston (1999)Google Scholar
  27. 27.
    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)Google Scholar
  28. 28.
    Wallace, C.: Using Alloy in process modelling. Information and Software Technology  45, 1031–1043 (2003)Google Scholar
  29. 29.
    Draheim, D., Weber, G.: Form-Oriented Analysis: A New Methodology to Model Form-Based Applications. Springer, Berlin (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Behzad Bordbar
    • 1
  • Kyriakos Anastasakis
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamBirminghamUK

Personalised recommendations