Agenter i ett öppet system interagerar med varandra baserat på (vanligtvis publicerade) protokoll. En agent kan dock avvika från protokollet på grund av sin interna politik. Sådana avvikelser innebär vissa utmaningar: 1) agenten kanske inte längre överensstämmer med protokollet-hur avgör vi om agenten är konform? 2. agenten kanske inte längre kan samarbeta med andra agenter-hur avgör vi om två agenter är driftskompatibla? 3. agenten kanske inte kan producera vissa protokollberäkningar; med andra ord, det kanske inte täcker protokollet-hur vi avgör om en agent täcker ett protokoll? Vi formaliserar begreppen överensstämmelse, täckning och driftskompatibilitet. Ett utmärkande drag för vår formalisering är att de tre är ortogonala för varandra. Konformitet och täckning är baserade på semantik av körningar (en körning är en sekvens av tillstånd), medan interoperabilitet mellan agenter bygger på den traditionella idén om blockering. Vi presenterar ett antal exempel för att utförligt illustrera den ortogonala konformiteten, täckningen och driftskompatibiliteten. Efterlevnad är en egendom som tillhör en agents utförande, medan överensstämmelse är en egenskap som tillhör agentens konstruktion. För att endast utföra utföranden som uppfyller kraven måste agenten först och främst vara konform, för det andra måste den också kunna samarbeta med andra agenter.
Begreppen överensstämmelse, täckning och driftskompatibilitet definieras i REF.
Producing Compliant Interactions: Conformance, Coverage, and Interoperability
{'venue': 'DALT', 'journal': None, 'mag_field_of_study': ['Computer Science']}