Modeling and analysis of communicating systems
Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distr...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Massachusetts
The MIT Press
[2014]
|
| Online-Zugang: | MIT Press |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000cam a2200000Ki 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-9946 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073423.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141030s2014 maua ob 001 0 eng d | ||
| 020 | |a 0262321033 | ||
| 020 | |a 9780262321037 | ||
| 024 | 3 | |a 9780262321037 | |
| 100 | 1 | |a Groote, J. F. |d 1965- | |
| 245 | 1 | 0 | |a Modeling and analysis of communicating systems |c Jan Friso Groote and Mohammad Reza Mousavi |
| 264 | 1 | |a Cambridge, Massachusetts |b The MIT Press |c [2014] | |
| 300 | |a 1 Online-Ressource (xvi, 376 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | 8 | |a Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions. | |
| 700 | 1 | |a Mousavi, Mohammad Reza |d 1978- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262027712 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262027717 |
| 856 | 4 | 0 | |l TUM01 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/9946.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-9946 |
|---|---|
| _version_ | 1818768153065291776 |
| adam_text | |
| any_adam_object | |
| author | Groote, J. F. 1965- |
| author2 | Mousavi, Mohammad Reza 1978- |
| author2_role | |
| author2_variant | m r m mr mrm |
| author_facet | Groote, J. F. 1965- Mousavi, Mohammad Reza 1978- |
| author_role | |
| author_sort | Groote, J. F. 1965- |
| author_variant | j f g jf jfg |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| doi_str_mv | 10.7551/mitpress/9946.001.0001 |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02506cam a2200289Ki 4500</leader><controlfield tag="001">ZDB-260-MPOB-9946</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073423.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">141030s2014 maua ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262321033</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262321037</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780262321037</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Groote, J. F.</subfield><subfield code="d">1965-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling and analysis of communicating systems</subfield><subfield code="c">Jan Friso Groote and Mohammad Reza Mousavi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts</subfield><subfield code="b">The MIT Press</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 376 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mousavi, Mohammad Reza</subfield><subfield code="d">1978-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262027712</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262027717</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">TUM01</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/9946.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-9946 |
| illustrated | Illustrated |
| indexdate | 2024-12-18T09:01:15Z |
| institution | BVB |
| isbn | 0262321033 9780262321037 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xvi, 376 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | The MIT Press |
| record_format | marc |
| spelling | Groote, J. F. 1965- Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi Cambridge, Massachusetts The MIT Press [2014] 1 Online-Ressource (xvi, 376 Seiten) Illustrationen txt c cr Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions. Mousavi, Mohammad Reza 1978- Erscheint auch als Druck-Ausgabe 0262027712 Erscheint auch als Druck-Ausgabe 9780262027717 TUM01 ZDB-260-MPOB TUM_PDA_MPOB MIT Press https://doi.org/10.7551/mitpress/9946.001.0001?locatt=mode:legacy Volltext |
| spellingShingle | Groote, J. F. 1965- Modeling and analysis of communicating systems |
| title | Modeling and analysis of communicating systems |
| title_auth | Modeling and analysis of communicating systems |
| title_exact_search | Modeling and analysis of communicating systems |
| title_full | Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi |
| title_fullStr | Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi |
| title_full_unstemmed | Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi |
| title_short | Modeling and analysis of communicating systems |
| title_sort | modeling and analysis of communicating systems |
| url | https://doi.org/10.7551/mitpress/9946.001.0001?locatt=mode:legacy |
| work_keys_str_mv | AT grootejf modelingandanalysisofcommunicatingsystems AT mousavimohammadreza modelingandanalysisofcommunicatingsystems |