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) |
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: | 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):
