Abstrakt. Samordningsspråk för ad hoc-nätverk med vätsketopologi ger inte tillräckligt stöd för att upptäcka och hantera frånkoppling av enheter. En sådan frånkoppling är särskilt relevant om den anordning som tillhandahålls kontextinformation snarare än att sända meddelanden, eftersom sådan sammanhangsinformation då blir ogiltig. I detta dokument föreslås Fact Space Model som etablerar ett logiskt samordningsspråk på toppen av Limes federerade tuple utrymme. I modellen erbjuder det federerade utrymmet applikationer en konsekvent bild av sin miljö över vilken de kan resonera med hjälp av logiska regler. Dessa regler kodar vilka slutsatser som kan dras av förekomsten av särskilda fakta, och används på liknande sätt för att säkerställa konsekvensen i dessa slutsatser när produkterna går utanför räckvidd. Genom att tillåta applikationer att lägga till applikationsspecifika krokar till dessa regler erbjuds programmeraren en generell mekanism för att reagera på upptäckt och frånkoppling av anordningar.
Den Fact Space Model REF är en LIME-liknande federerad tuple utrymme modell som ger applikationer med en distribuerad kunskapsbas som innehåller logiska fakta som delas mellan samlokaliserade enheter.
Fact Spaces: Coordination in the Face of Disconnection
{'venue': 'COORDINATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}