A Coalgebraic Description of Web Interactions Export

@incollection{citeulike:2854093, abstract = {We introduce a coalgebraic description of static web sites, whereby pages are modeled by their links to other pages together with some extra information. This information can be either related to the contents or to the presentation or to the architecture of the page, etc., and its granularity can vary. This coalgebraic model provides a formal framework for the analysis of the design of single web sites and for the comparison of different sites. We give two alternative coalgebraic accounts of user visits to a web site, as they arise by extracting the information contained in the log file of the web server. The first one is defined in terms of the notion of injective simulation, the latter in terms of an appropriate lax morphism in Rel. These notions provide formal descriptions of user behaviours and can suggest formal tools for the study of the usability of a site.}, author = {Cancila, Daniela and Honsell, Furio}, citeulike-article-id = {2854093}, citeulike-linkout-0 = {http://www.springerlink.com/content/780k5lnx9avte4x8}, journal = {Theoretical Computer Science}, keywords = {algebraic-semiotics, algebraicity, algebroids, automatons, behaviours, coalgebraic, coalgebraicity, coalgebras, coalgebroids, interacting, interactions, semantic-web, semigroupoids, semigroups, transactions}, pages = {271--283}, posted-at = {2009-09-12 03:16:37}, priority = {2}, title = {A Coalgebraic Description of Web Interactions}, url = {http://www.springerlink.com/content/780k5lnx9avte4x8}, year = {2003} }

TY - CHAP ID - citeulike:2854093 L3 - citeulike-article-id:2854093 N2 - We introduce a coalgebraic description of static web sites, whereby pages are modeled by their links to other pages together with some extra information. This information can be either related to the contents or to the presentation or to the architecture of the page, etc., and its granularity can vary. This coalgebraic model provides a formal framework for the analysis of the design of single web sites and for the comparison of different sites. We give two alternative coalgebraic accounts of user visits to a web site, as they arise by extracting the information contained in the log file of the web server. The first one is defined in terms of the notion of injective simulation, the latter in terms of an appropriate lax morphism in Rel. These notions provide formal descriptions of user behaviours and can suggest formal tools for the study of the usability of a site. JF - Theoretical Computer Science EP - 283 TI - A Coalgebraic Description of Web Interactions SP - 271 KW - algebraic-semiotics KW - algebraicity KW - algebroids KW - automatons KW - behaviours KW - coalgebraic KW - coalgebraicity KW - coalgebras KW - coalgebroids KW - interacting KW - interactions KW - semantic-web KW - semigroupoids KW - semigroups KW - transactions AU - Cancila, Daniela AU - Honsell, Furio PY - 2003/// UR - http://www.springerlink.com/content/780k5lnx9avte4x8 ER -