Abstract
Duration calculus is a logical formalism designed for expressing and
refining real-time requirements for systems.
Timed frames are essentially transition systems meant for modeling the
time-dependent behaviour of programs.
We investigate the interpretation of duration calculus formulae in timed
frames.
We elaborate this topic from different angles and show that they agree
with each other.
The resulting interpretation is expected to make it generally easier to
establish semantic links between duration calculus and formalisms aimed
at programming.
Such semantic links are prerequisites for a solid underpinning of
approaches to system development that cover requirement capture through
coding using both duration calculus and some formalism(s) aimed at
programming.
Preprint available here.