Abstract-Service-oriented Computing (SOC) har använts i affärsmiljöer för att integrera heterogena system. Dessa miljöers dynamiska karaktär medför förändringar i tillämpningskraven. Som ett resultat måste tjänstesammansättningen vara flexibel, dynamisk och anpassningsbar, vilket motiverar behovet av att säkerställa tjänstens sammansättning beteende i körtid. Utvecklingen av adaptiva tjänstesammansättningar är fortfarande en möjlighet på grund av komplexiteten i hanteringen av anpassningsfrågor, till exempel hur man tillhandahåller körtidsverifiering och automatisk anpassning. Formell beskrivning tekniker kan användas för att upptäcka runtime oönskade beteenden som hjälper i anpassningsprocessen. Formella tekniker har dock endast använts vid konstruktionstidpunkten. I detta dokument föreslår vi en adaptiv strategi för tjänstesammansättning baserad på enkel användning av formella metoder. Målet är att upptäcka oönskade beteenden i avrättningsspåret. När ett oönskat beteende upptäcks under utförandet av en tjänst komposition, utlöser vår strategi en lämplig omkonfigureringsplan för problemet vid körning. För att utvärdera förslagets effektivitet illustrerar vi det med ett löpande exempel.
Campos m.fl. REF presenterar ett tillvägagångssätt för att bygga adaptiva tjänstesammansättningar genom att upptäcka oönskade beteenden i deras utförande spår.
Adaptive Service Composition Based on Runtime Verification of Formal Properties
{'venue': 'HICSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}