Professor Manfred Broy | Drei neue wissenschaftliche Publikationen zu verteilten Systemen, interaktiven Systemen und formalen Methoden in der Informatikausbildung

<!DOCTYPE html> <html lang="de"> <head> <meta charset="utf-8">  <title>Professor Manfred Broy | Drei neue wissenschaftliche Publikationen zu verteilten Systemen, interaktiven Systemen und formalen Methoden in der Informatikausbildung - TUM Emeriti of Excellence</title> <meta name="generator" content="TYPO3 CMS"> <meta name="description" content="Prof. Manfred Broy, emeritierter Ordinarius für Software & Systems Engineering der TUM, hat kürzlich drei neue wissenschaftliche Publikationen veröffentlicht. Diese befassen sich mit der Theorie, Anwendung und Ausbildung im Bereich der Informatik und Softwareentwicklung."> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta property="og:title" content="Professor Manfred Broy | Drei neue wissenschaftliche Publikationen zu verteilten Systemen, interaktiven Systemen und formalen Methoden in der Informatikausbildung"> <meta property="og:type" content="article"> <meta property="og:url" content="https://www.emeriti-of-excellence.tum.de/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/"> <meta property="og:image" content="https://www.emeriti-of-excellence.tum.de/fileadmin/w00bpl/www/Bilder_Professorenportraits/Broy_70_.jpg"> <meta property="og:image:width" content="604"> <meta property="og:image:height" content="693"> <meta property="og:description" content="Prof. Manfred Broy, emeritierter Ordinarius für Software & Systems Engineering der TUM, hat kürzlich drei neue wissenschaftliche Publikationen veröffentlicht. Diese befassen sich mit der Theorie, Anwendung und Ausbildung im Bereich der Informatik und Softwareentwicklung."> <meta name="twitter:card" content="summary_large_image"> <meta name="twitter:title" content="News single View"> <link rel="stylesheet" href="/typo3temp/assets/compressed/7015c8c4ac5ff815b57530b221005fc6-81aa13b7617064168def3e0b8b591811.css?1731943416" media="all" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg"> <link rel="stylesheet" href="/typo3temp/assets/compressed/tum-icons.min-e1386ea194eb5f10384103fa8f83c6dc.css?1731943416" media="all" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg"> <link href="/_frontend/sitetum/bundled/assets/main-Dm8ARQaP.css?1731942350" rel="stylesheet" > <link href="/_frontend/sitetum/bundled/assets/news-single-Q1EqhhBF.css?1731942350" rel="stylesheet" > <link href="/_frontend/sitetum/bundled/assets/fancybox-DbQ_QtAD.css?1731942350" rel="stylesheet" > <script nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg"> /*<![CDATA[*/ var TYPO3 = Object.assign(TYPO3 || {}, Object.fromEntries(Object.entries({"settings":{"TS":{"m2cCookieLifetime":"7"}}}).filter((entry) => !['__proto__', 'prototype', 'constructor'].includes(entry[0])))); /*]]>*/ </script> <script nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg">let TUM = { hp: "/eoe/startseite/", pid: 121, lid: 0, search: { box: 1, path: "/eoe/suche/" }, video: [], loadOnce: {} }; document.querySelector('html').classList.remove('no-js'); document.querySelector('html').classList.add('js');</script> <link rel="apple-touch-icon" sizes="180x180" href="/_frontend/favicon/apple-touch-icon.png"> <link rel="icon" type="image/png" href="/_frontend/favicon/favicon-32x32.png" sizes="32x32"> <link rel="icon" type="image/png" href="/_frontend/favicon/favicon-16x16.png" sizes="16x16"> <link rel="manifest" href="/_frontend/favicon/manifest.json"> <link rel="mask-icon" href="/_frontend/favicon/safari-pinned-tab.svg" color="#ffffff"> <link rel="shortcut icon" href="/_frontend/favicon/favicon.ico"> <meta name="theme-color" content="#ffffff"><script data-ignore="1" data-cookieconsent="statistics" type="text/plain"></script> <link rel="canonical" href="https://www.emeriti-of-excellence.tum.de/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/"/> <link rel="alternate" hreflang="de-DE" href="https://www.emeriti-of-excellence.tum.de/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/"/> <link rel="alternate" hreflang="en-US" href="https://www.emeriti-of-excellence.tum.de/en/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/"/> <link rel="alternate" hreflang="x-default" href="https://www.emeriti-of-excellence.tum.de/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/"/> </head> <body class="" data-pid="121"> <header> <div id="topbar" class="c-topbar py-1"> <div class="container"> <a class="c-skiplink" id="skipnav" href="#content" title="Zum Inhalt springen" aria-label="Zum Inhalt springen" > Zum Inhalt springen </a> <div class="d-flex justify-content-md-end justify-content-between"> <div class="d-flex"> <div class="c-languagenav"> <ul class="list-inline c-languagenav__list"> <li class="list-inline-item c-languagenav__item"> <strong> <abbr lang="de" title="Deutsch">de</abbr> </strong> </li> <li class="list-inline-item c-languagenav__item"> <a class="c-languagenav__link" href="/en/eoe/news-single-view/article/professor-manfred-broy-drei-neue-wissenschaftliche-publikationen-zu-verteilten-systemen-interaktiven-systemen-und-formalen-methoden-in-der-informatikausbildung/" hreflang="en-US"> <abbr lang="en" title="English">en</abbr> </a> </li> </ul> </div> <div class="c-global-search"> <button class="btn c-global-search__toggle js-search-toggle" data-testid="search-dialog-opener" type="button" aria-controls="global-search-overlay" aria-haspopup="dialog" > <span>Google Suche</span> <svg width="18px" height="18px" viewBox="-2 -2 20 20"> <path transform="translate(-1015.000000, -9.000000)" stroke-width="1" stroke="currentColor" fill="currentColor" d="M1015,16 C1015,19.866 1018.134,23.001 1022,23.001 C1023.753,23.001 1025.351,22.352 1026.579,21.287 L1032,26.707 L1032.707,26.001 L1027.286,20.58 C1028.351,19.352 1029,17.753 1029,16 C1029,12.134 1025.866,9 1022,9 C1018.134,9 1015,12.134 1015,16 L1015,16 Z M1016,16 C1016,12.692 1018.692,10 1022,10 C1025.308,10 1028,12.692 1028,16 C1028,19.309 1025.308,22 1022,22 C1018.692,22 1016,19.309 1016,16 L1016,16 Z" ></path> </svg> </button> <span class="c-global-search__search"> <span id="cse-stub"></span> </span> </div> </div> <div class="d-md-none"> <button id="menutoggle" class="c-menu-mobile navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#sitenav" aria-expanded="false" title="Navigation öffnen" aria-label="Navigation öffnen"> <span class="navbar-toggler-icon"></span> <span class="c-menu-mobile__text">Menü</span> </button> </div> <template id="global-search-popup"> <dialog id="global-search-overlay" class="c-global-search-overlay js-gsc-dialog px-5 py-4 bg-body shadow" aria-labelledby="global-search-popup-title" aria-describedby="global-search-popup-desc" > <h2 id="global-search-popup-title" class="fs-1 border-0">Google Custom Search</h2> <p id="global-search-popup-desc"> Wir verwenden Google für unsere Suche. Mit Klick auf „Suche aktivieren“ aktivieren Sie das Suchfeld und akzeptieren die Nutzungsbedingungen. </p> <p> <a href="/eoe/datenschutz/#GoogleCustomSearch" title="Datenschutz"> Hinweise zum Einsatz der Google Suche </a> </p> <form method="dialog"> <button class="btn btn-primary c-global-search__button c-global-search__accept js-search-activate js-search-close" type="button" > Suche aktivieren </button> <button class="btn-close position-absolute top-0 end-0 p-2 js-search-close" type="button" aria-label="Popup schliessen" > </button> </form> </dialog> </template> </div> </div> </div> <div class="c-siteorg "> <div class="container c-siteorg__grid"> <div class="nav clearfix"> <ul class="c-siteorg__list"> <li class="l_this"> <a href="/eoe/startseite/" title="Startseite Emeriti of Excellence"> Emeriti of Excellence </a> </li> <li class="l_parent"> TUM Senior Excellence Faculty </li> <li class="l_top"> <a href="https://www.tum.de/" title="Startseite Technische Universität München"> Technische Universität München </a> </li> </ul> </div> <div> <a href="https://www.tum.de/" title="Startseite www.tum.de"> <img src="/_assets/32ebf5255105e66824f82cb2d7e14490/Icons/Org/tum-logo.png?neu" alt="Technische Universität München" width="73" height="38"/> </a> </div> </div> </div> </header> <main id="page-body"> <div class="container c-content-area"> <div class="row"> <div class="col-md-3 col-xl-2 c-content-area__sitenav"> <div class="c-sitenav navbar navbar-expand-md"> <div id="sitenav" class="collapse navbar-collapse"> <nav class="sitemenu c-sitenav__wrapper" aria-label="Hauptnavigation"> <ul id="menuMain" class="accordion c-sitenav__menu" > <li class=""> <a href="/eoe/startseite/" target="_self" title="Startseite"> Startseite </a> </li> <li class=""> <a href="/eoe/aktuelles/" target="_self" title="Aktuelles"> Aktuelles </a> </li> <li class="accordion-item c-sitenav__item"> <a href="/eoe/tum-senior-excellence-faculty/" target="_self" title="TUM Senior Excellence Faculty" class="accordion-header"> TUM Senior Excellence Faculty </a> <button class="accordion-button collapsed c-sitenav__button" type="button" data-bs-toggle="collapse" data-bs-target="#menuMain2" aria-label="Öffne das Untermenü von TUM Senior Excellence Faculty" aria-expanded="false" aria-controls="menuMain2" ></button> <div id="menuMain2" class="accordion-collapse collapse c-sitenav__accordion" > <div class="accordion-body c-sitenav__body"> <ul id="menuMainl1-e2" class="accordion c-sitenav__menu-children" > <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-senior-excellence-faculty/der-ehrentitel/" target="_self" title="Der Ehrentitel"> Der Ehrentitel </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-senior-excellence-faculty/engagement-aktivitaeten/" target="_self" title="Engagement & Aktivitäten"> Engagement & Aktivitäten </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-senior-excellence-faculty/organisation/" target="_self" title="Organisation"> Organisation </a> </li> </ul> </div> </div> </li> <li class="accordion-item c-sitenav__item"> <a href="/eoe/a-z/" target="_self" title="TUM Emeriti of Excellence A-Z" class="accordion-header"> TUM Emeriti of Excellence A-Z </a> <button class="accordion-button collapsed c-sitenav__button" type="button" data-bs-toggle="collapse" data-bs-target="#menuMain3" aria-label="Öffne das Untermenü von TUM Emeriti of Excellence A-Z" aria-expanded="false" aria-controls="menuMain3" ></button> <div id="menuMain3" class="accordion-collapse collapse c-sitenav__accordion" > <div class="accordion-body c-sitenav__body"> <ul id="menuMainl1-e3" class="accordion c-sitenav__menu-children" > <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/a-z/" target="_self" title="A-Z"> A-Z </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-emeriti-of-excellence-a-z/tum-schools/" target="_self" title="TUM Schools"> TUM Schools </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-emeriti-of-excellence-a-z/interviews/" target="_self" title="Interviews"> Interviews </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/tum-emeriti-of-excellence-a-z/in-memoriam/" target="_self" title="In Memoriam"> In Memoriam </a> </li> </ul> </div> </div> </li> <li class="accordion-item c-sitenav__item"> <a href="/eoe/veranstaltungen-initiativen/" target="_self" title="Veranstaltungen & Initiativen" class="accordion-header"> Veranstaltungen & Initiativen </a> <button class="accordion-button collapsed c-sitenav__button" type="button" data-bs-toggle="collapse" data-bs-target="#menuMain4" aria-label="Öffne das Untermenü von Veranstaltungen & Initiativen" aria-expanded="false" aria-controls="menuMain4" ></button> <div id="menuMain4" class="accordion-collapse collapse c-sitenav__accordion" > <div class="accordion-body c-sitenav__body"> <ul id="menuMainl1-e4" class="accordion c-sitenav__menu-children" > <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/symposium-with-novel-nuclear-technolgies-towards-a-greenhouse-gas-free-basic-energy-supply-2024/" target="_self" title="Symposium "With Novel Nuclear Technolgies Towards a Greenhouse Gas-free Basic Energy Supply" | 2024"> Symposium "With Novel Nuclear Technolgies Towards a Greenhouse Gas-free Basic Energy Supply" | 2024 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/engagement-von-eoe-zum-thema-nationalsozialismus/" target="_self" title="Engagement von EoE zur Aufarbeitung des Nationalsozialismus an der THM (heute TUM)"> Engagement von EoE zur Aufarbeitung des Nationalsozialismus an der THM (heute TUM) </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/launch-des-tum-mission-network-circular-economy-27102022/" target="_self" title="Launch des TUM Mission Network „Circular Economy“ | 27.10.2022"> Launch des TUM Mission Network „Circular Economy“ | 27.10.2022 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/symposium-circular-economy-2021/" target="_self" title="Symposium "Circular Economy" | 2021"> Symposium "Circular Economy" | 2021 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/tech-histories-alive-vortragsreihe-letzter-termin-07072022/" target="_self" title="Tech-Histories Alive | Vortragsreihe seit 2018" class="accordion-header c-sitenav__header"> Tech-Histories Alive | Vortragsreihe seit 2018 </a> <button class="accordion-button collapsed c-sitenav__button" type="button" data-bs-toggle="collapse" data-bs-target="#l1-e4-l2-e4" aria-label="Öffne das Untermenü von Tech-Histories Alive | Vortragsreihe seit 2018" aria-expanded="false" aria-controls="l1-e4-l2-e4" > </button> <div id="l1-e4-l2-e4" class="accordion-collapse collapse c-sitenav__accordion" > <div class="accordion-body c-sitenav__body"> <ul id="menuMainl1-e4-l2-e4" class=" c-sitenav__menu-children" > <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/tech-histories-alive-vortragsreihe-letzter-termin-07072022/archiv-von-techhistories/" target="_self" title="Archiv von TechHistories"> Archiv von TechHistories </a> </li> </ul> </div> </div> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/roentgen-symposium-2020-cancelled/" target="_self" title="Symposium "125 Jahre Röntgenstrahlen – ein "Big Bang" für die Wissenschaft" | 2020 (abgesagt wegen Corona-Lockdown)"> Symposium "125 Jahre Röntgenstrahlen – ein "Big Bang" für die Wissenschaft" | 2020 (abgesagt wegen Corona-Lockdown) </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/violated-earth-violent-earth-workshop-buch-2003-22032019/" target="_self" title="Symposium "Violated Earth – Violent Earth" | 2019"> Symposium "Violated Earth – Violent Earth" | 2019 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/afrika-symposium/" target="_self" title="Symposium "Sustainable Development in Afrika" | 16.11.2018"> Symposium "Sustainable Development in Afrika" | 16.11.2018 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/" target="_self" title="Veranstaltungsarchiv" class="accordion-header c-sitenav__header"> Veranstaltungsarchiv </a> <button class="accordion-button collapsed c-sitenav__button" type="button" data-bs-toggle="collapse" data-bs-target="#l1-e4-l2-e8" aria-label="Öffne das Untermenü von Veranstaltungsarchiv" aria-expanded="false" aria-controls="l1-e4-l2-e8" > </button> <div id="l1-e4-l2-e8" class="accordion-collapse collapse c-sitenav__accordion" > <div class="accordion-body c-sitenav__body"> <ul id="menuMainl1-e4-l2-e8" class=" c-sitenav__menu-children" > <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/vortragsreihe-des-mcts/" target="_self" title="Vortragsreihe des MCTS"> Vortragsreihe des MCTS </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/fachtagung-07022013/" target="_self" title="Fachtagung 07.02.2013"> Fachtagung 07.02.2013 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/fachtagung-16062010/" target="_self" title="Fachtagung 16.06.2010"> Fachtagung 16.06.2010 </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/fotoausstellung-neue-bilder-vom-altern/" target="_self" title="Fotoausstellung "Neue Bilder vom Alter(n)""> Fotoausstellung "Neue Bilder vom Alter(n)" </a> </li> <li class="accordion-item c-sitenav__item-children"> <a href="/eoe/veranstaltungen-initiativen/veranstaltungsarchiv/gruendungsveranstaltung-deutsch-chineische-initiative/" target="_self" title="Gründungsveranstaltung Deutsch-Chineische Initiative"> Gründungsveranstaltung Deutsch-Chineische Initiative </a> </li> </ul> </div> </div> </li> </ul> </div> </div> </li> <li class=""> <a href="/eoe/publikationen/" target="_self" title="Publikationen"> Publikationen </a> </li> <li class=""> <a href="/eoe/kontakt/" target="_self" title="Kontakt"> Kontakt </a> </li> </ul> </nav> </div> </div> </div> <div class="col-md-6 col-xl-8 c-content-area__main js-link-checker"> <nav aria-label="Breadcrumbs" class="c-breadcrumb"> </nav> <div id="content" class="c-main"> <div id="c462" class="frame frame-type-news_newsdetail frame-layout-0"> <div class="news news-single news-1061"> <div class="article" itemscope="itemscope" itemtype="http://schema.org/Article"> <div class="header"> <h1 itemprop="headline">Professor Manfred Broy | Drei neue wissenschaftliche Publikationen zu verteilten Systemen, interaktiven Systemen und formalen Methoden in der Informatikausbildung</h1>  <p class="small"> <span class="categories"> Aktuelles, Broy </span> | <time datetime="2024-11-02"> 02.11.2024 <meta itemprop="datePublished" content="2024-11-02"/> </time> </p> </div>  <div class="teaser-text" itemprop="description"> Prof. Manfred Broy, emeritierter Ordinarius für Software & Systems Engineering der TUM, hat kürzlich drei neue wissenschaftliche Publikationen veröffentlicht. Diese befassen sich mit der Theorie, Anwendung und Ausbildung im Bereich der Informatik und Softwareentwicklung. </div> <hr class="cl-right">  <div class="news-single-img"> <figure class="image"> <a href="/fileadmin/w00bpl/www/Bilder_Professorenportraits/Broy_70_.jpg" target="_top" data-fancybox="gallery17414" data-media="(max-width: 520px);(max-width: 767px);(max-width: 1199px);(max-width: 1399px);(min-width: 1400px)" data-sources="/fileadmin/_processed_/1/f/csm_Broy_70__d1666bc3ec.jpg; /fileadmin/_processed_/1/f/csm_Broy_70__bcb9ae3d99.jpg; /fileadmin/w00bpl/www/Bilder_Professorenportraits/Broy_70_.jpg; /fileadmin/w00bpl/www/Bilder_Professorenportraits/Broy_70_.jpg; /fileadmin/w00bpl/www/Bilder_Professorenportraits/Broy_70_.jpg" data-caption="" aria-label="Gallerie öffnen" class="ti ti-link-zoom"> <picture> <source media="(min-width: 1200px)" srcset="/fileadmin/_processed_/1/f/csm_Broy_70__35dc45e7e4.webp" type="image/webp"> <source srcset="/fileadmin/_processed_/1/f/csm_Broy_70__4e1f346886.webp 227w, /fileadmin/_processed_/1/f/csm_Broy_70__b58e848059.webp 481w " sizes="(min-width: 768px) 227px, (min-width: 520px) 656px, calc(100vw - 24px)" type="image/webp"> <img src="/fileadmin/_processed_/1/f/csm_Broy_70__a88e0b2f72.webp" width="604" height="693" alt="" /> </picture> </a> <figcaption class="news-single-imgcaption"></figcaption> </figure> </div>  <div class="news-text-wrap" itemprop="articleBody"> <h5><strong>„Specification and Verification of Concurrent Systems by Causality and Realizability“</strong></h5> <p><i>Theoretical Computer Science, Vol 974(5), August 2023, 114106</i><br>DOI: 10.1016/j.tcs.2023.114106</p> <p>Hinweis: Der Artikel ist über den DOI erreichbar, aber nicht frei zugänglich.</p> <p>Die erste Arbeit behandelt ein fundamentales Thema der Modellierung nebenläufiger, interaktiver nichtdeterministischer Systeme. Eine logische Theorie für die Schnittstellenspezifikation und -verifizierung verteilter, nebenläufiger, interaktiver, nichtdeterministischer Echtzeitsysteme wird auf Basis eines semantischen Modells erarbeitet, das operative und denotationale Semantik umfasst. </p> <p>Sie unterstützt einen Kalkül für die Spezifikation und Verifizierung interaktiver Systeme durch Schnittstellenzusicherungen. Systeme werden so zusammengesetzt, dass sie gleichzeitig agieren und über Ströme interagieren, die über ihre Kanäle ausgetauscht werden und Rückkopplungsschleifen bilden. Eine denotationale Semantik wird definiert, die die Rückkopplungskommunikation durch Rekursion und Fixpunkte auf der Grundlage starker Kausalität und Realisierbarkeit anstelle von Monotonie handhabt. Der resultierende Verifizierungskalkül für die Spezifikationslogik wird als korrekt und relativ vollständig in Bezug auf eine operative Semantik in Form verallgemeinerter Moore-Maschinen nachgewiesen. Tatsächlich werden zwei Modelle nebenläufiger Systeme definiert, ein abstrakteres mit Kommunikation und Interaktion, die durch nicht zeitgesteuerte Ströme modelliert werden, und ein konkreteres, das mit zeitgesteuerten Strömen arbeitet. Das nicht zeitgesteuerte Modell ist eine Abstraktion des zeitgesteuerten Modells. Das zeitgesteuerte Modell ermöglicht es, die Gesetze der Kausalität und Realisierbarkeit auszudrücken. Darüber hinaus können mit dem zeitgesteuerten Modell Echtzeiteigenschaften spezifiziert werden.<br> </p> <h5><strong>„A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems“</strong></h5> <p><i>Formal Aspects of Computing</i>, <u>Vol</u><u> 36:3</u>, 2024, 1-54<br><a href="https://dl.acm.org/doi/pdf/10.1145/3672085" target="_blank" class="ti ti-link-ext" rel="noreferrer"><u>DOI: 10.1145/3672085</u></a></p> <p>In dieser Publikation stellt Manfred Broy das Ergebnis mehrjähriger Forschungsarbeit vor: einen Kalkül, der die Spezifikation, das Design und die Verifikation verteilter Systeme unterstützt. Der Kalkül basiert auf mathematisch fundierten Konzepten und ermöglicht es, Schnittstellenverhalten formal zu beschreiben, Kausalität und Realisierbarkeit zu analysieren sowie zeitkritische Verhaltensweisen zu modellieren. Darüber hinaus bietet er eine Grundlage für die systematische Konstruktion komplexer Architekturen durch die Zusammensetzung von Teilsystemen.</p> <p>Ein zentrales operatives Modell dieses Ansatzes sind generalisierte Moore'sche Maschinen. Diese erlauben eine präzise Analyse von Kausalität und Realisierbarkeit, unabhängig davon, ob der Zustandsraum endlich ist oder nicht. Der Kalkül ist sowohl für ungetimte als auch für getimte Systeme geeignet und wird durch Beispiele illustriert.<br> </p> <h5><strong>„The Role of Formal Methods in Computer Science Education“</strong></h5> <p><i>ACM Inroads</i>, <u>Vol 15:4</u>, 2024, 58-66<br><a href="https://dl.acm.org/doi/pdf/10.1145/3702231?download=true" target="_blank" class="ti ti-link-ext" rel="noreferrer"><u>DOI: 10.1145/3702231</u></a></p> <p>Diese Publikation entstand im Kontext der von ACM (Association for Computing Machinery) und IEEE (Institute of Electrical and Electronics Engineers) angekündigten Überarbeitung der „Computer Science Curricular Guidelines“, die weltweit Standards für Informatikstudiengänge setzen. Gemeinsam mit Maurice ter Beek und Brijesh Dongol untersucht Manfred Broy die Rolle formaler Methoden in der Informatikausbildung.</p> <p>Formale Methoden sind mathematisch fundierte Ansätze, die zur präzisen Spezifikation, Analyse und Verifikation von Computersystemen eingesetzt werden. Die Autoren argumentieren, dass formales Denken essenziell ist, um wissenschaftliche Strenge und Präzision in der Softwareentwicklung zu fördern. Darüber hinaus machen sie konkrete Vorschläge, wie formale Methoden in bestehende Curricula integriert werden können, ohne andere Kernaspekte der Informatikausbildung zu verdrängen.<br> </p> <h5><a href="/eoe/a-z/manfred-broy/" class="ti ti-link"><strong>Weitere Informationen zu Prof. Manfred Broy</strong></a></h5> <h5><br><strong>Weitere aktuelle Publikationen von Prof. Broy</strong></h5> <p>M. Broy, B. Rumpe: „Development Use Cases for Semantics-Driven Modeling Languages“. In Communications of the ACM, Vol. 66, No. 05, 2023, 62-71.</p> <p>M. Broy: „Logische und methodische Grundlagen der Entwicklung verteilter Systeme - unter Mitarbeit von Alexander Malkis”. Wiesbaden: Springer/Vieweg, 2023</p> <p>M. Broy: „Specification and Verification of Concurrent Systems by Causality and Realizability”. In Theoretical Computer Science, Vol 974(5), 2023</p> <p>M. Broy, B. Selić: “Specifying and Composing Layered Architectures”. In Journal of Object Technology, Vol. 23, No. 1, 2024, 1-24.</p> <p>M. Broy: “Time, causality, and realizability: Engineering interactive, distributed software systems”. In Journal of Systems and Software, Vol. 210, 2024</p> </div>  <hr class="cl-right"> <div class="news-backlink-wrap">◄ <a href="/eoe/startseite/"> <span>Zurück zu:</span> Startseite </a> </div> </div> </div> </div> </div> <div class="c-link-to-top js-link-to-top"> <a href="#topbar" title="nach oben springen"> To top </a> </div> </div> <div class="col-md-3 col-xl-2 c-content-area__aside js-link-checker"> <div id="sidebar" class="sidebar"> <aside class="c-aside"> <div id="c3" class="frame frame-type-textmedia frame-layout-0"> <h3> <a href="/eoe/kontakt/">Kontakt</a> </h3> <p>Technische Universität München</p> <p>TUM Senior Excellence Faculty<br>Arcisstr. 21<br>80333 München</p> <p>Tel.: <a href="tel:+498928922092">+49 89 289-22092</a></p> <p><a href="#" data-mailto-token="wksvdy4oyoJjf8dew8no" data-mailto-vector="10" title="E-Mail">E-Mail: eoe(at)zv.tum.de</a></p> </div> </aside> </div> </div> </div> </div> </main> <footer class="c-footer"> <div class="c-footer__legal"> <nav class="container" aria-label="legal links"> <ul class="list-inline"><li class="list-inline-item"><a href="/eoe/datenschutz/">Datenschutz</a></li><li class="list-inline-item"><a href="/eoe/impressum/">Impressum</a></li><li class="list-inline-item"><a href="/eoe/barrierefreiheit/">Barrierefreiheit</a></li></ul> <img aria-hidden="true" src="https://tum.de/hsts/default" height="1" width="1" /> </nav> </div> </footer>  <script data-ignore="1" data-cookieconsent="statistics" type="text/plain" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg"> var _paq = window._paq = window._paq || []; _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function () { var u = "//webstat.srv.tum.de/"; _paq.push(['setTrackerUrl', u + 'matomo.php']); _paq.push(['setSiteId', '147']); var d = document, g = d.createElement('script'), s = d.getElementsByTagName('script')[0]; g.type = 'text/javascript'; g.async = true; g.defer = true; g.src = u + 'js/'; s.parentNode.insertBefore(g, s); })(); </script>  <script type="module" src="/_frontend/sitetum/bundled/assets/main-08hMaXIc.js?1731942350"></script> <script type="module" src="/_frontend/sitetum/bundled/assets/fancybox-Db8kzSN4.js?1731942350"></script> <script data-ignore="1" data-dp-cookiedesc="layout" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg" type="text/plain"> Diese Webseite verwendet Cookies und Matomo, um die Bedienfreundlichkeit zu erhöhen. <a aria-label="Weitere Informationen zu unseren verwendeten Cookies" class="cc-link" href="/eoe/datenschutz/#AktiveKomponenten" rel="noopener noreferrer nofollow" target="_blank" > Weitere Informationen </a> </script> <script data-ignore="1" data-dp-cookieselect="layout" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg" type="text/plain"> <div class="dp--cookie-check" xmlns:f="http://www.w3.org/1999/html"> <label for="dp--cookie-required"> <input class="dp--check-box" id="dp--cookie-required" tabindex="-1" type="checkbox" name="" value="" checked disabled> Notwendig </label> <label for="dp--cookie-statistics"> <input class="dp--check-box" id="dp--cookie-statistics" tabindex="1" type="checkbox" name="" value=""> Statistiken </label> </div> </script> <script data-ignore="1" data-dp-cookierevoke="layout" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg" type="text/plain"> <button type="button" aria-label="Cookie Consent widerrufen" class="dp--revoke {{classes}}" > <i class="dp--icon-fingerprint"></i> <span class="dp--hover">Cookies</span> </button> </script> <script data-ignore="1" data-dp-cookieiframe="layout" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg" type="text/plain"> <div class="dp--overlay-inner" data-nosnippet> <div class="dp--overlay-header">{{notice}}</div> <div class="dp--overlay-description">{{desc}}</div> <div class="dp--overlay-button"> <button class="db--overlay-submit" onclick="window.DPCookieConsent.forceAccept(this)" data-cookieconsent="{{type}}"> {{btn}} </button> </div> </div> </script> <script data-ignore="1" nonce="g-NfytH13k03aeNDf-XWFhcISDyEXnTrSiGkHDX0rUq7L5ws_Bh4Gg" type="text/javascript"> window.cookieconsent_options = { overlay: { notice: true, box: { background: 'rgba(48,112,179,.75)', text: '#fff' }, btn: { background: '#b81839', text: '#fff' } }, content: { message:'Diese Webseite verwendet Cookies und Matomo, um die Bedienfreundlichkeit zu erhöhen.', dismiss:'Cookies zulassen!', allow:'Speichern', deny: 'notwendige <span></span>Cookies', link:'Weitere Informationen', href:'/eoe/datenschutz/', target:'_blank', 'allow-all': 'Alle akzeptieren!', config: 'Anpassen', 'config-header': 'Einstellungen für die Zustimmung anpassen', cookie: 'Cookies', duration: 'Duration', vendor: 'Vendor', media: { notice: 'Cookie-Hinweis', desc: 'Durch das Laden dieser Ressource wird eine Verbindung zu externen Servern hergestellt, die Cookies und andere Tracking-Technologien verwenden, um die Benutzererfahrung zu personalisieren und zu verbessern. Weitere Informationen finden Sie in unserer Datenschutzerklärung.', btn: 'Erlaube Cookies und lade diese Ressource', }, }, theme: 'basic', position: 'bottom-right', type: 'opt-in', revokable: true, reloadOnRevoke: false, checkboxes: {"statistics":"false","marketing":"false"}, cookies: [], palette: { popup: { background: 'rgba(48,112,179,1)', text: '#fff' }, button: { background: '#b81839', text: '#fff', } } }; </script>    </body> </html>

CINXE.COM

Professor Manfred Broy | Drei neue wissenschaftliche Publikationen zu verteilten Systemen, interaktiven Systemen und formalen Methoden in der Informatikausbildung - TUM Emeriti of Excellence