Obligations and dense time for specifying deadlines

F.P.M. Dignum; R. Kuiper

doi:10.1109/HICSS.1998.648312

Obligations and dense time for specifying deadlines

F.P.M. Dignum, R. Kuiper

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 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 language	English
Title of host publication	Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998)
Editors	D.R. Dolk
Publisher	Institute of Electrical and Electronics Engineers
Pages	186-195
Number of pages	10
DOIs	https://doi.org/10.1109/HICSS.1998.648312
Publication status	Published - 1998

Access to Document

10.1109/HICSS.1998.648312

Cite this

@inproceedings{f773830ba90e498c9a6828c6717c511d,

title = "Obligations and dense time for specifying deadlines",

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.",

author = "F.P.M. Dignum and R. Kuiper",

year = "1998",

doi = "10.1109/HICSS.1998.648312",

language = "English",

pages = "186--195",

editor = "D.R. Dolk",

booktitle = "Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Obligations and dense time for specifying deadlines. / Dignum, F.P.M.; Kuiper, R.
Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998). ed. / D.R. Dolk. Institute of Electrical and Electronics Engineers, 1998. p. 186-195 648312.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Obligations and dense time for specifying deadlines

AU - Dignum, F.P.M.

AU - Kuiper, R.

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

U2 - 10.1109/HICSS.1998.648312

DO - 10.1109/HICSS.1998.648312

M3 - Conference contribution

SP - 186

EP - 195

BT - Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998)

A2 - Dolk, D.R.

PB - Institute of Electrical and Electronics Engineers

ER -

Obligations and dense time for specifying deadlines

Abstract

Access to Document

Fingerprint

Cite this