Journal of Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
WSDM: a user centered design method for Web sites
WWW7 Proceedings of the seventh international conference on World Wide Web 7
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Building Web Applications with Uml
Building Web Applications with Uml
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Web Extensions to UML: Using the MVC Triad
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Kleene Algebra with Tests: Completeness and Decidability
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
On Hoare Logic and Kleene Algebra with Tests
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Form-Oriented Analysis
Conceptual modelling of web information systems
Data & Knowledge Engineering
Personalisation of web information systems - A term rewriting approach
Data & Knowledge Engineering
Modeling information services on the basis of ASM semantics
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Hera: development of semantic web information systems
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Term rewriting for web information systems: termination and church-rosser property
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Towards a fuzzy logic for automated multi-issue negotiation
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
An algorithmic approach to high-level personalisation of web information systems
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Hi-index | 0.00 |
Web Information Systems have to serve a variety of users with very diverse preferences regarding content, functionality and presentation. We first investigate the customisation of functionality at a high-level of abstraction, where possible action sequences are represented by an algebraic expression called plot, and user preferences give rise to equations. We show that the problem can be solved by applying conditional term rewriting on the basis of Kleene algebras with tests. By exploiting the idea of weakest preconditions such expressions can be represented by formal power series with coefficients in a Boolean algebra. This gives rise to a sufficient condition for termination based on well-founded orders on such power series. As confluence cannot be guaranteed, we propose critical pair completion to be used in order to enforce the desirable Church-Rosser property. In a second step we parametrise the actions and replace the Boolean conditions by first-order formulae. We show that still term rewriting can be applied, but termination and Church Rosser property become problems that will require manual interaction, in particular, as preference rules will make use of the parameters. On the other hand the presence of first-order conditions can be used to extend the customisation to the content.