Sciweavers

Share
BIS
2010

Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining

9 years 4 months ago
Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only partly and are defined also partially. Therefore one must be capable to compare the a priori assumptions with the actual user behavior in order to decide how the system could be improved. To tackle this problem, we consider a promising approach to employ the same formalism to express the intended usage, the web portal model and the frequent real usage patterns, extracted from the experimental data by data mining algorithms. This allows to automate the verification whether the frequent real usage patterns satisfy the intended usage in the web portal model. We propose to use temporal logic and Kripke structure as such a common formalism. Key words: Intended Usage, Real Usage, web Portal Model, Linear Temporal Logic, Pattern Mining
Jérémy Besson, Ieva Mitasiunaite, Au
Added 12 May 2011
Updated 12 May 2011
Type Journal
Year 2010
Where BIS
Authors Jérémy Besson, Ieva Mitasiunaite, Audrone Lupeikiene, Jean-François Boulicaut
Comments (0)
books