×
维维亚娜·博诺;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;贝蒂·文奈里

智能会话的数据驱动适应。 （英文） Zbl 1371.68188号

J.日志。阿尔盖布。方法计划。 90, 31-49 (2017).
摘要：本文提出了一个多党会议自适应的正式框架。自适应功能包含动态进化策略，通过规定会话需要如何根据全球数据的关键变化重新配置自身。全局类型规定了总体通信编排；它对参与者的预测产生了监控器，监控器设置了通信协议。微积分的关键技术新颖性在于用于构建全局类型和监控器的并行操作符，这使得自适应过程变得相当灵活。智能会话能够通过部分重新配置某些通信并保持所有其他通信不变来最小化其适应，以防只需要修改整个行为的一部分。此外，可以添加新参与者和/或删除一些旧参与者。主要结果是，我们证明了这种自适应机制是安全的，以确保重新配置后通信将继续以正确的方式发展。

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

AIOCJ公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}等人，J.Log。阿尔盖布。方法计划。90,31-49（2017；Zbl 1371.68188）
全文： 内政部 链接

参考文献：

[1] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，（POPL'08（2008），ACM出版社），273-284·Zbl 1295.68150号
[2] Carbone，M。；本田，K。；Yoshida，N.，以结构化通信为中心的web服务编程，ACM Trans。程序。语言系统。，34, 2, 8:1-8:78 (2012)
[3] 布鲁尼，R。；Corradini，A。；Gadducci，F。；Lluch-Lafuente，A。；Vandin，A.，《适应的概念框架》（FASE'12）。2012年秋季，Lect。注释计算。科学。，第7212卷（2012），施普林格），240-254
[4] Coppo，M。；Dezani Ciancaglini，医学博士。；Venneri，B.，自适应多方会话，Serv。面向计算。申请。，9, 3-4, 249-268 (2015)
[5] Coppo，M。；Dezani Ciancaglini，医学博士。；Venneri，B.，《自适应会话的并行监视器》（PLACES’16）。《16个地方》，EPTCS，第211卷（2016年），25-36
[6] 丹尼·卢，P.-M。；吉田，N.，《动态多角色会话类型》（POPL'11（2011），ACM出版社），435-446·兹比尔1284.68049
[7] Bocchi，L。；Chen，T.-C。；Demangeon，R。；本田，K。；Yoshida，N.，《通过多方会话类型监控网络》（FMOODS/FORTE’13）。FMOODS/13堡垒，Lect。注释计算。科学。，第7892卷（2013），施普林格），50-65
[8] 贝蒂尼，L。；Coppo，M。；D’Antoni，L。；德卢卡，M。；Dezani Ciancaglini，医学博士。；Yoshida，N.，《动态交错多方会话的全球进展》（CONCUR’08）。CONCUR'08，勒克特。注释计算。科学。，第5201卷（2008），施普林格），418-433·Zbl 1160.68456号
[9] Hüttel，H。；拉内斯，我。；Vasconselos，V.T。；Caires，L。；Carbone，M。；丹尼·卢，P.-M。；Mostrous，D。；帕多瓦尼，L。；拉瓦拉，A。；Tuosto，E。；维埃拉，H.T。；Zavattaro，G.，会话类型和行为契约基础，ACM Comput。调查。，49, 1, 3:1-3:36 (2016)
[10] 本田，K。；Vasconselos，V.T。；Kubo，M.，《结构化通信编程的语言原语和类型规程》（ESOP’98）。98年ESOP，莱克托。注释计算。科学。，第1381卷（1998年），施普林格出版社，22-138
[11] Pierce，B.C.，类型和编程语言（2002），麻省理工学院出版社·兹比尔0995.68018
[12] 盖伊，S。；Hole，M.，Pi演算中会话类型的子类型，Acta Inform。，42, 2/3, 191-225 (2005) ·Zbl 1079.68065号
[13] Coppo，M。；Dezani Ciancaglini，医学博士。；吉田，N。；Padovani，L.，动态交错多方会话的全球进展，数学。结构。计算。科学。，26, 2, 238-302 (2016) ·Zbl 1361.68165号
[14] 安德森，G。；Rathke，J.，消息传递程序的动态软件更新（APLAS’12）。APLAS’12，莱克特。注释计算。科学。，第7705卷（2012），施普林格），207-222
[15] 布拉维蒂，M。；Carbone，M。；希尔德布兰特，T.T。；拉内斯，我。；Mauro，J。；佩雷斯，J.A。；Zavattaro，G.，《适应全球和地方类型》（SEFM’13）。SEFM'13，勒克特。注释计算。科学。，第8368卷（2014），施普林格），3-14
[16] Dalla Preda，M。；Giallorenzo，S。；拉内斯，我。；Mauro，J。；Gabbrielli，M.，AIOCJ：安全自适应分布式应用程序的舞蹈框架（SLE’14）。SLE’14，莱克托。注释计算。科学。，第8706卷（2014），施普林格），161-170
[17] 卡斯特拉尼，I。；Dezani Ciancaglini，医学博士。；Pérez，J.A.，多方通信中的自适应和安全信息流，Form.Asp。计算。，28, 4, 669-696 (2016) ·Zbl 1345.68232号
[18] Di Giusto，C。；Pérez，J.A.，《以通信为中心的系统中基于事件的运行时自适应》，Form.Asp。计算。，28, 4, 531-566 (2016) ·兹比尔1345.68234
[19] Schneider，F.B.，《可强制执行的安全政策》，ACM Trans。信息系统。安全。，3，1，30-50（2000年）
[20] 布奇亚龙。；马可尼，A。；Mezzina，C.A。；皮斯托尔，M。；Raik，H.，基于动态服务的系统的动态自适应：增量、减少和重用，（ICSOC'13。ICSOC’13，法律。注释计算。科学。，第8274卷（2013），施普林格），146-161
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。