From peer to service, from service to peer: object-oriented protocol refinement in kannel
Abstract: "The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protoc...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
1996
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9623 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Abstract: "The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The characteristics of the refinement are formalized, and an example is given showing how the method can be applied in practical protocol development. The object-oriented language Kannel is introduced as an advanced tool for protocol engineering providing special support for the refinement technique." |
| Beschreibung: | II, 41 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011109101 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 961202s1996 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 948530979 |2 DE-101 | |
| 035 | |a (OCoLC)37940083 | ||
| 035 | |a (DE-599)BVBBV011109101 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9623 | ||
| 100 | 1 | |a Granö, Kari |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a From peer to service, from service to peer |b object-oriented protocol refinement in kannel |c Kari Granö ; Jukka Paakki |
| 264 | 1 | |a München |c 1996 | |
| 300 | |a II, 41 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9623 | |
| 520 | 3 | |a Abstract: "The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The characteristics of the refinement are formalized, and an example is given showing how the method can be applied in practical protocol development. The object-oriented language Kannel is introduced as an advanced tool for protocol engineering providing special support for the refinement technique." | |
| 650 | 4 | |a Computer network protocols | |
| 650 | 4 | |a Digital communications | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Software engineering | |
| 700 | 1 | |a Paakki, Jukka |e Verfasser |4 aut | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9623 |w (DE-604)BV006185376 |9 9623 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007443161&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007443161 | |
Datensatz im Suchindex
| _version_ | 1807865429068087296 |
|---|---|
| adam_text |
CONTENTS
CONTENTS
1
INTRODUCTION
1
2
THE
NOTION
OF
PROTOCOL
REFINEMENT
2
3
FORMAL
PROPERTIES
OF
PROTOCOL
REFINEMENT
4
3.1
POSSIBLE
SOLUTIONS
.
.
.
4
3.2
DEFINITIONS
.
6
3.3
REFINEMENTS
AS
LATTICES
.
9
4
OBJECT-ORIENTED
PROTOCOL
REFINEMENT
IN
KANNEL
11
4
1
BRIEF
INTRODUCTION
TO
KANNEL
.
12
4
2
A
HIGH-LEVEL
SPECIFICATION
OF
WEATHERSYATEM
.
13
4.3
THE
REFINEMENT
OF
GENENCJ/S
.
17
4.3.1
BRANCH
PROCESS
REFINEMENT
.
17
4.3.2
LEAF
PROCESS
REFINEMENT
.
18
4.3.3
REUSE
OF
LEAF
PROCESSES
.
20
4.4
DISCUSSION
.
20
5
CONCLUSIONS
22
A
DETAILED
SUMMARY
OF
KANNEL
EXTENSIONS
25
A.L
OVERVIEW
.
25
A.2
CHANGES
TO
PROCESSES
.
25
A.
2.1
ASSOCIATION
REFINEMENT
.
29
A.
2.2
REUSE
OF
LEAF
PROCESSES
.
.
32
A.
2.3
MESSAGE
PRIORITIES
.
33
A.
2.4
ROUTERS
.
34
A.
2.5
CONSIDERATIONS
ON
NIL
AND
ELSE
.
38
A.
3
CHANGES
TO
LOCAL
CLASSES
.
38
A.
4
SUMMARY
OF
NEW
KEYWORDS
.
39
B
SOURCE
CODE
FOR
THE
WEATHER
SYSTEM
SPECIFICATION
40 |
| any_adam_object | 1 |
| author | Granö, Kari Paakki, Jukka |
| author_facet | Granö, Kari Paakki, Jukka |
| author_role | aut aut |
| author_sort | Granö, Kari |
| author_variant | k g kg j p jp |
| building | Verbundindex |
| bvnumber | BV011109101 |
| ctrlnum | (OCoLC)37940083 (DE-599)BVBBV011109101 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011109101</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961202s1996 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948530979</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37940083</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011109101</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9623</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Granö, Kari</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From peer to service, from service to peer</subfield><subfield code="b">object-oriented protocol refinement in kannel</subfield><subfield code="c">Kari Granö ; Jukka Paakki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">II, 41 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="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9623</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The characteristics of the refinement are formalized, and an example is given showing how the method can be applied in practical protocol development. The object-oriented language Kannel is introduced as an advanced tool for protocol engineering providing special support for the refinement technique."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital communications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paakki, Jukka</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9623</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9623</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=007443161&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007443161</subfield></datafield></record></collection> |
| id | DE-604.BV011109101 |
| illustrated | Illustrated |
| indexdate | 2024-08-20T00:47:05Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007443161 |
| oclc_num | 37940083 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | II, 41 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Granö, Kari Verfasser aut From peer to service, from service to peer object-oriented protocol refinement in kannel Kari Granö ; Jukka Paakki München 1996 II, 41 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9623 Abstract: "The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The characteristics of the refinement are formalized, and an example is given showing how the method can be applied in practical protocol development. The object-oriented language Kannel is introduced as an advanced tool for protocol engineering providing special support for the refinement technique." Computer network protocols Digital communications Object-oriented programming (Computer science) Software engineering Paakki, Jukka Verfasser aut Technische Universität <München>: TUM-I 9623 (DE-604)BV006185376 9623 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007443161&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Granö, Kari Paakki, Jukka From peer to service, from service to peer object-oriented protocol refinement in kannel Technische Universität <München>: TUM-I Computer network protocols Digital communications Object-oriented programming (Computer science) Software engineering |
| title | From peer to service, from service to peer object-oriented protocol refinement in kannel |
| title_auth | From peer to service, from service to peer object-oriented protocol refinement in kannel |
| title_exact_search | From peer to service, from service to peer object-oriented protocol refinement in kannel |
| title_full | From peer to service, from service to peer object-oriented protocol refinement in kannel Kari Granö ; Jukka Paakki |
| title_fullStr | From peer to service, from service to peer object-oriented protocol refinement in kannel Kari Granö ; Jukka Paakki |
| title_full_unstemmed | From peer to service, from service to peer object-oriented protocol refinement in kannel Kari Granö ; Jukka Paakki |
| title_short | From peer to service, from service to peer |
| title_sort | from peer to service from service to peer object oriented protocol refinement in kannel |
| title_sub | object-oriented protocol refinement in kannel |
| topic | Computer network protocols Digital communications Object-oriented programming (Computer science) Software engineering |
| topic_facet | Computer network protocols Digital communications Object-oriented programming (Computer science) Software engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007443161&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT granokari frompeertoservicefromservicetopeerobjectorientedprotocolrefinementinkannel AT paakkijukka frompeertoservicefromservicetopeerobjectorientedprotocolrefinementinkannel |