Abstract communication model for distributed systems
In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-leve...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 2004-07, Vol.30 (7), p.458-472 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 472 |
|---|---|
| container_issue | 7 |
| container_start_page | 458 |
| container_title | IEEE transactions on software engineering |
| container_volume | 30 |
| creator | Glasser, U. Gurevich, Y. Veanes, M. |
| description | In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-level communication model where abstract communicators represent various nets and subnets. The model was originally developed in the process of specifying a particular network architecture, namely, the Universal Plug and Play architecture. But, it is general. Our contention is that every message-based distributed system, properly abstracted, gives rise to a specialization of our abstract communication model. The purpose of the abstract communication model is not to design a new kind of network; rather, it is to discover the common part of all message-based communication networks. The generality of the model has been confirmed by its successful reuse for very different distributed architectures. The model is based on distributed abstract state machines. It is implemented in the specification language AsmL and is used for testing distributed systems. |
| doi_str_mv | 10.1109/TSE.2004.25 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_TSE_2004_25</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1318607</ieee_id><sourcerecordid>659129181</sourcerecordid><originalsourceid>FETCH-LOGICAL-c278t-ea366fbc6d0a3f7601aed5af5df54bce696a7dddcab27bb35be5311a389202133</originalsourceid><addsrcrecordid>eNpF0L9LAzEYxvEgCtbq5OhyuMrVN0nfy2UspVWh4GCdQ37ClV5Tk9zQ_94rFZze5cP7wJeQRwozSkG-br9WMwYwnzG8IhMquaw5MrgmEwDZ1oitvCV3Oe8AAIXACZkvTC5J21LZ2PfDobO6dPFQ9dH5fRViqlw3gs4Mxbsqn3Lxfb4nN0Hvs3_4u1PyvV5tl-_15vPtY7nY1JaJttRe86YJxjYONA-iAaq9Qx3QBZwb6xvZaOGcs9owYQxH45FTqnkrGTDK-ZQ8X_4eU_wZfC5qF4d0GCcVlYiCAjujlwuyKeacfFDH1PU6nRQFda6ixirqXEUxHPXTRXfe-3_JaduA4L9AiF4F</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195571023</pqid></control><display><type>article</type><title>Abstract communication model for distributed systems</title><source>IEEE Electronic Library (IEL)</source><creator>Glasser, U. ; Gurevich, Y. ; Veanes, M.</creator><creatorcontrib>Glasser, U. ; Gurevich, Y. ; Veanes, M.</creatorcontrib><description>In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-level communication model where abstract communicators represent various nets and subnets. The model was originally developed in the process of specifying a particular network architecture, namely, the Universal Plug and Play architecture. But, it is general. Our contention is that every message-based distributed system, properly abstracted, gives rise to a specialization of our abstract communication model. The purpose of the abstract communication model is not to design a new kind of network; rather, it is to discover the common part of all message-based communication networks. The generality of the model has been confirmed by its successful reuse for very different distributed architectures. The model is based on distributed abstract state machines. It is implemented in the specification language AsmL and is used for testing distributed systems.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/TSE.2004.25</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Abstract state machines ; Alliances ; Communication ; Communication networks ; communication protocols ; Computer architecture ; computer networks ; Context modeling ; Design ; Distributed control systems ; distributed systems ; Documentation ; Language ; Mobile communication ; Plugs ; Programming ; Protocols ; requirement specification ; Semantics ; Software development ; Software engineering ; Specialization ; Specification languages ; Specifications ; system modeling ; System testing ; testing of distributed systems</subject><ispartof>IEEE transactions on software engineering, 2004-07, Vol.30 (7), p.458-472</ispartof><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jul 2004</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c278t-ea366fbc6d0a3f7601aed5af5df54bce696a7dddcab27bb35be5311a389202133</citedby><cites>FETCH-LOGICAL-c278t-ea366fbc6d0a3f7601aed5af5df54bce696a7dddcab27bb35be5311a389202133</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1318607$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27903,27904,54736</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1318607$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Glasser, U.</creatorcontrib><creatorcontrib>Gurevich, Y.</creatorcontrib><creatorcontrib>Veanes, M.</creatorcontrib><title>Abstract communication model for distributed systems</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-level communication model where abstract communicators represent various nets and subnets. The model was originally developed in the process of specifying a particular network architecture, namely, the Universal Plug and Play architecture. But, it is general. Our contention is that every message-based distributed system, properly abstracted, gives rise to a specialization of our abstract communication model. The purpose of the abstract communication model is not to design a new kind of network; rather, it is to discover the common part of all message-based communication networks. The generality of the model has been confirmed by its successful reuse for very different distributed architectures. The model is based on distributed abstract state machines. It is implemented in the specification language AsmL and is used for testing distributed systems.</description><subject>Abstract state machines</subject><subject>Alliances</subject><subject>Communication</subject><subject>Communication networks</subject><subject>communication protocols</subject><subject>Computer architecture</subject><subject>computer networks</subject><subject>Context modeling</subject><subject>Design</subject><subject>Distributed control systems</subject><subject>distributed systems</subject><subject>Documentation</subject><subject>Language</subject><subject>Mobile communication</subject><subject>Plugs</subject><subject>Programming</subject><subject>Protocols</subject><subject>requirement specification</subject><subject>Semantics</subject><subject>Software development</subject><subject>Software engineering</subject><subject>Specialization</subject><subject>Specification languages</subject><subject>Specifications</subject><subject>system modeling</subject><subject>System testing</subject><subject>testing of distributed systems</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2004</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><sourceid>8G5</sourceid><sourceid>BENPR</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNpF0L9LAzEYxvEgCtbq5OhyuMrVN0nfy2UspVWh4GCdQ37ClV5Tk9zQ_94rFZze5cP7wJeQRwozSkG-br9WMwYwnzG8IhMquaw5MrgmEwDZ1oitvCV3Oe8AAIXACZkvTC5J21LZ2PfDobO6dPFQ9dH5fRViqlw3gs4Mxbsqn3Lxfb4nN0Hvs3_4u1PyvV5tl-_15vPtY7nY1JaJttRe86YJxjYONA-iAaq9Qx3QBZwb6xvZaOGcs9owYQxH45FTqnkrGTDK-ZQ8X_4eU_wZfC5qF4d0GCcVlYiCAjujlwuyKeacfFDH1PU6nRQFda6ixirqXEUxHPXTRXfe-3_JaduA4L9AiF4F</recordid><startdate>200407</startdate><enddate>200407</enddate><creator>Glasser, U.</creator><creator>Gurevich, Y.</creator><creator>Veanes, M.</creator><general>IEEE</general><general>IEEE Computer Society</general><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>200407</creationdate><title>Abstract communication model for distributed systems</title><author>Glasser, U. ; Gurevich, Y. ; Veanes, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c278t-ea366fbc6d0a3f7601aed5af5df54bce696a7dddcab27bb35be5311a389202133</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Abstract state machines</topic><topic>Alliances</topic><topic>Communication</topic><topic>Communication networks</topic><topic>communication protocols</topic><topic>Computer architecture</topic><topic>computer networks</topic><topic>Context modeling</topic><topic>Design</topic><topic>Distributed control systems</topic><topic>distributed systems</topic><topic>Documentation</topic><topic>Language</topic><topic>Mobile communication</topic><topic>Plugs</topic><topic>Programming</topic><topic>Protocols</topic><topic>requirement specification</topic><topic>Semantics</topic><topic>Software development</topic><topic>Software engineering</topic><topic>Specialization</topic><topic>Specification languages</topic><topic>Specifications</topic><topic>system modeling</topic><topic>System testing</topic><topic>testing of distributed systems</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Glasser, U.</creatorcontrib><creatorcontrib>Gurevich, Y.</creatorcontrib><creatorcontrib>Veanes, M.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health & Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Health & Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health & Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>Research Library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Glasser, U.</au><au>Gurevich, Y.</au><au>Veanes, M.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Abstract communication model for distributed systems</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>2004-07</date><risdate>2004</risdate><volume>30</volume><issue>7</issue><spage>458</spage><epage>472</epage><pages>458-472</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-level communication model where abstract communicators represent various nets and subnets. The model was originally developed in the process of specifying a particular network architecture, namely, the Universal Plug and Play architecture. But, it is general. Our contention is that every message-based distributed system, properly abstracted, gives rise to a specialization of our abstract communication model. The purpose of the abstract communication model is not to design a new kind of network; rather, it is to discover the common part of all message-based communication networks. The generality of the model has been confirmed by its successful reuse for very different distributed architectures. The model is based on distributed abstract state machines. It is implemented in the specification language AsmL and is used for testing distributed systems.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TSE.2004.25</doi><tpages>15</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 2004-07, Vol.30 (7), p.458-472 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_TSE_2004_25 |
| source | IEEE Electronic Library (IEL) |
| subjects | Abstract state machines Alliances Communication Communication networks communication protocols Computer architecture computer networks Context modeling Design Distributed control systems distributed systems Documentation Language Mobile communication Plugs Programming Protocols requirement specification Semantics Software development Software engineering Specialization Specification languages Specifications system modeling System testing testing of distributed systems |
| title | Abstract communication model for distributed systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T05%3A38%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Abstract%20communication%20model%20for%20distributed%20systems&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Glasser,%20U.&rft.date=2004-07&rft.volume=30&rft.issue=7&rft.spage=458&rft.epage=472&rft.pages=458-472&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/TSE.2004.25&rft_dat=%3Cproquest_RIE%3E659129181%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195571023&rft_id=info:pmid/&rft_ieee_id=1318607&rfr_iscdi=true |