Abstrakt. Deklarativa nätverk har nyligen främjats som en hög nivå programmering paradigm för att mer bekvämt beskriva och genomföra system som körs på ett distribuerat sätt över ett datornät. Det har redan använts för att implementera olika nätverksbaserade system, t.ex. nätverksöverlägg, bysantinska feltoleransprotokoll och distribuerade hashtabeller. Deklarativa nätverk bygger på ett regelbaserat programmeringsspråk som liknar Datalog och gör det möjligt att förklara flödet av nätverkshändelser. Förekomsten av asynkron kommunikation, distribution och tvingande modifiering av programtillståndet i Deklarativa Nätverksprogram har dock varit ett hinder för att definiera dess semantik. För närvarande bestäms referenssemantiken endast av körtidens miljö, vilket hindrar vidare applikationsutveckling och gör alla ansträngningar för att utveckla programanalys och verifieringsverktyg omöjliga. I detta dokument föreslår vi en operativ semantik för deklarativa nätverk som tar itu med dessa problem. Semantiken är parameteriserad för att hålla öppen ett designutrymme som krävs i det aktuella skedet av språkutvecklingen. Vi rapporterar också om vår första erfarenhet med en tolk för Deklarativa Nätverkstillämpningar som implementerar den föreslagna semantiken.
Navarro m.fl. föreslås i REF en operativ semantik för en variant av NDlog språk som också innehåller regler med händelser.
Operational Semantics for Declarative Networking
{'venue': 'PADL', 'journal': None, 'mag_field_of_study': ['Computer Science']}