© 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}, }