Vi undersöker frågan om att utforma en kärna programmeringsspråk för Mobile Computing och beskriver Klaim, ett språk som stöder ett programmering paradigm där processer, som data, kan flyttas från en datormiljö till en annan. Språket består av en kärna Linda med flera tuple utrymmen och en uppsättning operatörer för att bygga processer. Klaim stöder naturligtvis programmering med explicita platser. Lokaliteter är förstklassiga data (de kan manipuleras som alla andra data), men språket tillhandahåller samordningsmekanismer för att kontrollera interaktionsprotokollen mellan lokaliserade processer. Den formella operativa semantiken är användbar för att diskutera språkets utformning och ger riktlinjer för genomförandet. Klaim är utrustat med ett typsystem som statiskt kontrollerar intrång i åtkomsträttigheter för mobila agenter. Typer används för att beskriva avsikterna (läsa, skriva, exekvera, etc.) processer i förhållande till de olika orterna. Typsystemet används för att bestämma vilka åtgärder som processerna vill utföra på varje ort, och för att kontrollera om de uppfyller de angivna avsikterna och om de har de rättigheter som krävs för att utföra den avsedda verksamheten på de specifika orterna. Via en rad exempel visar vi att många mobila kodprogrammeringsparadigm naturligt kan implementeras i vårt kärnspråk. Vi presenterar även en prototypimplementering av Klaim i Java.
De Nicola, Ferrari och Pugliese studerade ett undertypningssystem för ett språk baserat på Linda REF, och visade att det används för att kontrollera rörligheten hos agenter.
KLAIM: A Kernel Language for Agents Interaction and Mobility
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}