Abstract
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.
On leave from University of Amazonas, Brazil.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bonner, A. J.and Kifer, M.T ransaction Logic Programming Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto. November, 1995.
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: http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html
Cascading Style Sheets, level 1. W3C Recommendation December 1996, revised January 1999. In http://www.w3.org/TR/REC-CSS1
The Common Gateway Interface. In: http://hoohoo.ncsa.uiuc.edu/cgi/
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.
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.
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.
HTML-Hyper Text Markup Language. W3C-World Wide Web Consortium. In: http://www.w3.org/MarkUp/
Robertson, D. and Augustì, J. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling, ACM Press, Addison Wesley Longman, 1999.
Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998. In: http://www.w3.org/TR/1998/REC-xml-19980210
Extensible Stylesheet Language (XSL) Specification. W3C Working Draft, April 1999. In: http://www.w3.org/TR/WD-xsl/
Web Style Sheets. In: http://www.w3.org/Style/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heilderberg
About this chapter
Cite this chapter
Cavalcanti, J.M.B., Robertson, D. (2001). Synthesis of Web Sites from High Level Descriptions. In: Murugesan, S., Deshpande, Y. (eds) Web Engineering. Lecture Notes in Computer Science, vol 2016. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45144-7_19
Download citation
DOI: https://doi.org/10.1007/3-540-45144-7_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42130-6
Online ISBN: 978-3-540-45144-0
eBook Packages: Springer Book Archive