A Timed Semantics for SDL

Simon Mørk; Jens Christian Godskesen; Michael Reichhardt Hansen; Robin Sharp

A Timed Semantics for SDL

Simon Mørk, Jens Christian Godskesen, Michael Reichhardt Hansen, Robin Sharp

TDC A/S

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables.

Original language	English
Title of host publication	Formal Description Techniques IX, Theory, application and tools
Place of Publication	London
Publisher	Chapman & Hall
Publication date	1996
Pages	295-309
Publication status	Published - 1996
Event	FORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI - Kaiserslautern, Germany Duration: 1 Jan 1996 → …

Conference

Conference	FORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI
City	Kaiserslautern, Germany
Period	01/01/1996 → …

OpenUrl availability

Full text

Cite this

@inproceedings{765117f20681498e925a3290494c2465,

title = "A Timed Semantics for SDL",

abstract = "An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables.",

author = "Simon M{\o}rk and Godskesen, {Jens Christian} and Hansen, {Michael Reichhardt} and Robin Sharp",

year = "1996",

language = "English",

pages = "295--309",

booktitle = "Formal Description Techniques IX, Theory, application and tools",

publisher = "Chapman & Hall",

note = "FORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI ; Conference date: 01-01-1996",

}

Mørk, S, Godskesen, JC, Hansen, MR & Sharp, R 1996, A Timed Semantics for SDL. in Formal Description Techniques IX, Theory, application and tools. Chapman & Hall, London, pp. 295-309, FORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 01/01/1996.

TY - GEN

T1 - A Timed Semantics for SDL

AU - Mørk, Simon

AU - Godskesen, Jens Christian

AU - Hansen, Michael Reichhardt

AU - Sharp, Robin

PY - 1996

Y1 - 1996

N2 - An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables.

AB - An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables.

M3 - Article in proceedings

SP - 295

EP - 309

BT - Formal Description Techniques IX, Theory, application and tools

PB - Chapman & Hall

CY - London

T2 - FORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI

Y2 - 1 January 1996

ER -

A Timed Semantics for SDL

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this