HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Technical Reports >

Please use this identifier to cite or link to this item:
Title: Exploring the browsing semantics of information on the web
Authors: Cheung, Shing-Chi
Lam, Chi-yung
Issue Date: Oct-1998
Series/Report no.: Computer Science Technical Report ; HKUST-CS98-14
Abstract: Finding desirable information on the Web can be time consuming and ineffective. The complexity of the Web makes it difficult for users to understand the browsing semantics; the problem is aggravated with the incorporation of dynamic behaviour into information structure using facilities supported by JavaBeans and CORBA. This motivates the need to model HTML documents for rigorous analysis. In this paper, we propose a framework in the Calculus of Communicating Systems (CCS) to unify the modelling of HTML documents based on structure, content and dynamic behaviour. Interesting queries regarding the document, like accessibility, ordering, reachability and mirror site verification, can be answered. The process is automatable via the use of a tool called the Concurrency Workbench (CWB): after the model is inputted to CWB, properties are expressed in the tool environment as modal u-calculus formulae. CWB can then check automatically whether the model satisifies those properties. Equivalence of two models in terms of behaviour can also be verified. An extended example is used throughout this paper as an illustration.
Appears in Collections:CSE Technical Reports

Files in This Item:

File Description SizeFormat
tr9814.pdf323KbAdobe PDFView/Open

All items in this Repository are protected by copyright, with all rights reserved.