| Title: |
Formal Support for the Specification and Construction of Distributed Multimedia Systems (The Tempo Project) Final Project Deliverable |
| Authors: |
Gordon Blair; Prepared Gordon Blair; Lynne Blair; Howard Bowman; Amanda Chetwynd; Part I. An; Introduction Tempo |
| Contributors: |
The Pennsylvania State University CiteSeerX Archives |
| Source: |
ftp://ftp.comp.lancs.ac.uk/pub/mpg/MPG-93-23.ps.Z |
| Publication Year: |
1993 |
| Collection: |
CiteSeerX |
| Description: |
specification I Abstract specification I+1 Real-time assumptions I Real-time assumptions I+1 REFINEMENT . . . . . . . . . Real-time requirements I Real-time requirements I+1 REFINEMENT . . . . . . Figure 8.1: System Development with Separated Timing Concerns 8.4 Summary and Discussion In this chapter we have described the motivation behind the work that will be presented in the remainder of this part. In particular, we have presented two criticisms of the standard single language based approach to timed formal description. The former of these criticisms centres on the unsuitability of these techniques for expressing quality of service and mirroring the functional/ non-functional distinction pivotal to distributed multimedia system development. The latter criticism highlighted the conflict between abstraction in specification and the embedding of precise timing values in formal descriptions of system behaviour. In response to these criticisms, we have pro. |
| Document Type: |
text |
| File Description: |
application/postscript |
| Language: |
English |
| Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5384 |
| Availability: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5384 |
| Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: |
edsbas.6433936B |
| Database: |
BASE |