Choral: Choreografische Programmierung für Java

Choral: Choreographic Programming for Java

Choral ist eine Programmiersprache für choreografische Programmierung, die es Entwicklern ermöglicht, verteilte Systeme als Ganzes zu beschreiben, anstatt sie aus einzelnen Teilen zusammenzusetzen. Die Sprache wird in Java eingebettet und bietet eine neue Abstraktionsebene, die die Kommunikation zwischen Prozessen explizit macht. Dieser Ansatz verspricht, die Korrektheit und Wartbarkeit von verteilten Anwendungen zu verbessern, indem er Fehlerquellen wie falsche Nachrichtenreihenfolgen oder unvollständige Protokolle zur Compile-Zeit eliminiert.