Abstract-att underlätta skapandet av Internet of Things (IoT) applikationer är en viktig fråga för att öka dess utveckling. D-LITe, vårt tidigare arbete, är ett ramverk för detta ändamål. I D-LITe betraktas objekt som en del av en hel ansökan. De erbjuder en REST-webbtjänst som beskriver objektfunktioner, tar emot logiken som ska utföras och interagerar med andra intressenter. Därefter ses den fullständiga ansökan som en koreografi dynamiskt utplacerad på olika objekt. Men den viktigaste frågan om koreografier är förlusten av samstämmighet. På grund av deras otillförlitlighet, vissa nätverk som används i IoT kan införa de-synkronisering mellan objekt, vilket leder till fel och misslyckanden. I detta dokument föreslår vi en lösning för att återinföra samstämmighet i tillämpningen, för att behålla fördelarna med koreografi samtidigt som vi tar itu med denna huvudfråga. En överlagring av logiska kontrollpunkter vid applikationslagret definierar länkar mellan de sammanhängande tillstånden för en uppsättning objekt och utlöser återsynkroniseringsmeddelanden. Korrigerande uttalanden sprids alltså genom nätverket, vilket möjliggör felåterställning i koreografier. Detta dokument avslutas med en jämförelse mellan kontrollkostnaden och förbättringen av tillförlitligheten.
I ett sådant forskningsarbete används en overlay av logiska kontrollpunkter vid applikationslagret för att definiera länkar mellan de sammanhängande tillstånden i en uppsättning objekt och utlösa resynkroniseringsmeddelanden REF.
Fault-recovery and coherence in Internet of Things choreographies
{'venue': '2014 IEEE World Forum on Internet of Things (WF-IoT)', 'journal': '2014 IEEE World Forum on Internet of Things (WF-IoT)', 'mag_field_of_study': ['Computer Science']}