Skip to main content

Time Versus Abstraction In Formal Description

Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1993) Time Versus Abstraction In Formal Description. In: Tenney, Richard L. and Amer, Paul D. and Uyar, M.Umit, eds. FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI. North-Holland Publishing Co., Netherlands, pp. 467-482. ISBN 0-444-81773-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
https://dl.acm.org/citation.cfm?id=756729

Abstract

We argue that there is a basic conflict between the 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.

Item Type: Book section
Uncontrolled keywords: Requirements/Specification ; Mathematical Logic ; Program Verification
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: P. Ogbuji
Date Deposited: 04 Jul 2009 07:59 UTC
Last Modified: 28 May 2019 13:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/20396 (The current URI for this page, for reference purposes)
  • Depositors only (login required):