SDL time extensions from a semantic point of view

Authors:
Andreas Prinz
Affiliations:
DResearch Digital Media Systems GmbH, Berlin, Germany
Venue:
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Year:
2002

Citing 3
Cited 0

Evolving algebras 1993: Lipari guide

Specification and validation methods
Hybrid I/O automata

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions

CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

During the work with the SDL formal semantics, we had also to formalize the SDL time behavior. The semantics given finally was made such that it was applicable for a more general time model, too. This article analyses some properties of time in general, of time in ASM and of time in SDL. Afterwards a set of time axioms for the properties of SDL are stated as an input for discussion.