@inproceedings{Gra02b,
title = { Expression of time and duration constraints in {SDL} },
author = {Graf, Susanne},
month = {jun},
year = {2002},
booktitle = {3rd SAM Workshop on SDL and MSC, University of Wales Aberystwyth},
publisher = {Springer Verlag},
series = {LNCS},
volume = {2599},
team = {DCS},
abstract = {In this paper, we give an overview on time related features, useful in the context of real-time system design using the SDL design language. We classify them into two categories, those needed for modelling of non-functional aspects and analysis, and those needed for functional design. We are careful to allow a clear distinction between functional and non functional parts of specifications. We show how these features are represented at the semantic level with a minimal number of primitives. We discusses a possible semantic framework for time annotaded SDL designs, compatible with the ASM semantics of SDL 2000. },
}
