克莱姆

KLAIM:一种用于Agent交互和移动性的核心语言。我们研究的问题,设计一个核编程语言的移动计算,并描述KLAIM,一种语言支持编程范式,过程,如数据,可以从一个计算环境移动到另一个。该语言由一个具有多元组空间的核心琳达和一组用于构建过程的操作符组成。KLAIM自然支持具有明确位置的编程。位置是一流的数据(它们可以像任何其他数据一样被操纵),但是语言提供协调机制来控制位于不同进程之间的交互协议。正式的操作语义对于讨论语言的设计是有用的,并为实现提供指导。KLAIM配备了静态检查移动代理访问权限侵犯的类型系统。类型用于描述与各个地方有关的进程的意图(读、写、执行等)。类型系统用于确定进程想要在每个地方执行的操作,并检查它们是否符合声明的意图以及它们是否有必要在特定的地点执行预期操作的权限。通过一系列的例子,我们表明,许多移动代码编程范式可以自然地在我们的内核语言中实现。我们还提出了Java中的KLAIM原型实现。


ZBMaX中的参考文献(69篇)4篇标准文章

显示结果1至20的69。
按年份排序(引文
  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. Viroli,米尔科;Beal,雅各伯;达米亚尼,FruCio;Addito,吉奥吉奥;Casadii,罗伯托;Pig,y:从分布式协调到字段演算和聚合计算(2019)
  3. Bocchi,劳拉;陈,子春;德摩根,Romain;本田,Kohei;吉田,诺布科:多党对话类型的监视网络(2017)
  4. Giachino,埃琳娜;LANES,伊凡;MeZina,Claudio Antares;TayZi,弗朗西斯科:基于元组的语言的因果一致回滚(2017)
  5. 李,西盟;吴,奚;Lluch Lafuente,阿尔伯托;Nielson,弗来明;Nielson,Nielson:数据库的协调语言(2017)
  6. 麦格吉,Alessandro;彼得罗奇,马里内拉;斯波纳迪,安吉洛;TayZi,弗朗西斯科:一种基于语言的Twitter互动建模和分析方法(2017)
  7. Cianga,文森佐;拉特拉,迭戈;Loreti,米歇尔;Massink,Mieke:封闭空间的空间逻辑模型检验(2016)
  8. 兰尼斯,伊凡;MeZina,Claudio Antares;斯蒂芬尼,Jean Bernard:高阶可逆性(\pi)演算(2016)
  9. Bistarelli,斯蒂法诺;Gabbrielli,Maurizio;Meo,Maria Chiara;桑蒂尼,弗朗西斯科:定时软并发约束程序:交错并行方法(2015)
  10. 布吕尼,罗伯托;科拉迪尼,安德列;伽达契,法比奥;Lluch Lafuente,阿尔伯托;范丁,Poin:行为适应的白盒透视(2015)
  11. 蒙大拿州,Ugo;萨马蒂诺,MaTeO:网络意识(\pi)-微积分——糕点模型(2015)
  12. Tiezzi,弗朗西斯科;吉田,Nobko:可逆会话的π演算(2015)
  13. De Nicola,罗科;Lluch Lafuente,阿尔伯托;Loreti,米歇尔;Morichetta,安德列;PuGeles,Rosario;SeNi,Pig;TayZi,Y:编程和验证组件集成(2014)
  14. 蒙大拿,Ugo;萨马蒂诺,Matteo:一个网络意识(\pi)-演算及其共代数语义(2014)
  15. 蒙大拿,Ugo;萨马蒂诺,MaTeO:网络意识(\pi)-微积分:并发语义(2012)
  16. 普格利泽,Rosario;TIEZI,弗朗西斯科:Web服务编排的微积分(2012)伊波尔特
  17. Wrrn,马丁;埃克哈特,乔纳斯;MuHulbor,托拜厄斯;MeeGuer-Joe:基于KLAIM和Mod(2012)的云结构的设计和分析伊波尔特
  18. Brajin,基娅拉;Syigina,娜塔莎;Barone Adesi,卡特琳娜:一种基于模型检验的移动系统安全策略验证方法(2011)
  19. 塔尔科特,卡洛琳;Sirjani,Marjan;任,上平:比较三种协调模式:Reo、ARC和PBRD(2011)
  20. Cianga,文森佐;法拉利,GiangLuigi;Guangalayi,罗伯托;StordLo,Daniele:基于事件的舞蹈编排(2010)