Verimag

bibtex

@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. },
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 790204