Problems of portal users behaviour specification
Articles
Audronė Lupeikienė
Institute of Mathematics and Informatics
Albertas Čaplinskas
Institute of Mathematics and Informatics
Gintautas Dzemyda
Institute of Mathematics and Informatics
Published 2009-12-20
https://doi.org/10.15388/LMR.2009.67
PDF

Keywords

portal
user behaviour specification
temporal logic of actions

How to Cite

Lupeikienė A., Čaplinskas A. and Dzemyda G. (2009) “Problems of portal users behaviour specification”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 380–385. doi: 10.15388/LMR.2009.67.

Abstract

This paper is a position paper, so it presents not well-established scientific truths but remarks and notices on the phenomena and their generalisations. The paper asserts that current portal design practices are not sound, advocates for an explicit specification of the assumptions about the predicted users’ behaviour, and requires that a specification language to formulate such the assumptions should be based on the formalism of temporal logic of actions.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy

Most read articles by the same author(s)