SCEL

SCEL语言:设计、实现、验证。SCEL(服务组件集成语言)是一种新的语言,专门设计用于严格建模和编程自主组件及其交互,同时支持对其行为的形式推理。SCEL汇集了各种编程抽象,允许人们根据特定的策略直接表示聚合、行为和知识。它也自然支持编程交互,自我意识,上下文意识,和适应。语言的坚实语义基础被用来开发逻辑、工具和方法,用于系统行为的形式推理,以建立单个组件和整个系统的定性和定量属性。


ZBMaCT中的参考文献(15篇文章中引用)

显示结果1至15的15。
按年份排序(引文

  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. Viroli,米尔科;Beal,雅各伯;达米亚尼,FruCio;Addito,吉奥吉奥;Casadii,罗伯托;Pig,y:从分布式协调到字段演算和聚合计算(2019)
  3. Lanotte,Ruggero;梅洛,马西莫:物联网的语义理论(2018)
  4. 李,西盟;吴,奚;Lluch Lafuente,阿尔伯托;Nielson,弗来明;Nielson,Nielson:数据库的协调语言(2017)
  5. 麦格吉,Alessandro;彼得罗奇,马里内拉;斯波纳迪,安吉洛;TayZi,弗朗西斯科:一种基于语言的Twitter互动建模和分析方法(2017)
  6. Abd Alrahman,叶希亚;De Nicola,罗科;Loreti,米歇尔:基于属性的交流的力量(2016)
  7. 冯,程;Hillston,简;GalPin,VASTTI:空间分布集体自适应系统的自动矩闭合近似(2016)
  8. Vandin,安德列;TrbASTOne,Micro:集体适应系统的定量抽象(2016)
  9. 布吕尼,罗伯托;科拉迪尼,安德列;伽达契,法比奥;Lluch Lafuente,阿尔伯托;范丁,Poin:行为适应的白盒透视(2015)
  10. Latella,迭戈;Loreti,米歇尔;Massink,Mieke;森尼,瓦莱里奥:Stords: SCEL的随机扩展(2015)
  11. 蒙大拿,Ugo;PuGeice,Rosario;TIEZI,弗朗西斯科:用多约束存储编程自治系统(2015)
  12. 尼古拉的自适应和自治系统及其对我们的影响(2015)
  13. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  14. De Nicola,罗科;Lluch Lafuente,阿尔伯托;Loreti,米歇尔;Morichetta,安德列;PuGeles,Rosario;SeNi,Pig;TayZi,Y:编程和验证组件集成(2014)
  15. Hennicker,罗尔夫;克拉尔,安娜贝儿:集体建模的基础——海伦娜方法。用精细集成体系结构处理大规模分布式系统(2014)