AIOCJ公司 swMATH编号： 16842 软件作者： Dalla Preda M、Giallorenzo S、Lanese I、Mauro J、Gabbrielli M 描述： AIOCJ：用于安全自适应分布式应用程序的编排框架。我们介绍了AIOCJ，一个用于编程分布式自适应应用程序的框架。应用程序使用AIOC进行编程，AIOC是一种适合从全局角度表达交互模式的舞蹈语言。AIOC允许程序员指定应用程序的哪些部分可以进行调整。适应在运行时通过规则进行，规则可以在执行过程中更改，以满足可能无法预见的适应需求。AIOCJ依赖于一个可靠的理论，确保应用程序在适应后也能通过构造实现无死锁。我们描述了AIOCJ的体系结构、AIOC语言的设计以及框架的实证验证。 主页： http://link.springer.com/chapter/10.1007/978-3-319-11245-9_9 相关软件： JBoss公司;SPY公司;乱涂;奶牛;里奥;Xtext（扩展文本）;链接;人工智能设备;F类*;萨瓦拉;朱莉;LTSA-WS公司 引用于： 10文件 全部的 前5名22位作者引用 3 马里亚纽拉州Dezani-Ciancaglini 3 伊万·拉内斯 2 马里奥·科波 2 毛里齐奥·加布里埃利 2 萨维里奥·贾勒伦佐 2 法布里西奥·蒙泰西 2 佩雷斯（Jorge A.Pérez）。 1 维维亚娜·博诺 1 大卫·布雷索林 1 伊利亚州卡斯特拉尼 1 米拉·达拉·普雷达 1 洛科·德尼古拉 1 辛齐亚·迪·朱斯托 1 钟曼，宋世堂。 1 雅各布·毛罗 1 克劳迪奥·安塔雷斯·梅齐纳 1 卢卡·帕多瓦尼 1 佩特拉·范登博斯 1 贝蒂·文内里 1 雨果·托雷斯·维埃拉 1 吉田、Nobuko 1 吉安路易吉·扎瓦塔罗 4篇连载文章中引用 2 计算的形式方面 1 信息与计算 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 10 计算机科学（68至XX） 按年份列出的引文