Specifying Multiple Time Granularities in Interactive Systems

M. Kutar, C. Britton, C.L. Nehaniv

    Research output: Contribution to journalArticlepeer-review

    6 Citations (Scopus)


    Time plays an important role in interactive systems, but can be difficult to specify, particularly where temporal properties exist at several different time granularities. The relationship between different time granularities is complex and translation between them can be difficult. In this paper, we discuss this relationship and highlight the way in which translation between different time granularities within a single specification may have important consequences for system behaviour. Using the notation TRIO≠, we provide examples from an interactive case study of the ways in which system behaviour may be influ enced, and illustrate some of the potential difficulties which arise in the specification of temporal properties such as pace and regularity.
    Original languageEnglish
    Pages (from-to)51-63
    JournalLecture Notes in Computer Science (LNCS)
    Publication statusPublished - 2001


    Dive into the research topics of 'Specifying Multiple Time Granularities in Interactive Systems'. Together they form a unique fingerprint.

    Cite this