Mobil UNITY hänvisar till ett notationssystem och bevislogik som ursprungligen utformats för att tillgodose de särskilda behoven inom det framväxande området för mobil databehandling. Modellen gör det möjligt att definiera enheter för beräkning och rörlighet och de formella reglerna för samordning mellan dem på ett mycket frikopplat sätt. I detta dokument granskar vi på nytt den uttryckskraft som den mobila UNITY-samordningen har från ett nytt perspektiv som är rotat i uppfattningen att disciplinerad användning av en kraftfull formell modell måste förlita sig på formellt definierade scheman. Flera samordningsscheman introduceras och formaliseras. De undersöker förhållandet mellan Mobil UNITY och andra datormodeller och illustrerar mekaniken i att använda Mobil UNITY som grund för en formell semantisk karakterisering av samordningsmodeller.
Mobilt UNITY REF tillhandahåller ett notationssystem för att uttrycka samordningen mellan mobila enheter för beräkning.
Mobile UNITY Schemas for Agent Coordination
{'venue': 'In ASM 2003', 'journal': None, 'mag_field_of_study': ['Computer Science']}