ABSTRACT Complex event processing (CEP) är en banbrytande teknik för att analysera och korrelera strömmar av information om händelser som händer i ett system, och härleda slutsatser från dem. CEP gör det möjligt att definiera komplexa händelser baserade på de händelser som uppstår vid inkommande källor, att identifiera komplexa meningsfulla omständigheter och att reagera på dem så snabbt som möjligt. Sådana händelsetyper och -mönster definieras med hjälp av händelsehanteringsspråk. Men allteftersom CEP-programmens komplexitet växer, blir de svåra att förstå och att bevisa att de är korrekta. I detta dokument föreslås en formell ram för specifikationen av CEP-tillämpningar, med hjälp av omskrivningslogik och Maude, för att göra det möjligt för utvecklare att formellt analysera och bevisa egenskaper hos sina CEP-program. Flera fallstudier presenteras för att illustrera tillvägagångssättet, samt en diskussion om fördelarna med att använda Maude och dess verktygslåda för modellering och analys av CEP-system. INDEX TERMS Formell modellering, komplex händelsebehandling, händelsebehandling språk, omskrivning logik, Maude.
Burgueño m.fl. REF föreslår en ram för specifikation av CEP-tillämpningar, vilket gör det möjligt för utvecklare att formellt analysera och bevisa egenskaper hos sina CEP-program.
Formalizing Complex Event Processing Systems in Maude
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}