Protocol specification, testing, and verification IX: proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland
1990
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XV, 401 S. graph. Darst. |
| ISBN: | 0444883436 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012527400 | ||
| 003 | DE-604 | ||
| 005 | 19990426 | ||
| 007 | t | ||
| 008 | 990426s1990 d||| |||| 10||| eng d | ||
| 020 | |a 0444883436 |9 0-444-88343-6 | ||
| 035 | |a (OCoLC)26364238 | ||
| 035 | |a (DE-599)BVBBV012527400 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a TK5105.5 | |
| 082 | 0 | |a 004.62 |2 20 | |
| 084 | |a DAT 256f |2 stub | ||
| 084 | |a DAT 252f |2 stub | ||
| 245 | 1 | 0 | |a Protocol specification, testing, and verification IX |b proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 |c ed. by Ed Brinksma |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1990 | |
| 300 | |a XV, 401 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computers - Networks - Protocols | |
| 650 | 7 | |a Computernetwerken |2 gtt | |
| 650 | 7 | |a LOTOS |2 inriac | |
| 650 | 7 | |a Protocoles de réseaux d'ordinateurs - Congrès |2 ram | |
| 650 | 7 | |a Protocollen (informatica) |2 gtt | |
| 650 | 7 | |a environnement logiciel |2 inriac | |
| 650 | 7 | |a espace état |2 inriac | |
| 650 | 7 | |a langage spécification |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a specification système |2 inriac | |
| 650 | 7 | |a spécification protocole |2 inriac | |
| 650 | 7 | |a système ouvert |2 inriac | |
| 650 | 7 | |a test conformité |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Computer network protocols |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Brinksma, Ed |d 1957- |e Sonstige |0 (DE-588)123063272 |4 oth | |
| 710 | 2 | |a International Federation for Information Processing |e Sonstige |0 (DE-588)1003417-1 |4 oth | |
| 711 | 2 | |a International Symposium on Protocol Specification, Testing, and Verification |n 9 |d 1989 |c Enschede |j Sonstige |0 (DE-588)5044578-9 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008505142&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008505142 | ||
Record in the Search Index
| _version_ | 1804127173190090752 |
|---|---|
| adam_text | vn
Contents
Preface
.................................................................................................................................................
v
Contents
...................................................................................................
,
........................................
vii
Acknowledgements
............„...............................................................................................................xi
Programme Committee and Invited Speakers
.............................................................................xiii
Referees
.........*...................................................................................................................................xv
Session
1:
System Specification
Signalling System No.
7,
The Network Layer
..................................................................................3
I.J. Hayes, University of Queensland, M. Mowbray, Overseas
Telecommunications Commission, G.A. Rose, University of Queensland
Functional Specification for an ISDN Switching System: an Experience using
........................
IS
Estelle
M. Phalippou,
CNET
Formal Specifications of Telephone Systems in LOTOS
..............................................................25
M.
Faci,
L.
Logrippo and
B. Stépien,
University of Ottawa
Invited Presentation:
Design and verification in real-time distributed computing: an introduction to
.......................37
compositional methods
Willem
Paul
de Roever and Jozef J.M Hooman,
Technical University
Eindhoven
Session
2:
Process
Algebra Applications
A Verification Method for LOTOS Specifications and its Application
.......................................59
N.
Sturatoli,
H.
Kaminaga,
К.
Takahashi,
and S.
Noguchi,
Tohoku
University
Stepwise Refinement of Layered Protocols by Formal Program Development
.........................71
T. Snoop,
N. Götz, Universität Erlangen,
and
M. Mendier,
University of Edinburgh
vni
A Testing Theory for LOTOS using Deadlock Detection
.............................................................87
R. Langerak, University ofTwente
Session
3:
Conformance Testing
Design and Implementation of a Ferry Oip Test System
...........................................................101
S.T. Chanson, BJ>. Lee, NJ. Parakh, ttX.
Zeng,
University of
British Columbia
On Test Sequence Generation for Protocols
................................................................................119
W.Y.L. Chan, S.T. Vuong and Mil.
Ito,
University of British Columbia
Protocol Conformance Testing Using Multiple
ШО
Sequences
................................................131
Y.-N. Shen, F.
Lombardi,
Texas A&M University, and A.T. Dahbura,
AT&T Bell Laboratories.
The CO-OP Method for Compositional Derivation of Conformance Testers
..........................145
CD. Wezeman, British Telecom
Session
4:
Specification Language Transformation
A Multi-Processor Esteile-to-C Compiler to Prototype Algorithms on
....................................161
Parallel Machines
С
Jard
and
J.M. Jezequel,
¡RISA
Combining ASM Support with the LOTOS Language
.............................................................175
G.
von
Bochmann and
M. Deslauriers,
University of Montreal
Compilation of LOTOS Data Type Specifications
......................................................................187
D. Wolz and P. Boehm, Technical University Berlin
Invited Presentation:
Open Distributed Processing
_______________........................................................................205
Joost
J.
van Griethuysen, Philips International, Eindhoven
їх
Session 5:
Transition System Applications
Verification Results for ISO FTAM Basic Protocol
....................................................................223
R. Lai, T.S. Dillon, La Trobe University and
КЛ.
Parker, CSIRO
Automated Verification of Equivalence of Protocol Machines
..................................................235
T. Higashino, Osaka University, K. Ninomiya, Daikin Industries,
T. Kimoto, K. Taniguchi, Osaka University and M. Mori, Shiga University
Including a Queue in a Formal-Description-Driven Protocol Performance
............................247
Analysis
J.
Gustafsson
and H.
Rudin,
IBM Zurich Research Laboratory
Session
6:
Tool Environments
On Executable Specifications, Validation, and Testing of MAC-Levd Protocols
....................261
P. Gburzynslri and P. Rudnicki, University of Alberta
LOTOS Tools Based on the Cornell Synthesizer Generator
......................................................275
P. van Eijk, University ofTwente
A Semantics Based Verification Tool for Finite State Systems
..................................................287
R. Cteaveland, University of Sussex, J. Parrow, SICS, and B.
Steffen,
University of Edinburgh
A Software Environment for
OSI
Protocol Testing Systems
.....................................................303
RX Chan, B.R. Smith, G.
Neufeld,
S.T. Chanson, S.T. Vuong, ILL. See, S. Chan,
University of British Columbia and WJB. Davis, Idacom Electronics Ltd.
Session
7:
Verification by State Space Exploration
Validating SDL Specifications: an Experiment
_______.........„..............................„..................317
G
J.
Holzmann,
AT&T Bell Laboratories
Dynamic State Exploration in Quantitive Protocol Analysis
.....................................................327
M.-S. Chen, IBM TJ. Watson Research Centre and
DD. Dimitrijcvic,
Poty
technical University New York
Parallel Protocol Verification: The Two-Phase Algorithm
--------.............................................339
M.C. Yuang, Bell Communications Research and A. Kershenbaum, Polytechnical University
New York
|
| any_adam_object | 1 |
| author_GND | (DE-588)123063272 |
| building | Verbundindex |
| bvnumber | BV012527400 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.5 |
| callnumber-search | TK5105.5 |
| callnumber-sort | TK 45105.5 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_tum | DAT 256f DAT 252f |
| ctrlnum | (OCoLC)26364238 (DE-599)BVBBV012527400 |
| dewey-full | 004.62 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.62 |
| dewey-search | 004.62 |
| dewey-sort | 14.62 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02351nam a2200553 c 4500</leader><controlfield tag="001">BV012527400</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990426 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990426s1990 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444883436</subfield><subfield code="9">0-444-88343-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26364238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012527400</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 256f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing, and verification IX</subfield><subfield code="b">proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989</subfield><subfield code="c">ed. by Ed Brinksma</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 401 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers - Networks - Protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computernetwerken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LOTOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocoles de réseaux d'ordinateurs - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocollen (informatica)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">environnement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">espace état</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage spécification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">specification système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système ouvert</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test conformité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brinksma, Ed</subfield><subfield code="d">1957-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123063272</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1003417-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Symposium on Protocol Specification, Testing, and Verification</subfield><subfield code="n">9</subfield><subfield code="d">1989</subfield><subfield code="c">Enschede</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5044578-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=008505142&sequence=000002&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-008505142</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012527400 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:29:08Z |
| institution | BVB |
| institution_GND | (DE-588)1003417-1 (DE-588)5044578-9 |
| isbn | 0444883436 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008505142 |
| oclc_num | 26364238 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XV, 401 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 ed. by Ed Brinksma Amsterdam [u.a.] North-Holland 1990 XV, 401 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Computers - Networks - Protocols Computernetwerken gtt LOTOS inriac Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt environnement logiciel inriac espace état inriac langage spécification inriac logique temporelle inriac méthode formelle inriac specification système inriac spécification protocole inriac système ouvert inriac test conformité inriac vérification inriac Computer network protocols Congresses (DE-588)1071861417 Konferenzschrift gnd-content Brinksma, Ed 1957- Sonstige (DE-588)123063272 oth International Federation for Information Processing Sonstige (DE-588)1003417-1 oth International Symposium on Protocol Specification, Testing, and Verification 9 1989 Enschede Sonstige (DE-588)5044578-9 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008505142&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 Computers - Networks - Protocols Computernetwerken gtt LOTOS inriac Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt environnement logiciel inriac espace état inriac langage spécification inriac logique temporelle inriac méthode formelle inriac specification système inriac spécification protocole inriac système ouvert inriac test conformité inriac vérification inriac Computer network protocols Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 |
| title_auth | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 |
| title_exact_search | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 |
| title_full | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 ed. by Ed Brinksma |
| title_fullStr | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 ed. by Ed Brinksma |
| title_full_unstemmed | Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 ed. by Ed Brinksma |
| title_short | Protocol specification, testing, and verification IX |
| title_sort | protocol specification testing and verification ix proceedings of the ifip wg 6 1 ninth international symposium on protocol specification testing and verification enschede the netherlands 6 9 june 1989 |
| title_sub | proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989 |
| topic | Computers - Networks - Protocols Computernetwerken gtt LOTOS inriac Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt environnement logiciel inriac espace état inriac langage spécification inriac logique temporelle inriac méthode formelle inriac specification système inriac spécification protocole inriac système ouvert inriac test conformité inriac vérification inriac Computer network protocols Congresses |
| topic_facet | Computers - Networks - Protocols Computernetwerken LOTOS Protocoles de réseaux d'ordinateurs - Congrès Protocollen (informatica) environnement logiciel espace état langage spécification logique temporelle méthode formelle specification système spécification protocole système ouvert test conformité vérification Computer network protocols Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008505142&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT brinksmaed protocolspecificationtestingandverificationixproceedingsoftheifipwg61ninthinternationalsymposiumonprotocolspecificationtestingandverificationenschedethenetherlands69june1989 AT internationalfederationforinformationprocessing protocolspecificationtestingandverificationixproceedingsoftheifipwg61ninthinternationalsymposiumonprotocolspecificationtestingandverificationenschedethenetherlands69june1989 AT internationalsymposiumonprotocolspecificationtestingandverificationenschede protocolspecificationtestingandverificationixproceedingsoftheifipwg61ninthinternationalsymposiumonprotocolspecificationtestingandverificationenschedethenetherlands69june1989 |