Distribuerade tillämpningar bygger på algoritmer som bör kunna hantera tidsbegränsningar. Det är obligatoriskt att uttrycka tidsbegränsningar i (matematiska) modeller och det nuvarande arbetet syftar till att integrera tidsbegränsningar i modelleringsprocessen baserat på händelse B-modeller och förfining. Utgångspunkten för vårt arbete är händelse B utveckling av IEEE 1394 ledare val protokoll; från standarddokument, vi härleder temporal krav för att lösa tvistefrågan och vi föreslår en metod för att införa tidsbegränsningar med hjälp av ett mönster. Mönstret fångar tidsbegränsningar i en allmän händelse B-utveckling och tillämpas på IEEE 1394 fallstudie.
Cansell m.fl. REF inför ett tidsbegränsningsmönster baserat på en Event-B-modell för distribuerade tillämpningar.
Time constraint patterns for event b development
{'venue': 'B', 'journal': None, 'mag_field_of_study': ['Computer Science']}