Abstrakt. Ad hoc-nätverk kan betraktas som beräkningssystem vars medlemmar kanske inte följer eller väljer att inte följa de regler som styr deras beteende. Vi undersöker i vilken utsträckning ad hoc-nätverk med fördel kan beskrivas i form av behörigheter, skyldigheter och andra mer komplexa normativa relationer, baserat på vårt tidigare arbete med att specificera och modellera öppna agentföreningar. Vi föreslår nu att vi tillämpar vår befintliga ram för förvaltning av ad hoc-nätverk genom att utnyttja likheterna mellan öppna agentorganisationer och ad hoc-nätverk som ses på tillämpningsnivå. Vi diskuterar också möjligheterna att modellera ad hoc-nätverk på fysisk nivå i liknande termer. Vi demonstrerar ramen genom att konstruera en exekverbar specifikation, i händelsekalkylen, av en gemensam typ av protokoll som rör en av de frågor som normalt måste tas upp under livstiden för ett ad hoc-nätverk, nämligen kontrollen av tillgången till delade resurser.
Artikis m.fl. I REF föreslås användning av händelsekalkyl för specifikationen av protokoll.
A protocol for resource sharing in norm-governed ad hoc networks
{'venue': 'IN PROCEEDINGS OF THE DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES (DALT) WORKSHOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}