Specifications are (preferably) executable
Software Engineering Journal
The object-oriented hypermedia design model
Communications of the ACM
From logic programming to Prolog
From logic programming to Prolog
Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Database techniques for the World-Wide Web: a survey
ACM SIGMOD Record
Software blueprints: lightweight uses of logic in conceptual modeling
Software blueprints: lightweight uses of logic in conceptual modeling
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Fundamentals of Database Systems
Fundamentals of Database Systems
Design and Maintenance of Data-Intensive Web Sites
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Data-Driven, One-To-One Web Site Generation for Data-Intensive Applications
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
SEAL - A Framework for Developing SEmantic Web PortALs
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Verifying Integrity Constraints on Web Sites
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Synthesis of Web Sites from High Level Descriptions
Web Engineering, Software Engineering and Web Application Development
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Directed Hypergraphs as a Modelling Paradigm
Directed Hypergraphs as a Modelling Paradigm
Web site synthesis based on computational logic
Knowledge and Information Systems
Hi-index | 0.00 |
The continuing increase in size and complexity of Web sites has turned their design and construction into a challenging problem. Systematic approaches can bring many benefits to Web site construction, making development more methodical and maintenance less time consuming. Computational logic can be successfully used to tackle this problem, as it supports declarative specifications and reasoning about specifications in a more natural way. Computational logic also offers metaprogramming capabilities that can be used to develop methods for automated Web site synthesis. This chapter presents an approach to Web site synthesis based on computational logic and discusses in more detail two important features of the proposed approach: the support for property checking and integrity constraint specification and verification.