Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.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. (Contact us about this Publication)|
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:||24 Apr 2012 09:43|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/20396 (The current URI for this page, for reference purposes)|
- Depositors only (login required):