×
路易斯·凯雷斯；雨果·托雷斯·维埃拉

对话类型。 （英语） Zbl 1207.68222号

西奥。计算。科学。 411，编号51-52，4399-4440（2010）.
摘要：我们提出了一种类型理论，用于分析面向服务计算中的并发多方交互。我们的理论引入了一种新颖灵活的类型结构，能够统一描述系统的内部和接口行为，在web服务术语中分别称为编排和契约。会话的概念建立在会话的基本概念之上，但将其概括为迄今为止尚未探索的方向；特别是，会话类型规范会话中的交互，同时考虑意外数量的参与者的动态加入和离开。我们证明，良好类型的系统从不违反规定的会话约束。我们还介绍了一些技术，以确保涉及多个交错对话的系统的进度，这是一个以前尚未解决的问题。

引用于15文件

MSC公司：

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

关键词：

行为类型；分布式系统；程序分析；基于服务的系统；会话类型

软件：

管道
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{H.T.Vieira}，Theor。计算。科学。411、编号51-52、4399-4440（2010；Zbl 1207.68222）
全文： 内政部

参考文献：

[1] 阿齐艾，L。；Boreale，M.，《面向服务的微积分中的客户进度类型系统》（Degano，P.；De Nicola，R。；Meseguer，J.，《Concurrency，Graphs and Models，Essays Dedicated to Ugo Montanari on the 65寿辰》。《并发、图形和模型》，《在乌戈·蒙塔纳里65岁生日之际献给他的论文》，《计算机科学讲稿》，第5065卷（2008），斯普林格·弗拉格），642-658·Zbl 1143.68469号
[2] 贝蒂尼，L。；科波，M。；D’Antoni，L。；德卢卡，M。；Dezani-Ciancaglini，M。；Yoshida，N.，《动态交错多党会议的全球进展》，（van Breugel，F.；Chechik，M.，CONCUR 2008，第19届并发理论国际会议，会议记录。CONCUR，2008，第十九届并行理论国际会议记录，计算机科学讲稿，第5201卷（2008），Springer-Verlag），418-433·Zbl 1160.68456号
[3] Bonelli，E。；Compagnoni，A.，分布式演算的多点会话类型，（Barthe，G。；Fournet，C.，值得信赖的全球计算。值得信赖的全球计算，第三次研讨会，TGC 2007，修订论文集。值得信赖的全球计算。值得信赖的全球计算，第三次研讨会，TGC 2007，修订论文集，计算机科学讲稿，第4912卷（2008），Springer-Verlag），240-256
[4] 布拉维蒂，M。；拉内斯，我。；Zavataro，G.，《合同驱动的舞蹈设计实施》（Kaklamanis，C。；Nielson，F.，《值得信赖的全球计算》。值得信赖的全球计算，第四届研讨会，TGC 2008，修订论文集。值得信赖的全球计算。值得信赖的全球计算，第四届研讨会，TGC 2008，修订论文选集，计算机科学讲稿，第5474卷（2009），Springer-Verlag），1-18
[5] 布拉维蒂，M。；Zavattaro，G.，《多方服务组合合同的基本理论》，《基础信息》，第89、4、451-478页（2008年）·Zbl 1154.68336号
[6] 布鲁尼，R。；Mezzina，L.G.，《服务、会话和管道演算中的类型和死锁自由》（Meseguer，J。；Rosu，G.，《代数方法论和软件技术》。代数方法论和软件技术，第12届国际会议，AMAST 2008，会议记录。代数方法论和软件技术。代数方法论和软件技术，第12届国际会议，AMAST 2008，计算机科学论文集，讲稿，第5140卷（2008），Springer-Verlag），100-115·Zbl 1170.68428号
[7] Caires，L.，分布式系统中并发和资源控制的空间行为类型，理论计算机科学，402，2-3120-141（2008）·Zbl 1146.68018号
[8] Caires，L。；Vieira，H.T.，对话类型，（Castagna，G.，《程序设计语言和系统》，《程序语言和系统，第18届欧洲程序设计研讨会》，ESOP 2009，《程序集，程序设计语言与系统》，第18次欧洲程序设计会议，ESOP，2009，《程序，计算机科学讲义》，第5502卷（2009），Springer-Verlag），第285-300页·Zbl 1234.68291号
[9] L.Caires，H.T.Vieira，《对话类型》，技术报告UNL-DI-01-09，新里斯本大学信息部，2009年。；L.Caires，H.T.Vieira，对话类型，技术报告UNL-DI-01-09，新里斯本大学信息部，2009年·Zbl 1234.68291号
[10] Carbone，M。；本田，K。；Yoshida，N.，以结构化通信为中心的web服务编程，（De Nicola，R.，第16届欧洲程序设计研讨会。第16届欧盟程序设计研讨会，2007年ESOP，会议记录。第16次欧洲程序设计会议，2007年，ESOP，《会议记录，计算机科学讲稿》，第4421卷（2007年），Springer-Verlag），2-17·Zbl 1187.68064号
[11] 卡斯塔尼亚，G。；Dezani-Ciancaglini，M。；贾奇诺，E。；Padovani，L.，《会话类型的基础》（Porto，A.；López-Fraguas，F.J.，PPDP 2009，第11届国际ACM SIGPLAN声明性编程原则和实践会议，会议记录（2009），ACM），219-230
[12] 卡斯塔尼亚，G。；Gesbert，N。；Padovani，L.，《web服务契约理论》，《ACM编程语言和系统事务》，31，5（2009）
[13] Chaki，S。；Rajamani，S.K。；Rehof，J.，《作为模型的类型：模型检查消息传递程序》，（第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第29届AC M SIGPLAN-SIGACT编程语言原理会议论文集，POPL 2002（2002），ACM），45-57·Zbl 1323.68365号
[14] Dezani-Ciancaglini，M。；德利古罗，美国。；吉田，N.，《结构化通信的进展》（Barthe，G。；Fournet，C.，值得信赖的全球计算。值得信赖的全球计算，第三次研讨会，TGC 2007，修订论文集。值得信赖的全球计算。值得信赖的全球计算，第三次研讨会，TGC 2007，修订论文选集，计算机科学讲稿，第4912卷（2008），Springer-Verlag），257-275
[15] 盖伊，S。；Hole，M.，Pi演算中会话类型的子类型，《信息学报》，42，2-3，191-225（2005）·Zbl 1079.68065号
[16] E.Giachino，M.Sackman，S.Drossopoulou，S.Eisenbach，《轻声细语：会话类型的角色扮演》，收录于：PLACES 2009，第二届并行和通信中心软件编程语言方法国际研讨会，论文集（正在出版）。；E.Giachino，M.Sackman，S.Drossopoulou，S.Eisenbach，《轻声细语：会话类型的角色扮演》，收录于：PLACES 2009，第二届并行和通信中心软件编程语言方法国际研讨会，论文集（出版中）。
[17] Honda，K.，二元相互作用的类型，（Best，E.，CONCUR 1993，第四届并发理论国际会议，论文集。CONCUR 1993，第四届并发理论国际会议，论文集，计算机科学讲义，第715卷（1993），Springer Verlag），509-523
[18] 本田，K。；Vasconselos，V.T。；Kubo，M.，结构化通信编程的语言原语和类型规程，（Hankin，C.，《程序设计语言与系统》，《程序语言与系统，第七届欧洲程序设计研讨会》，1998年ESOP，《程序集，程序设计语言和系统》，第七次欧洲程序设计会议，1998年，ESOP，计算机科学论文集，第1381卷（1998年），Springer-Verlag）， 122-138
[19] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，（Necula，G.C.；Wadler，P.，《第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，第35届AC SIGPLAN-SIGACT程序设计语言原理研讨会，POPL 2008（2008），ACM），273-284·Zbl 1295.68150号
[20] Igarashi，A。；小林，N.，Pi-calculus的通用类型系统，理论计算机科学，311,1-3，121-163（2004）·Zbl 1070.68105号
[21] 小林，N。；皮尔斯，公元前。；Turner，D.N.，《线性和Pi-calculus》，（第23届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第23届美国计算机学会SIGPLAN-SIGACT程序设计语言原理研讨会文献集，POPL 1996（1996），美国计算机学会），358-371
[22] 拉内斯，我。；Guidi，C。；蒙特西，F。；Zavattaro，G.，《架起交互导向与过程导向编舞之间的桥梁》，（Cerone，A.；Gruner，S.，SEFM 2008，第六届IEEE软件工程与形式方法国际会议，论文集（2008），IEEE计算机学会），323-332
[23] Lynch，N.，分布式系统中附近资源的快速分配，（第十二届ACM计算理论研讨会会议记录。第十二届年度ACM计算原理研讨会会议记录，STOC 1980（1980），ACM），70-81
[24] 米尔纳，R。；鹦鹉，J。；Walker，D.，《移动过程微积分》，第I+II部分，信息与计算，100，1，1-77（1992）·Zbl 0752.68037号
[25] Kobayashi，N.，无死锁过程的新型系统，（Baier，C.；Hermanns，H.，CONCUR 2006，第17届并行理论国际会议，会议记录。CONCUR，2006，第十七届并行理论会议，会议录，计算机科学讲义，第4137卷（2006），Springer-Verlag），233-247·Zbl 1151.68537号
[26] Pierce，B.，类型和编程语言（2002），麻省理工出版社·Zbl 0995.68018号
[27] Sangiorgi，D。；Walker，D.，《（pi）演算：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[28] 维埃拉，H.T。；Caires，L。；Seco，J.C.，对话演算：面向服务的计算模型，（Drossopoulou，S.，《程序设计语言和系统》，《程序语言和系统，第17届欧洲程序设计研讨会》，ESOP 2008，《程序集，程序设计语言与系统》，第17次欧洲程序设计会议，ESOP，2008，《程序，计算机科学讲义》，第4960卷（2008），斯普林格·弗拉格），269-283·Zbl 1133.68388号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。