Open AccessProblems of portal users behaviour specification
Author(s) -
Audronė Lupeikienė,
Albertas Čaplinskas,
Gintautas Dzemyda
Publication year - 2009
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2009.67
Subject(s) - formalism (music) , computer science , specification language , position paper , programming language , software engineering , world wide web , art , musical , visual arts
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.