A Timed Specification Language for Concurrent Reactive Systems

Schenke, Michael

doi:10.1007/978-1-4471-3229-5_9

Cited by 5 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A main objection to the use of duration calculus, which is geared to state-based description of systems, is that it does not match most languages related to programming real-time reactive systems, which are geared to event-based description, nicely. In this connection, it is interesting to see that it is not entirely clear how the definitions of the semantics of SL and PL presented in [32] relate to the earlier definitions, presented in [31] and [16,25], which they replace. A main purpose of this paper is to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming.…”

Section: Introductionmentioning

confidence: 99%

Truth of Duration Calculus Formulae in Timed Frames

Middelburg

1998

Fundamenta Informaticae

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%