Synthesis of Web Sites from High Level Descriptions

  • João M. B. Cavalcanti
  • David Robertson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2016)


As use of Web sites has exploded, large amount of effort have gone into the deployment of sites but little thought has been given to methods for their design and maintenance. This paper reports some encouraging results on the use of automated synthesis, using domainspecific formal representations, to make design more methodical and maintenance less time consuming.


Web site application computational logic HTML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bonner, A. J.and Kifer, M.T ransaction Logic Programming Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto. November, 1995.Google Scholar
  2. 2.
    Cabeza, D.and Hermenegildo, A.W WW Programming using Computational Logic Systems (and the PiLLoW/CIAO Library). Technical Report, Computer Science Department, Technical University of Madrid, 1997.In: Google Scholar
  3. 3.
    Cascading Style Sheets, level 1. W3C Recommendation December 1996, revised January 1999. In
  4. 4.
    The Common Gateway Interface. In:
  5. 5.
    Fernández, M., Florescu, D., Kang, J., Levy, A. and Suciu, D. Catching the Boat with Strudel: Experience with a A Web-site Management System. In SIGMOD Conference on Management of Data, Seattle, USA, 1998.Google Scholar
  6. 6.
    Fernández, M., Florescu, D., Levy, A. and Suciu, D. Verifying Integrity Constraints on Web Sites. Proc. of the 16th International Joint Conference on Artificial Intelligence — IJCAI’99.Stockholm, Sweden, 1999.Google Scholar
  7. 7.
    van Harmelen, F. and van der Meer, J. WebMaster: Knowledge-based Verification of Web-pages. In: Proc. of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA/AEI’99), Ali, M.and Iman, I. (eds.), Springer Verlag, LNAI, 1999.Google Scholar
  8. 8.
    HTML-Hyper Text Markup Language. W3C-World Wide Web Consortium. In:
  9. 9.
    Robertson, D. and Augustì, J. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling, ACM Press, Addison Wesley Longman, 1999.Google Scholar
  10. 10.
    Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998. In:
  11. 11.
    Extensible Stylesheet Language (XSL) Specification. W3C Working Draft, April 1999. In:
  12. 12.
    Web Style Sheets. In:

Copyright information

© Springer-Verlag Berlin Heilderberg 2001

Authors and Affiliations

  • João M. B. Cavalcanti
    • 1
  • David Robertson
    • 1
  1. 1.Institute for Representation and Reasoning Division of InformaticsThe University of EdinburghScotland

Personalised recommendations