Problems of portal users behaviour specification
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


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.


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.

Creative Commons License

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

Please read the Copyright Notice in Journal Policy