I detta dokument presenterar vi en algebra av aktörer som utvidgas med mekanismer för att modellera kraschfel och deras upptäckt. Vi visar hur denna utökade algebra av aktörer kan användas framgångsrikt för att ange distribuerade programvaruarkitekturer. De viktigaste komponenterna i en programvaruarkitektur kan specificeras efter en objektorienterad stil och sedan kan de komponeras med asynkront meddelande passerar eller mer komplexa interaktionsmönster. Vi illustrerar denna process med hjälp av en fallstudie: specifikationen av en programvaruarkitektur för intelligenta agenter som stöder ett feltolerant anonymt interaktionsprotokoll.
I REF används en utökad aktör algebra för att ange feltoleranta programvaruarkitekturer.
An Object Based Algebra for Specifying a Fault Tolerant Software Architecture
{'venue': 'Journal of Logic and Algebraic Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}