The role of visual tools in a Web application design and verification framework: A visual notation for LTL formulae

Lecture Notes in Computer Science

Volumn 3579, Issue , 2005, Pages 557-568

  Brambilla, Marco ^a   Deutsch, Alin ^b   Sui, Liying ^b   Vianu, Victor ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; HIGH LEVEL LANGUAGES; LINEAR SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

HIGH-LEVEL SPECIFICATIONS; VISUAL TOOLS; WEB CONCEPTUAL MODELING; WORKFLOW FORMALISMS;

WORLD WIDE WEB;

EID: 26444504808     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531371_70     Document Type: Conference Paper

References (12)

1. Atzeni, P., Mecca, G., Merialdo, P.: Design and Maintenance of Data-Intensive Web Sites. EDBT 1998: 436-450.
2. Brambilla, M., Ceri, S., Comai, S., Fraternali, P., Manolescu, I.: Specification and design of workflow-driven hypertexts, Journal of Web Engineering, Vol. 1, No.1 (2002).
3. Business Process Management Language (BPML) and Notation (BPMN): http://www.bpmi.org
4. Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications, Morgan-Kaufmann, December 2002.
5. Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. ACM TOSEM, Volume 12, Issue 4 (October 2003), pp. 371-408
6. Deutsch A., Sui L. and Vianu V.: Specification and Verification of Data-driven Web Services. PODS 2004: 71-82.
7. Deutsch, A., Marcus, M., Sui, L., Vianu, V., and Zhou, D.: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD 2005, Baltimore, June 13-16, 2005.
8. Emerson, E.A.: Temporal and modal logic. In Leeuwen, J.V., editor, Handbook of Theoretical Computer Science, Vol. B, pages 995-1072. North-holland Pub. Co./MIT Press, 1990.
9. Muccini, H.: Software Architecture for Testing, Coordination and Views Model Checking. Ph.D. Thesis, 2002.
10. Schwabe, D., Rossi, G.: An Object Oriented Approach to Web Applications Design. TAPOS 4(4): (1998).
11. WebML Project Homepage: http://www.webml.org
12. Workflow Management Coalition Homepage: http://www.wfmc.org