克莱姆

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


zbMATH中的参考文献,4标准条款)

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. 克里斯特斯库(Cristescu),约阿纳(Ioana);吉维森(Given Wilson),托马斯(Thomas);莱盖(Legay),阿克塞尔(Axel):同时内涵的表现力(2020年)
  2. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  3. 尼尔森,弗莱明;尼尔森,汉恩·瑞斯:《安全防卫司令部》(2020)
  4. Viroli,Mirko;Beal,Jacob;Damiani,Ferruccio;Audrito,Giorgio;Casadei,Roberto;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019)
  5. Laura Bochi;Chen,Tzichun;Demangeon,Romain;Honda,Kohei;Yoshida,Nobuko:通过多方会议类型建立的监控网络(2017)
  6. Giachino,Elena;Lanese,Ivan;Mezzina,Claudio Antares;Tiezzi,Francesco:基于元组语言的因果一致性回滚(2017)
  7. Li,Ximeng;Wu,Xi;Lluch Lafuente,Alberto;Nielson,Flemming;Nielson,Hanne Riis:数据库的协调语言(2017)
  8. Maggi,Alessandro;Petrocchi,Marinella;Spognardi,Angelo;Tiezzi,Francesco:基于语言的Twitter交互建模和分析方法(2017)
  9. Ciancia,Vincenzo;Latella,Diego;Loreti,Michele;Massink,Mieke:闭包空间的模型检验空间逻辑(2016)
  10. Lanese,Ivan;Mezzina,Claudio Antares;Stefani,Jean Bernard:高阶可逆性(\pi)-微积分(2016)
  11. Bistarelli,Stefano;Gabbrielli,Maurizio;Meo,Maria Chiara;Santini,Francesco:定时软并发约束程序:交错并行方法(2015)
  12. Bruni,Roberto;Corradini,Andrea;Gadducci,Fabio;Iluch Lafuente,Alberto;Vandin,Andrea:行为适应的白盒视角(2015)
  13. Montanari,Ugo;Sammartino,Matteo:网络意识(\pi)-微积分——糕点模型(2015)
  14. Tiezzi,Francesco;Yoshida,Nobuko:基于可逆会话的pi演算(2015)
  15. De Nicola,Rocco;Lluch Lafuente,Alberto;Loreti,Michele;Morichetta,Andrea;Pugliese,Rosario;Senni,Valerio;Tiezzi,Francesco:编程和验证组件集成(2014)
  16. Montanari,Ugo;Sammartino,Matteo:网络意识(\pi)-微积分及其代数语义(2014)
  17. Montanari,Ugo;Sammartino,Matteo:网络意识(\pi)-微积分:并发语义(2012)
  18. Pugliese,Rosario;Tiezzi,Francesco:web服务编排的微积分(2012)ioport公司
  19. Wirsing,Martin;Eckhardt,Jonas;Mühlbauer,Tobias;Meseguer,José:与KLAIM和Maude一起设计和分析基于云的架构(2012)ioport公司
  20. Chiara Braghin;Natasha Sharygina;Barone Adesi,Katerina:基于模型检查的移动系统安全策略验证方法(2011)