A simple toy example of a distributed system: on the design of a connecting switch
Abstract: "In this paper the development life-cycle of a design method for distributed systems is explained in close connection with the example of the connecting switch. A connecting switch is a system where stations may get connected, may then send actions, and may get disconnected; it exhibi...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1991
|
| Schriftenreihe: | Technische Universität <München>: TUM
9138 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In this paper the development life-cycle of a design method for distributed systems is explained in close connection with the example of the connecting switch. A connecting switch is a system where stations may get connected, may then send actions, and may get disconnected; it exhibits the behaviour of a very simple protocol. A development life-cycle commonly includes four phases: (1) requirement specification; (2) design specification; (3) abstract program design; (4) concrete program design. This requires collecting various description formalisms into one design method. Each transition of one phase to a more concrete one is giuded by a design decision; each verification of the corresponding transition result remains as proof obligation By the case study of a connecting switch the application of the design method will be demonstrated by treating this example within all four phases in order to make the design method more transparent. |
| Beschreibung: | 42 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008993489 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28296051 | ||
| 035 | |a (DE-599)BVBBV008993489 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Gritzner, Thomas F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A simple toy example of a distributed system |b on the design of a connecting switch |c Thomas F. Gritzner |
| 264 | 1 | |a München |c 1991 | |
| 300 | |a 42 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM |v 9138 | |
| 520 | 3 | |a Abstract: "In this paper the development life-cycle of a design method for distributed systems is explained in close connection with the example of the connecting switch. A connecting switch is a system where stations may get connected, may then send actions, and may get disconnected; it exhibits the behaviour of a very simple protocol. A development life-cycle commonly includes four phases: (1) requirement specification; (2) design specification; (3) abstract program design; (4) concrete program design. This requires collecting various description formalisms into one design method. Each transition of one phase to a more concrete one is giuded by a design decision; each verification of the corresponding transition result remains as proof obligation | |
| 520 | 3 | |a By the case study of a connecting switch the application of the design method will be demonstrated by treating this example within all four phases in order to make the design method more transparent. | |
| 650 | 4 | |a Distributed parameter systems | |
| 830 | 0 | |a Technische Universität <München>: TUM |v 9138 |w (DE-604)BV006185376 |9 9138 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005942254 | ||
Datensatz im Suchindex
| _version_ | 1804123336026882048 |
|---|---|
| any_adam_object | |
| author | Gritzner, Thomas F. |
| author_facet | Gritzner, Thomas F. |
| author_role | aut |
| author_sort | Gritzner, Thomas F. |
| author_variant | t f g tf tfg |
| building | Verbundindex |
| bvnumber | BV008993489 |
| ctrlnum | (OCoLC)28296051 (DE-599)BVBBV008993489 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01875nam a2200301 cb4500</leader><controlfield tag="001">BV008993489</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28296051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008993489</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gritzner, Thomas F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A simple toy example of a distributed system</subfield><subfield code="b">on the design of a connecting switch</subfield><subfield code="c">Thomas F. Gritzner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 S.</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</subfield><subfield code="v">9138</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper the development life-cycle of a design method for distributed systems is explained in close connection with the example of the connecting switch. A connecting switch is a system where stations may get connected, may then send actions, and may get disconnected; it exhibits the behaviour of a very simple protocol. A development life-cycle commonly includes four phases: (1) requirement specification; (2) design specification; (3) abstract program design; (4) concrete program design. This requires collecting various description formalisms into one design method. Each transition of one phase to a more concrete one is giuded by a design decision; each verification of the corresponding transition result remains as proof obligation</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">By the case study of a connecting switch the application of the design method will be demonstrated by treating this example within all four phases in order to make the design method more transparent.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Distributed parameter systems</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM</subfield><subfield code="v">9138</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9138</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005942254</subfield></datafield></record></collection> |
| id | DE-604.BV008993489 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:09Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005942254 |
| oclc_num | 28296051 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 42 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Technische Universität <München>: TUM |
| series2 | Technische Universität <München>: TUM |
| spelling | Gritzner, Thomas F. Verfasser aut A simple toy example of a distributed system on the design of a connecting switch Thomas F. Gritzner München 1991 42 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM 9138 Abstract: "In this paper the development life-cycle of a design method for distributed systems is explained in close connection with the example of the connecting switch. A connecting switch is a system where stations may get connected, may then send actions, and may get disconnected; it exhibits the behaviour of a very simple protocol. A development life-cycle commonly includes four phases: (1) requirement specification; (2) design specification; (3) abstract program design; (4) concrete program design. This requires collecting various description formalisms into one design method. Each transition of one phase to a more concrete one is giuded by a design decision; each verification of the corresponding transition result remains as proof obligation By the case study of a connecting switch the application of the design method will be demonstrated by treating this example within all four phases in order to make the design method more transparent. Distributed parameter systems Technische Universität <München>: TUM 9138 (DE-604)BV006185376 9138 |
| spellingShingle | Gritzner, Thomas F. A simple toy example of a distributed system on the design of a connecting switch Technische Universität <München>: TUM Distributed parameter systems |
| title | A simple toy example of a distributed system on the design of a connecting switch |
| title_auth | A simple toy example of a distributed system on the design of a connecting switch |
| title_exact_search | A simple toy example of a distributed system on the design of a connecting switch |
| title_full | A simple toy example of a distributed system on the design of a connecting switch Thomas F. Gritzner |
| title_fullStr | A simple toy example of a distributed system on the design of a connecting switch Thomas F. Gritzner |
| title_full_unstemmed | A simple toy example of a distributed system on the design of a connecting switch Thomas F. Gritzner |
| title_short | A simple toy example of a distributed system |
| title_sort | a simple toy example of a distributed system on the design of a connecting switch |
| title_sub | on the design of a connecting switch |
| topic | Distributed parameter systems |
| topic_facet | Distributed parameter systems |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT gritznerthomasf asimpletoyexampleofadistributedsystemonthedesignofaconnectingswitch |