Obligations and dense time for specifying deadlines

F.P.M. Dignum, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Abstract

We consider the notion of deadlines in the context of dense time. We show that obligations and actions are essential elements for the specification of deadlines. These notions can be relatively easily combined when a discrete temporal framework is used. However, we show that once a dense time is introduced, several problems appear. In solving these problems we cannot use the same framework and definitions as used for the discrete time. In the new framework we use a branching dense temporal framework as a basis to specify both actions and obligations. Finally we show that all types of deadlines that were defined for the discrete temporal framework can also be defined for dense time.
Original languageEnglish
Title of host publicationProceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998)
EditorsD.R. Dolk
PublisherInstitute of Electrical and Electronics Engineers
Pages186-195
Number of pages10
DOIs
Publication statusPublished - 1998

Fingerprint Dive into the research topics of 'Obligations and dense time for specifying deadlines'. Together they form a unique fingerprint.

  • Cite this

    Dignum, F. P. M., & Kuiper, R. (1998). Obligations and dense time for specifying deadlines. In D. R. Dolk (Ed.), Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998) (pp. 186-195). [648312] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/HICSS.1998.648312