Discrete time process algebra and the semantics of SDL

J.A. Bergstra, C.A. Middelburg, Y.S. Usenko

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.
Original languageEnglish
Title of host publicationHandbook of Process Algebra
EditorsJ.A. Bergstra, A. Ponse, S.A. Smolka
Place of PublicationAmsterdam
PublisherElsevier
Pages1209-1268
ISBN (Print)0-444-82830-3
Publication statusPublished - 2001

Fingerprint

Algebra
Semantics
Specifications
Communication

Cite this

Bergstra, J. A., Middelburg, C. A., & Usenko, Y. S. (2001). Discrete time process algebra and the semantics of SDL. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 1209-1268). Amsterdam: Elsevier.
Bergstra, J.A. ; Middelburg, C.A. ; Usenko, Y.S. / Discrete time process algebra and the semantics of SDL. Handbook of Process Algebra. editor / J.A. Bergstra ; A. Ponse ; S.A. Smolka. Amsterdam : Elsevier, 2001. pp. 1209-1268
@inbook{12a7b2d5205241aab1174858a104a256,
title = "Discrete time process algebra and the semantics of SDL",
abstract = "We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.",
author = "J.A. Bergstra and C.A. Middelburg and Y.S. Usenko",
year = "2001",
language = "English",
isbn = "0-444-82830-3",
pages = "1209--1268",
editor = "J.A. Bergstra and A. Ponse and S.A. Smolka",
booktitle = "Handbook of Process Algebra",
publisher = "Elsevier",
address = "Netherlands",

}

Bergstra, JA, Middelburg, CA & Usenko, YS 2001, Discrete time process algebra and the semantics of SDL. in JA Bergstra, A Ponse & SA Smolka (eds), Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1209-1268.

Discrete time process algebra and the semantics of SDL. / Bergstra, J.A.; Middelburg, C.A.; Usenko, Y.S.

Handbook of Process Algebra. ed. / J.A. Bergstra; A. Ponse; S.A. Smolka. Amsterdam : Elsevier, 2001. p. 1209-1268.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Discrete time process algebra and the semantics of SDL

AU - Bergstra, J.A.

AU - Middelburg, C.A.

AU - Usenko, Y.S.

PY - 2001

Y1 - 2001

N2 - We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.

AB - We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.

M3 - Chapter

SN - 0-444-82830-3

SP - 1209

EP - 1268

BT - Handbook of Process Algebra

A2 - Bergstra, J.A.

A2 - Ponse, A.

A2 - Smolka, S.A.

PB - Elsevier

CY - Amsterdam

ER -

Bergstra JA, Middelburg CA, Usenko YS. Discrete time process algebra and the semantics of SDL. In Bergstra JA, Ponse A, Smolka SA, editors, Handbook of Process Algebra. Amsterdam: Elsevier. 2001. p. 1209-1268