DMCA
Truth of Duration Calculus Formulae in Timed Frames (1998)
| Venue: | Fundamenta Informaticae |
BibTeX
@TECHREPORT{-x98truthof,
author = {Issn -x and Mathematisch Centrum (smc and The Dutch Foundation and C. A. Middelburg and C. A. Middelburg},
title = {Truth of Duration Calculus Formulae in Timed Frames},
institution = {Fundamenta Informaticae},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
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 di#erent 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. 1991 Mathematics Subject Classification: 68Q55, 68Q60 1991 Computing Reviews Classification System: D.2.1, D.2.4, D.3.1, F.3.1, F.3.2 Keywords and Phrases: duration calculus, real-time requirements, timed frames, time-dependent b...
Keyphrases
duration calculus timed frame duration calculus formula semantic link real-time requirement cover requirement capture time-dependent behaviour logical formalism mathematics subject classification transition system computing review classification system di erent angle solid underpinning system development
