Tue Becher Jensen
ABSTRACT
The amount of web-based systems is growing rapidly and the complexity of the developed systems is increasing as well, and in the literature one speaks about a web crises.Many web-based systems have a structure where users via a browser can perform operations on a database. We show that major parts of the software of such applications can be generated and verified from specifications of the functional requirements and specifications of the navigation.In particular, we show how to generate a modular software architecture, which is type safe in the sense that it enforces that functions throughout the application are applied to arguments of the correct type, and navigation safe taking e.g. into account consistency among user groups, functions and reachable web pages, and type consistency of web pages wrt. to functions on links.A default implementation of the functional requirements is generated allowing e.g. the navigation to be validated at an early stage of the development.A full implementation is obtained from the generated software architecture by implementing the functional requirements only, and this is done using a strongly-typed language.
- D. Bjørner and C. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of LNCS. Springer Verlag, 1978.Google Scholar
- C. Brabrand, A. Møller, M. Ricky, and M. I. Schwartzbach. Powerforms: Declarative client-side form field validation. World Wide Web Journal, 3(4), 2000. Google ScholarDigital Library
- C. Brabrand, A. Møller, and M. I. Schwartzbach. Static validation of dynamically generated html. In Proceedings of Workshop on PASTE, 2001. Google ScholarDigital Library
- C. Brabrand, A. Møller, and M. I. Schwartzbach. The BIGWIG project. To appear in TOIT, 2002. Google ScholarDigital Library
- M. Elsman and N. Hallenberg. Web programming with SMLserver. In Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer-Verlag, January 2003. Google ScholarDigital Library
- J. Fitzgerald and P. Larsen. Modelling Systems - Practical Tools and Techniques in Software Development. Cambridge University Press, 1998. Google ScholarDigital Library
- D. Florescu, A. Levy, and A. Mendelzon. Database techniques for the world-wide web: A survey. ACM SIGMOD Record, 27(3):59--74, 1998. Google ScholarDigital Library
- C. George, P. Haff, K. Havelund, A. E. Haxthausen, R. Milne, C. B. Nielson, S. Prehn, and K. R. Wagner. The RAISE Specification Language. Prentice Hall, New York, 1992. Google ScholarDigital Library
- A. Ginige and S. Murugesan. Guest Editors' introductin: Web engineering: An introduction. IEEE MultiMedia, 8(1):14--18, Jan. 2001. Google ScholarDigital Library
- M. R. Hansen and H. Rischel. Introduction to Programming using SML. Addison Wesley Longman, 1999. Google ScholarDigital Library
- T. B. Jensen and T. K. Tolstrup. Theory based development of web-based systems. (In danish.) IMM-THESIS-2003-19, Master's Thesis, Informatics and Mathematical Modelling, Technical University of Denmark, 2003.Google Scholar
- E. Kirda, M. Jazayeri, and C. Kerer. Experineces in engineering flexible Web services. IEEE MultiMedia, 8(1):58--65, Jan. 2001. Google ScholarDigital Library
- S. Larsen and M. R. Hansen. Systematic design and implementation of web-based systems. In International Symposium on Telecommunications - IST2001, pages 38--41. ITRC, 2001.Google Scholar
- R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997. Google ScholarDigital Library
- L. C. Paulson. ML for the Working Programmer. Cambridge University Press, New York, NY, second edition, 1996. Google ScholarDigital Library
- F. Ricca and P. Tonella. Understanding and restructuring web sites with REWEB. IEEE MultiMedia, 8(2):40--51, April 2001. Google ScholarDigital Library
- D. Schwabe, L. Esmeraldo, G. Rossi, and F. Lyardet. Engineering Web applications for reuse. IEEE MultiMedia, 8(1):20--31, Jan. 2001. Google ScholarDigital Library
- V. Turau. A framework for automatic generation of web-based data entry applications based on xml. In ACM Symposium on Applied Computing (SAC'02), 2002. Google ScholarDigital Library
- J. D. Ullman and J. Widom. A First Course in Database Systems. Prentice Hall, 2002. Google ScholarDigital Library
- U. Zdun. Dynamically generating web application fragments from page templates. In ACM Symposium on Applied Computing (SAC'02), 2002. Google ScholarDigital Library
Recommendations
Generating semantic annotations during the web design process
ICWE '06: Proceedings of the 6th international conference on Web engineeringAn important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods, originally aimed at offering the designer a well-structured, systematic ...
Engineering Rich Internet Application User Interfaces over Legacy Web Models
A steadily growing trend in Web applications is the development of user interfaces through rich Internet applications. Among other capabilities, RIAs offer high interactivity and native multimedia support, giving them a major advantage over standard ...
A metric-based analysis of web sites in Serbia: first findings
AIC'08: Proceedings of the 8th conference on Applied informatics and communicationsWeb engineering can be defined as a disciplined and systematic approach to development, deployment and maintenance of high-quality web applications. It borrows many principles, processes, methods and tools from software engineering and measurements and ...
Comments