Formal specification of distributed multimedia systems:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
London
UCL Press
1998
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 322 S. graph. Darst. |
| ISBN: | 1857286774 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011707714 | ||
| 003 | DE-604 | ||
| 005 | 19980805 | ||
| 007 | t | ||
| 008 | 980108s1998 xxkd||| |||| 00||| eng d | ||
| 020 | |a 1857286774 |9 1-85728-677-4 | ||
| 035 | |a (OCoLC)38015586 | ||
| 035 | |a (DE-599)BVBBV011707714 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-739 |a DE-91G | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 006.7 |2 21 | |
| 084 | |a ST 280 |0 (DE-625)143645: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 670f |2 stub | ||
| 084 | |a DAT 335f |2 stub | ||
| 245 | 1 | 0 | |a Formal specification of distributed multimedia systems |c Gordon Blair ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a London |b UCL Press |c 1998 | |
| 300 | |a XIV, 322 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 4 | |a Multimedia systems | |
| 700 | 1 | |a Blair, Gordon |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007894623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007894623 | ||
Record in the Search Index
| _version_ | 1804126244733714432 |
|---|---|
| adam_text | / FORMAL SPECIFICATION OF DISTRIBUTED MULTIMEDIA SYSTEMS GORDON BLAIR
LYNNE BLAIR AMANDA CHETWYND UNIVERSITY OF LANCASTER HOWARD BOWMAN
UNIVERSITY OF KENT AT CANTERBURY UCL P R * S S CONTENTS PREFACE IX
ACKNOWLEDGEMENTS XIII PART I INTRODUCTION I 1 MOTIVATION FOR THE FORMAL
SPECIFICATION OF DISTRIBUTED MULTIMEDIA SYSTEMS 3 1.1 INTRODUCTION 3 1.2
DISTRIBUTED MULTIMEDIA SYSTEMS 4 1.3 FORMAL SPECIFICATION 6 1.4 FORMAL
SPECIFICATION AND DISTRIBUTED MULTIMEDIA SYSTEMS 7 1.5 FOCUS ON OPEN
DISTRIBUTED PROCESSING 10 1.6 BOOK OVERVIEW 13 1.7 SUMMARY 16 PART II AN
INTRODUCTION TO DISTRIBUTED MULTIMEDIA COMPUTING 17 2 THE NATURE OF
MULTIMEDIA 19 2.1 INTRODUCTION 19 2.2 THE EMERGENCE OF MULTIMEDIA 2(1
2.3 DEFINITIONS 22 2.4 CHARACTERISTICS OF MULTIMEDIA INFORMATION 24 2.5
MULTIMEDIA APPLICATIONS 27 2.6 SUMMARY 36 3 UNDERLYING MULTIMEDIA
TECHNOLOGY 37 3.1 INTRODUCTION 37 3.2 COMMUNICATIONS NETWORKS 38 3.3 END
SYSTEMS TECHNOLOGIES 40 V CONTENTS 3.4 3.5 3.6 4 4.1 4.2 4.3 4.4 4.5
INTEGRATIVE STANDARDS AND TECHNOLOGIES USER INTERFACES SUMMARY DETAILED
REQUIREMENTS INTRODUCTION CHARACTERISTICS OF DISTRIBUTED MULTIMEDIA
SYSTEMS REQUIREMENTS IMPOSED ON FORMAL SPECIFICATION TECHNIQUES EXAMPLE
SCENARIOS SUMMARY 51 52 53 55 55 55 61 66 70 PART III EXISTING
APPROACHES 73 5 BROAD SURVEY: THE SPECTRUM OF FORMAL SPECIFICATION
TECHNIQUES 75 5.1 INTRODUCTION 75 5.2 SCOPE OF THE SURVEY 76 5.3
SPECIFICATION LOGICS 77 5.4 PROCESS ALGEBRAS 84 5.5 FINITE STATE MACHINE
BASED 90 5.6 PETRI NETS 94 5.7 SYNCHRONOUS LANGUAGES 98 5.8 OTHER
APPROACHES 100 5.9 OVERALL ANALYSIS 100 5.10 CONCLUSIONS 102 6
ASSESSMENT OF SPECIFIC FORMAL SPECIFICATION TECHNIQUES 103 6.1
INTRODUCTION 103 6.2 ESTELLE 104 6.3 SDL 110 6.4 ESTEREL 112 6.5 LOTOS
115 6.6 CONCLUSIONS AND OVERALL ASSESSMENT 117 7 EVALUATION OF LOTOS
BASED TECHNIQUES 121 7.1 INTRODUCTION 121 7.2 THE ALTERNATING BIT
PROTOCOL IN LOTOS 121 7.3 SIMULATING QUANTITATIVE TIME IN STANDARD LOTOS
127 7.4 EXTENDING LOTOS WITH QUANTITATIVE TIME 133 7.5 EXTENDING LOTOS
WITH MAXIMAL PROGRESS/URGENCY 139 7.6 OTHER CHARACTERISTICS OF TIMED
LOTOS EXTENSIONS 141 7.7 THE STREAM EXAMPLE REVISITED 142 7.8 SUMMARY
144 7.9 DISCUSSION - ABSTRACTION AND URGENCY 145 VI CONTENTS PART IV A
NEW APPROACH 8 8.1 8.2 8.3 8.4 8.5 8.6 8.7 9 9.1 9.2 9.3 9.4 9.5 9.6 10
10.1 10.2 10.3 10.4 10.5 10.6 10.7 10.8 PARTV II 11.1 11.2 11.3 11.4
11.5 11.6 12 12.1 12.2 12.3 12.4 INTRODUCING THE NEW APPROACH
INTRODUCTION MOTIVATION FOR THE NEW APPROACH A SEPARATION OF CONCERNS AN
APPROACH BASED ON LOTOS AND A REAL-TIME TEMPORAL LOGIC (QTL) ANALYSIS OF
THE LOTOS/QTL APPROACH RELATED WORK SUMMARY THE DESIGN OF THE LOGIC QTL
INTRODUCTION THE CHOICE OF A LOGIC SYNTAX OF QTL SEMANTICS OF QTL A NOTE
ON DATA VARIABLES SUMMARY VERIFICATION WITH THE LOTOS/QTL APPROACH
INTRODUCTION AN OVERVIEW OF THE VERIFICATION PROCEDURE CHECKING
REQUIREMENTS AGAINST THE REAL-TIME ASSUMPTIONS CHECKING REQUIREMENTS
AGAINST THE EFSM EXTENSIONS FOR FULL QTL TOOL SUPPORT FOR CHECKING
SATISFIABILITY ALTERNATIVE APPROACHES SUMMARY APPLYING THE LOTOS/QTL
APPROACH SIMPLE EXAMPLES INTRODUCTION BOUNDED INVOCATION A MULTIMEDIA
STREAM ADDING COMPRESSION TO THE MULTIMEDIA STREAM A NOTE ON METHODOLOGY
SUMMARY A LARGER COMPARATIVE EXAMPLE INTRODUCTION RESTATEMENT OF THE
PROBLEM OVERALL STRUCTURE OF A LIP-SYNCHRONIZATION ALGORITHM TEMPORAL
LOTOS SPECIFICATION 147 149 149 149 153 157 159 163 166 169 169 169 177
178 180 180 181 181 182 186 196 198 200 202 205 207 209 209 209 217 224
229 231 233 233 233 235 236 VII CONTENTS 12.5 LOTOS/QTL SPECIFICATION
241 12.6 COMPARISON 249 12.7 SUMMARY 253 PART VI CONCLUSIONS 255 13
CONCLUSIONS 257 13.1 SUMMARY OF THE BOOK 257 13.2 CONTRIBUTIONS OF THE
BOOK 259 13.3 REQUIREMENTS REVISITED 260 13.4 DIRECTIONS FOR FUTURE
RESEARCH 261 13.5 CONCLUDING REMARKS 263 APPENDIX A SOME NOTES ON
TERMINOLOGY 265 A.L INTRODUCTION 265 A.2 SYSTEM CLASSIFICATIONS 265 A.3
TRUE CONCURRENCY AND INTERLEAVING 272 A.4 SYNCHRONOUS AND ASYNCHRONOUS
274 A.5 CORRECTNESS PROPERTIES 277 A.6 SUMMARY 281 APPENDIX * MULTIMEDIA
STREAM SPECIFICATIONS 283 B.L. MULTIMEDIA STREAM IN ESTELLE 283 B.2.
MULTIMEDIA STREAM IN SDL 287 B.3. MULTIMEDIA STREAM IN ESTEREL 291 B.4.
MULTIMEDIA STREAM IN LOTOS 294 B.5. MULTIMEDIA STREAM IN LOTOS-T 296
BIBLIOGRAPHY 299 INDEX 315 VIII
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011707714 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 280 |
| classification_tum | DAT 516f DAT 670f DAT 335f |
| ctrlnum | (OCoLC)38015586 (DE-599)BVBBV011707714 |
| dewey-full | 006.7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.7 |
| dewey-search | 006.7 |
| dewey-sort | 16.7 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01346nam a2200397 c 4500</leader><controlfield tag="001">BV011707714</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980805 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980108s1998 xxkd||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1857286774</subfield><subfield code="9">1-85728-677-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38015586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011707714</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.7</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 280</subfield><subfield code="0">(DE-625)143645:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 670f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal specification of distributed multimedia systems</subfield><subfield code="c">Gordon Blair ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">UCL Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 322 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Multimedia systems</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blair, Gordon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007894623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007894623</subfield></datafield></record></collection> |
| id | DE-604.BV011707714 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:14:23Z |
| institution | BVB |
| isbn | 1857286774 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007894623 |
| oclc_num | 38015586 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-91G DE-BY-TUM |
| physical | XIV, 322 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | UCL Press |
| record_format | marc |
| spelling | Formal specification of distributed multimedia systems Gordon Blair ... 1. publ. London UCL Press 1998 XIV, 322 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Datenverarbeitung Electronic data processing Distributed processing Multimedia systems Blair, Gordon Sonstige oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007894623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal specification of distributed multimedia systems Datenverarbeitung Electronic data processing Distributed processing Multimedia systems |
| title | Formal specification of distributed multimedia systems |
| title_auth | Formal specification of distributed multimedia systems |
| title_exact_search | Formal specification of distributed multimedia systems |
| title_full | Formal specification of distributed multimedia systems Gordon Blair ... |
| title_fullStr | Formal specification of distributed multimedia systems Gordon Blair ... |
| title_full_unstemmed | Formal specification of distributed multimedia systems Gordon Blair ... |
| title_short | Formal specification of distributed multimedia systems |
| title_sort | formal specification of distributed multimedia systems |
| topic | Datenverarbeitung Electronic data processing Distributed processing Multimedia systems |
| topic_facet | Datenverarbeitung Electronic data processing Distributed processing Multimedia systems |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007894623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT blairgordon formalspecificationofdistributedmultimediasystems |