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: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

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: Conference or workshop item (Other)
Uncontrolled keywords: REQUIREMENTS/SPECIFICATION; MATHEMATICAL LOGIC; PROGRAM VERIFICATION
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: P. Ogbuji
Date Deposited: 04 Jul 2009 07:59
Last Modified: 13 Jun 2014 13:05
Resource URI: http://kar.kent.ac.uk/id/eprint/20396 (The current URI for this page, for reference purposes)
  • Depositors only (login required):