MDA and analysis of web applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3888 LNCS, Issue , 2006, Pages 44-55

  Bordbar, Behzad ^a   Anastasakis, Kyriakos ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SCIENCE; FORMAL LOGIC; WEB BROWSERS;

ABSTRACT DESCRIPTION OF INTERACTION (ADI); ALLOY MODEL; BUSINESS LOGIC; MODEL DRIVEN ARCHITECTURE;

WORLD WIDE WEB;

EID: 33745594017     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11681885_5     Document Type: Conference Paper

References (29)

1. Fowler, K.: Mission-critical and safety-critical development, IEEE journal of Instrumentation & Measurement Magazine 7 (2004) 52-59
2. de Alfaro, L.: Model checking the world wide web. In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, Volume 2102 of Lecture Notes in Computer Science. (2001) 337-349
3. Haydar, M., Petrenko, A., Sahraoui, H.A.: Formal verification of web applications modeled by communicating automata. In: Proceeding of Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Volume 3235 of Lecture Notes in Computer Science. (2004) 115-132
4. Stotts, D., Navon, J,: Model checking cobweb protocols for verification of html frames behavior. In: Model checking cobweb protocols for verification of HTML frames behavior. (2002) 182-190
5. MDA: Model Driven Architecture website: http://www.omg.org/mda
6. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley Publishing, Indianapolis, Indiana (2003)
7. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture - Practice and Promise. The Addison-Wesley Object Technology Series. Addison-Wesley (2003)
8. Jackson, D.: Alloy 3.0 Reference Manual (May 2004) Software Design Group, MIT Lab for Computer Science, http://alloy.mit.edu/beta/reference-manual.pdf.
9. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11 (2002) 256-290
10. W3C: W3C website: http://www.w3.org/
11. Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the amazon bug. In: SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, New York, NY, USA, ACM Press (2002) 585-592
12. Licata, D.R., Krishnamurthi, S.: Verifying interactive web progams. In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, IEEE Press (2004) 164-173
13. Interactive Objects: Archstyler website: http://www.interactive-objects. com/
14. AndroMDA: AndroMDA website: http://www.andromda.org/
15. 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.
16. Object Management Group: UML 2.0 OCL Final Adopted Specification. Document id: ptc/03-10-14. http://www.omg.org/cgi-bin/doc7ptc/2003-10-14.
17. Alloy Analyzer: Alloy Analyzer website: http://alloy.mit.edu/
18. UML2Alloy: http://www.cs.bham.ac.uk\simbxb/UML2Alloy.php
19. Bordbar, B., Anastasakis, K.: UML2Alloy: A tool for lightweight modelling of Discrete Event Systems, In Guimar̃aes, N., Isaías, P., eds.: IADIS International Conference in Applied Computing 2005. Volume 1., Algarve, Portugal, IADIS Press (2005) 209-216
20. Object Managemenet Group (OMG): OMG website: http://www.omg.org
21. 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
22. Jackson, D.: Automating first-order relational logic. In: SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, New York, NY, USA, ACM Press (2000) 130-139
23. Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets. Volume 1492 of LNCS., London, UK, Springer-Verlag (1998) 429-528
24. ArgoUML: ArgoUML website: http://argouml.tigris.org/
25. Object Management Group: UML 2.0 Diagram Interchange Final Adopted Specification, Document Id:ptc/03-09-01. http://www.omg.org.
26. Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: improving the design of existing code. Addison-Wesley, Boston, MA, USA (1999)
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 (2001)
28. Wallace, C.: Using Alloy in process modelling. Information and Software Technology 45 (2003) 1031-1043
29. Draheim, D., Weber, G.: Form-Oriented Analysis: A New Methodology to Model Form-Based Applications. Springer-Verlag, Berlin, Germany (2005)