Specification patterns for formal web verification

Proceedings - 8th International Conference on Web Engineering, ICWE 2008

Volumn , Issue , 2008, Pages 240-246

  Haydar, May ^a   Sahraoui, Houari ^a   Petrenko, Alexandre ^b  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; FLOW PATTERNS; QUALITY ASSURANCE; QUALITY CONTROL; SPECIFICATIONS; TOTAL QUALITY MANAGEMENT; WORLD WIDE WEB;

SPECIFICATION PATTERNS; WEB APPLICATIONS; WEB ENGINEERING;

TEMPORAL LOGIC;

EID: 51749112049     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWE.2008.38     Document Type: Conference Paper

References (31)

1. Boroday S, Petrenko A, Sing J, Hallal H. Dynamic Analysis of Java Applications for Multi Threaded Anti patterns. 3rd International Workshops on Dynamics Analysis, St-Louis, MI, USA, May 17th, 2005.
2. Benedikt M, Freire J, Godefroid P. VeriWeb: Automatically Testing Dynamic Web Sites. 11th International World Wide Web Conference, Hawai, U.S.A.
3. Clarke EM, Grumberg O, Peled DA. Model Checking. MIT Press, 2000.
4. De Alfaro L. Model Checking the World Wide Web. 13th International Conference on Computer Aided Verification, Paris, France, July 2001.
5. Di Sciascio E, Donini FM, Mongiello M, Totaro R, Castelluccia D. Design Verification of Web Applications Using Symbolic Model Checking. 5th Int. Conference on Web Engineering, LNCS 3579, Sydney, Australia, 2005.
6. Dwyer M, Avrunin GS, Corbett JC. Patterns in Property Specifications for Finite-state Verification. 21st Int. Conference on Software Engineering, May, 1999.
7. Dwyer M, Avrunin GS, Corbett JC. Property Specification Patterns for Finite-state Verification. 2nd Workshop on Formal Methods in Software Practice, March, 1998.
8. Dwyer MB and Clarke LA. Data flow analysis for verifying properties of concurrent programs. 2nd ACM SIGSOFT symposium on Foundations of software engineering: 62-75, 1994.
9. Haydar M, Sahraoui H. WeSPaS: A Specification Pattern System for Web Verification. Technical Report [CRIM 07/10-17], Centre de Recherche Informatique de Montreal, October 2007.
10. Haydar M, Boroday S, Petrenko A, Sahraoui H. Adding Propositional Scopes to Linear Temporal Logic. Technical Report [CRIM 05/05-06], Centre de Recherche Informatique de Montreal, May 2005.
11. Haydar M, Boroday S, Petrenko P, Sahraoui H. Propositional Scopes in Linear Temporal Logic. 5th Int. Conference on Novelles Technologies de la Repartition, Gatineau, Canada, August 30-September 1, 2005.
12. Haydar, M, Boroday S, Petrenko A, and Sahraoui H. Properties and Scopes in Web Model Checking. 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). Long Beach, California, USA, November 7-11, 2005.
13. Haydar M, Petrenko A, Sahraoui H. Formal Verification of Web Applications Modeled by Communicating Automata. 24th IFIP WG 6.1 IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems, LNCS, Spain, September 2004, 3235:115-132.
14. Haydar M. Formal Framework for Automated Analysis and Verification of Web-based Applications. 19th IEEE Int. Conference on Automated Software Engineering, Linz, Austria, September 20-24, 2004
15. Holzmann GJ. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, 2003.
16. Ivory, M. An Empirical Foundation for Automated Web Interface Evaluation, Doctoral Thesis, 2001.
17. Koyani SJ, Bailey RW, Nall JR. Research-Based Web Design & Usability Guidelines. National Institutes of Health, 2003.
18. Kan S. Metrics and Models in Software Quality Engineering, 2nd ed. Pearson, 2002.
19. Malak G, Sahraoui H. Badri L, and Badri M. Modeling Web-Based Applications Quality: a Probabilistic Approach. 7th International Conference on Web Information Systems Engineering (WISE), 2006.
20. Malak G, Badri L, Badri M, Sahraoui H. Towards a Multidimensional Model for Web- Based Applications Quality Assessment. 5th International Conference on E-Commerce and Web Technologies, Spain, LNCS Vol. 3182. Springer-Verlag, 316-327, 2004.
21. Millerand F, Martial O. Guide pratique de conception et d'évaluation ergonomique de sites Web. Montréal, Centre de recherche informatique de Montréal, 2001. [CRIM-01/08-21].
22. Nielsen, J. Designing Web Usability : The Practice of Simplicity. New Riders Publishing, 2000.
23. Olsina, L. Web-site Quality Evaluation Method : A Case Study on Museums. Proceedings of ICSE 99 - 2nd Workshop on Software Engineering over the Internet, 1998.
24. Offutt J. Quality attributes of Web software applications. IEEE Software, 19(2): 25-32, 2002.
25. Pereira A, Song M, Gorgulho G. The Formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electronic Commerce Research, 6: 265-303, Springer Verlag, 2006.
26. Pnueli, A. The Temporal Logic of Programs. 18th IEEE Symposium on Foundations of Computer Science, 1977, 46-57.
27. Stotts PD, Cabarrus CR. Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. ACM Transactions on Information Systems, January 1998, 16(1): 1-30.
28. Shubert P, Dettling W. Extended Web Assessment Method (EWAM) - Evaluation of Electronic Commerce Applications from the Customer's Viewpoint. 35th Hawaii International Conference on System Sciences, 2002.
29. Temesis - Qualité, conformité, et accessibilité des sites Internet. Opquast: Quality Best Practices for On-line Services. 2005, from http://en.opquast.com/.
30. The Specification Patterns System. 2002, from http://patterns. projects.cis.ksu.edu/.
31. IBM Usability. Web Design Guidelines. 2005, from http://www-306.ibm.com/ibm/easy/eou_ext.nsf/publish/611.