×
辛齐亚·迪·朱斯托；佩雷斯（Jorge A.Pérez）。

以通信为中心的系统中基于事件的运行时自适应。 （英语） Zbl 1345.68234号

正式Asp。计算。 28，第4期，531-566（2016）.

引用于2文件

MSC公司：

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

关键词：

并发；行为类型；会话类型；运行时适应；过程结石

软件：

AIOCJ公司；奶牛
PDF格式BibTeX公司 XML格式引用
\textit{C.Di Giusto}和\textit{J.A.Pérez}，正式Asp。计算。28，第4号，531--566（2016；Zbl 1345.68234）
全文： 内政部

参考文献：

[1] Anderson G，Rathke J（2012），消息传递程序的动态软件更新。收录：Jhala R，Igarashi A（eds）Programming Languages and Systems-10th Asian Symposium，APLAS。《计算机科学讲义》第7705卷，第207-222页。施普林格，京都，第207-222页·Zbl 1361.68165号
[2] Bocchi L、Chen TC、Demangeon R、Honda K、Yoshida N（2013）通过多方会话类型监测网络。In：Beyer D，Boreale M（eds）分布式系统形式化技术联合IFIP WG 6.1国际会议，FMOODS/FORTE，作为第八届国际分布式计算技术联合会议的一部分，DisCoTec。《计算机科学讲义》第7892卷《会议录》。佛罗伦萨施普林格，第50-65页·Zbl 1359.68215号
[3] Bravetti M、Carbone M、Hildebrandt TT、Lanese I、Mauro J、Pérez JA、Zavataro G（2013）《适应的全球和地方类型》。参赞S，Nüñez M（eds）软件工程和形式方法-SEFM协作研讨会，计算机科学讲稿第8368卷。施普林格，第3-14页
[4] Bravetti M、Di Giusto C、Pérez JA、Zavattaro G（2012）《适应性过程》。日志。方法计算。科学。8(4) ·Zbl 1253.68237号
[5] Castellani I、Dezani-Ciancaglini M、Pérez JA（2014）《多方结构化通信中的自适应和安全信息流：统一的观点》。收录：《Carbone M（ed）Proceedings Third Workshop on Behavioural Types》，BEAT，EPTCS第162卷。罗马，第9-18页·Zbl 1079.68065号
[6] Coppo M、Dezani-Ciancaglini M、Venneri B（2014）自适应多党会议。面向服务的计算应用程序9（3-4）：249-268·doi:10.1007/s11761-014-0171-9
[7] Coppo M、Dezani-Ciancaglini M、Yoshida N、Padovani L（2016）动态交错多党会议的全球进展。数学结构计算科学26（2）：238-302·Zbl 1361.68165号 ·doi:10.1017/S0960129514000188
[8] Dalla Preda M、Giallorenzo S、Lanese I、Mauro J、Gabbrielli M（2014）AIOCJ：安全自适应分布式应用程序的舞蹈框架。收录于：Combemale B、Pearce DJ、Barais O、Vinju JJ（eds）Software Language Engineering第七届国际会议，SLE，第8706卷计算机科学讲稿。施普林格，第161-170页
[9] Di Giusto C，Pérez JA（2013年）通过一致的运行时自适应规范结构化通信。作者：Shin SY，Maldonado JC（eds），第28届美国计算机学会应用计算研讨会论文集，SAC。科英布拉ACM，1913-1918
[10] Di Giusto C，Pérez JA（2013）具有运行时自适应的会话类型：概述和示例。收录于：地点，EPTCS第137卷，第21-32页
[11] Di Giusto C，Pérez JA（2015）有纪律的结构化通信与有纪律的运行时适应。科学计算程序97:235-265·doi:10.1016/j.scico.2014.04.017
[12] Di Giusto C，Pérez JA（2016）以通信为中心的系统中基于事件的运行时自适应方法。收录人：Hildebrandt T、Ravara A、van der Werf JM、Weidlich M（eds）Web服务、形式方法和行为类型：第11次国际研讨会，2014年9月11日至12日，荷兰埃因霍温，2014年，以及第12次国际研讨会（2015年9月4日至5日，西班牙马德里，WS-FM/BEAT，修订论文集）。Springer International Publishing，Cham，第67-85页。doi:10.1007/978-3-319-33612-1
[13] Dumas M、Rosa ML、Mendling J、Reijers HA（2013）《业务流程管理基础》。纽约州施普林格·doi:10.1007/978-3-642-33143-5
[14] Fox J（2011）使用COWS实现动态适应性服务的正式编排模型。载：《自适应和自适应系统与应用国际会议论文集》（Adaptive 2011）。IARIA，第67-72页
[15] Gay SJ，Hole M（2005）π演算中会话类型的子类型。信息学报42（2-3）：191-225·Zbl 1079.68065号 ·doi:10.1007/s00236-005-0177-z
[16] Hu R、Kouzapas D、Pernet O、Yoshida N、Honda K（2010）java中的类型安全活动。In:D'Hondt T（ed）ECOOP面向对象编程，第24届欧洲会议。《计算机科学讲义》第6183卷会议录。马里博·斯普林格，第329-353页
[17] Honda K，Vasconcelos VT，Kubo M（1998）结构化通信编程的语言原语和类型规程。收录于：Hankin C（ed）Programming Languages and Systems-ESOP’98，第七届欧洲编程研讨会，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS’98，Proceedings，vol.1381 of Leach Notes In Computer Science。里斯本施普林格出版社，第122-138页·Zbl 1361.68170号
[18] Honda K、Yoshida N、Carbone M（2008）多方异步会话类型。在：Necula GC，Wadler P（eds）POPL。ACM，第273-284页·Zbl 1295.68150号
[19] Jaccheri ML，Conradi R（1993）《EPOS中过程模型演化的技术》。IEEE Trans Softw Eng 19（12）：1145-1156·doi:10.1109/32.249660
[20] Kouzapas D（2012）会话类型的互模拟理论研究。伦敦帝国理工学院博士论文
[21] Kouzapas D，Yoshida N，Honda K（2011）《异步会话语义》。In:Bruni R，Dingel J（eds）《分布式系统的形式化技术——第13届IFIP WG 6.1国际联合会议》，2011年FMOODS，第31届IFIP工作组6.1国际会议，2011年FORTE。《计算机科学讲义》第6722卷《会议录》。雷克雅未克施普林格，第228-243页·Zbl 1361.68170号
[22] Kouzapas D，Yoshida N，Hu R，Honda K（2016）《异步事件会话语义》。Mathe结构计算科学26（2）：303-364·Zbl 1361.68170号 ·doi:10.1017/S096012951400019X
[23] Müller R，Greiner U，Rahm E\[（2004）{A_{代理}w_{ork}}\]Agentwork：支持基于规则的工作流适应的工作流系统。数据知识工程51（2）：223-256
[24] Milner R，Parrow J，Walker D（1992）移动进程演算，i.Inf Compute 100（1）：1-40·Zbl 0752.68036号
[25] Padovani L（2010）会话类型=交叉类型+联合类型。参见：Pimentel E，Venneri B，Wells JB（eds）Proceedings Fifth Workshop on Intersection Types and Related Systems，vol.45 of EPTCS。爱丁堡ITRS，第71-89页·Zbl 1457.68191号
[26] Padovani L，Vasconcelos VT，Vieira HT（2014）多方通信系统中的打字活跃度。收录于：Kühn E，Pugliese R（eds）Coordination Models and Languages-16th IFIP WG 6.1 International Conference，Coordination，Holding as Part of the 9th International Federated Conferences on DisCoTec 2014，Proceedings，vol.8459 of Leach Notes In Computer Science。柏林施普林格，第147-162页
[27] Rinderle S、Reichert M、Dadam P（2004）《工作流系统动态变化的正确性标准——一项调查》。数据知识工程50（1）：9-34·doi:10.1016/j.datak.2004.01.002
[28] Seco JC，Caires L（2006）动态重新配置的类型。收录于：Sestoft P（ed）Programming Languages and Systems，第15届欧洲程序设计研讨会，ESOP，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS，Proceedings，vol.3924 of Leech Notes In Computer Science。维也纳施普林格，第214-229页·Zbl 1178.68141号
[29] Vieira HT，Vasconcelos VT（2013），以通信为中心的系统的打字进展。摘自：De Nicola R，Julien C（编辑）《协调模型和语言》，第十五届国际会议，协调，作为第八届国际分布式计算技术联合会会议的一部分，DisCoTec。《计算机科学讲义》第7890卷会议录。弗洛伦塞姆斯普林格，第236-250页·Zbl 1361.68165号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。