Synthese Verteilter Systeme Synthesis of Distributed Systems
-
Sven Schewe
Zusammenfassung
Der gemeinsame Nenner der Informatik ist die Automatisierung von Abläufen, Analysen und Prozessen. In den vergangenen Jahrzehnten wurde viel auf dem Gebiet der Automatisierung fremder Domänen erreicht. Traditionell sind wir aber bei Automatisierung in unserer ureigenen Domäne, der Systementwicklung und -analyse, deutlich zurückhaltender. Das wirft die Frage auf, ob wir hier nicht viel mehr tun könnten und müssten. Ist zum Beispiel die manuelle Suche nach Lösungen gut spezifizierter Probleme angemessen? Wir diskutieren diese Frage am Beispiel verteilter Systeme mit Spezifikationen in temporalen oder Fixpunkt-Logiken wie LTL, ATL∗ oder μ-Kalkülen, den natürlichen Spezifikationssprachen für nicht-terminierende (oder: reaktive) Systeme wie zum Beispiel Kommunikationsprotokolle.
Abstract
Computer science is about automation, and we have achieved much in this field. However, our achievements are mainly in the service of others: We are, for example, experts when it comes to automate the optimisation of time tables, the scheduling of events, or the analysis of business processes. Traditionally, computer scientists have been more reluctant to apply the same principles to the development of systems. Is it really required to find solutions to well specified problems by hand? We discuss this question on the example of problems specified in temporal and fixed-point logics like LTL, ATL∗, or various μ-calculi, the native specification languages for non-terminating (or: reactive) systems like communication protocols.
© by Oldenbourg Wissenschaftsverlag, München, Germany
Articles in the same Issue
- E-Energy — Paving the Way for an Internet of Energy Auf dem Weg zum Internet der Energie
- Towards a Reference Architecture for Regional Electricity Markets Entwurf einer Referenzarchitektur für regionale Elektrizitätsmärkte
- Reference Process Modelling for Utility Companies Referenzprozessmodellierung für Unternehmen der Energiewirtschaft
- Development and Demonstration of Decentralised Power Systems Culminating in a Future E-Energy Marketplace Entwicklung und Demonstration dezentral vernetzter Energiesysteme hin zum E-Energy-Marktplatz der Zukunft
- Open Energy Gateway Architecture for Customers in the Distribution Grid Architektur eines offenen Gateways für Energiemanagement und Energieeffizienz für Verteilnetzkunden
- Renewable Generation and Reliability in the Electric Power Network Zuverlässigkeit elektrischer Netze mit Energieerzeugung aus erneuerbaren Energien
- Simulations in the Smart Grid Field Study MeRegio Simulationen im MeRegio Smart Grid Feldtest
- Generic Legal Aspects of E-Energy Rechtsaspekte der E-Energy
- Innovative Retail Laboratory — Investigating Future Shopping Technologies Innovative Retail Laboratory — Erforschung von Technologien für das Einkaufen von morgen
- Synthese Verteilter Systeme Synthesis of Distributed Systems
- Humans and Robots are Different: Lessons from Nature
Articles in the same Issue
- E-Energy — Paving the Way for an Internet of Energy Auf dem Weg zum Internet der Energie
- Towards a Reference Architecture for Regional Electricity Markets Entwurf einer Referenzarchitektur für regionale Elektrizitätsmärkte
- Reference Process Modelling for Utility Companies Referenzprozessmodellierung für Unternehmen der Energiewirtschaft
- Development and Demonstration of Decentralised Power Systems Culminating in a Future E-Energy Marketplace Entwicklung und Demonstration dezentral vernetzter Energiesysteme hin zum E-Energy-Marktplatz der Zukunft
- Open Energy Gateway Architecture for Customers in the Distribution Grid Architektur eines offenen Gateways für Energiemanagement und Energieeffizienz für Verteilnetzkunden
- Renewable Generation and Reliability in the Electric Power Network Zuverlässigkeit elektrischer Netze mit Energieerzeugung aus erneuerbaren Energien
- Simulations in the Smart Grid Field Study MeRegio Simulationen im MeRegio Smart Grid Feldtest
- Generic Legal Aspects of E-Energy Rechtsaspekte der E-Energy
- Innovative Retail Laboratory — Investigating Future Shopping Technologies Innovative Retail Laboratory — Erforschung von Technologien für das Einkaufen von morgen
- Synthese Verteilter Systeme Synthesis of Distributed Systems
- Humans and Robots are Different: Lessons from Nature
