© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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},
}