A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modeling Multimedia Displays Using Action Based Temporal Logic
[chapter]
2002
Visual and Multimedia Information Management
We present a metalanguage, named Alan that can be used to model dynamic multimedia displays, particularly those that display multimedia database query results. Alan is an action language that uses temporal logic to model non-Markovian systems. We show how it can be used for specifying the behavior of fairly complex dynamic multimedia display systems, modeling all graphical user interface elements on the display plus the effects of actions and of the passage of time on media such as video and audio.
doi:10.1007/978-0-387-35592-4_11
fatcat:nix5lygtdrhijn5fmkfowxytja