School of Computing

Time versus abstraction in formal description

H. Bowman, G.S. Blair, L. Blair, and A.G. Chetwynd

In Richard Tenney, Paul D. Amer, and Umit Uyar, editors, IFIP Transactions C_22, Proceedings of FORTE`93, Sixth International Conference on Formal Description Techniques, pages 182-196. North-Holland, October 1993.

Abstract

The need to incorporate quantitative time in formal description has now been widely recognised. We argue that there is a basic conflict between such an incorporation of time and the level of abstraction in formal specification. This conflict is illustrated through the specification of a simple multimedia stream. We propose the principle of separation of timing concerns as a resolution of this conflict and present a dual language notation in order to realise this principle. This notation uses LOTOS to express system behaviour and real-time temporal logic to express timing properties.



Bibtex Record

@inproceedings{335,
author = {H. Bowman and G.S. Blair and L. Blair and A.G. Chetwynd},
title = {Time Versus Abstraction in Formal Description},
month = {October},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/335},
    ISSN = {0926-549X},
    booktitle = {IFIP Transactions C_22, Proceedings of FORTE`93, Sixth International Conference on Formal Description Techniques},
    editor = {Richard Tenney and Paul D. Amer and Umit Uyar},
    publisher = {North-Holland},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014