Abstrakt. Publicera-subscribe arkitektonisk stil har nyligen vuxit fram som en lovande strategi för att ta itu med dynamiken i moderna distribuerade applikationer. Korrektheten av dessa applikationer beror inte bara på beteendet hos varje komponent i isolering, men samspelet mellan komponenter och leveransinfrastrukturen spelar viktiga roller. I detta dokument presenteras de första resultaten av bedömningen av valideringen av dessa tillämpningar i en probabilistisk miljö. Vi använder probabilistiska modellkontrolltekniker på stokastiska modeller för att ta itu med den osäkerhet som finns inbäddad i dessa system. Kommunikationsinfrastrukturen (dvs. överföringskanalerna och Publishing-prenumeration middleware) modelleras direkt med hjälp av probabilistisk timed automata. Applikationskomponenter modelleras med hjälp av Statechart diagram och sedan översättas till probabilistic timed automata. De viktigaste inslagen i tillvägagångssättet beskrivs genom ett exempel.
Slutligen, i REF, probabilistiska modeller kontroll tekniker och stokastiska modeller används för att analysera publicering/prenumeration system.
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
{'venue': 'FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}