Bruke Lingua Franca til å koordinere distribuerte Maude-kjøringer

Lingua Franca er et koordineringsspråk utviklet ved UC Berkeley. I denne oppgaver skal vi bruke Lingua Franca til å koordinere distribuerte Maude-kjøringer

1. Utvide Lingua Franca til at "target programming language" er Maude

2. Definere semantikken til dette språket

3. Implementere noen eksempler av små distribuerte Lingua Franca-eksempler i Maude

4. Bruke Lingua Franca til å koordinere distribuerte Maude-kjøringer, hvor også tid et en sentral parameter.  Fint om de distribuerte Maude-kjøringene også kan kobles til "omverdenen" ved bruk av fasilitetetr beskrevet i kapittel 9 av Maude-manualen.

Published Sep. 16, 2025 12:52 PM - Last modified Sep. 16, 2025 12:52 PM

Supervisor(s)

Scope (credits)

60