×
雨果·T·维埃拉。;路易斯·凯雷斯;乔安·塞科。

会话演算：面向服务的计算模型。 （英语） Zbl 1133.68388号

Sophia Drossopoulou（编辑），《编程语言和系统》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第17届欧洲编程研讨会（ESOP 2008）是欧洲软件理论与实践联合会议（ETAPS 2008）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960，269-283（2008）。
摘要：我们提出了一个用于表示和分析基于服务的系统的过程演算模型。我们的方法解决了面向服务的计算模型的中心特性，如分布、流程委托、通信和上下文敏感以及松散耦合。我们模型的不同方面是对话上下文的概念，采用上下文敏感的基于消息传递的通信，以及处理异常行为的简单但富有表现力的机制。我们通过扩展pi演算的一个片段来实例化我们的模型，通过许多例子来说明它的表达能力，并研究它的基本行为理论；特别地，我们确定了双相似性是一个同余。
关于整个系列，请参见[Zbl 1133.68003号].

引用于20文件

MSC公司：

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

软件：

奶牛
PDF格式BibTeX公司 XML格式引用
\textit{H.T.Vieira}等人，Lect。注释计算。科学。4960，269--283（2008；Zbl 1133.68388）
全文： DOI程序

参考文献：

[1] IP Sensoria项目：http://www.sensoria-ist.eu/
[2] Alves，A.等人：Web Services业务流程执行语言2.0版。技术报告，OASIS（2006）
[3] 博雷尔，M。；布鲁尼，R。；Caires，L。；德尼古拉，R。；拉内斯，我。；洛雷蒂，M。；马丁斯，F。；蒙塔纳里，美国。；拉瓦拉，A。；Sangiorgi，D。；瓦康塞洛斯，V。；扎瓦塔罗，G。；布拉维蒂，M。；努涅斯，M。；Zavataro，G.，《SCC：以服务为中心的微积分、网络服务和形式方法》（2006），海德堡：斯普林格·doi:10.1007/11841197_3
[4] Boreale，M.、Bruni，R.、De Nicola，R.和Loreti，M.：具有会话和流水线的面向服务的过程微积分。技术报告草案（2007年）
[5] Bugliesi，M。；卡斯塔尼亚，G。；Crafa，S.，《移动代理的访问控制：装箱环境的计算》，《ACM编程语言和系统事务》，26，1，57-124（2004）·doi:10.1145/963778.963781
[6] 巴特勒，M.J。；霍尔，C.A.R。；费雷拉，C。；阿卜杜拉·A.E。；琼斯，C.B。；Sanders，J.W.，《长时间运行事务的跟踪语义，通信顺序过程》。《前25年》，133-150（2005），海德堡：施普林格，海德堡·Zbl 1081.68644号
[7] Caires，L。；蒙塔纳里，美国。；Sanella，D.，分布式服务和资源的空间行为类型，第二届可信全球计算国际研讨会论文集，98-115（2006），海德堡：施普林格·Zbl 1211.68026号 ·doi:10.1007/978-3-540-75336-07
[8] Caires，L.，Vieira，H.T.，Seco，J.C.：面向服务的计算模型。TR-DI/FCT/UNL 6/07，新里斯本大学（2007）·Zbl 1133.68388号
[9] Carbone，M。；本田，K。；吉田，N。；De Nicola，R.，《以结构化通信为中心的网络服务编程，编程语言和系统》，2-17（2007），海德堡：施普林格出版社·Zbl 1187.68064号 ·doi:10.1007/978-3-540-71316-6_2
[10] 卡斯塔尼亚，G。；维泰克·J。；Nardelli，F.Z.，《印章微积分、信息与计算》，201，1，1-54（2005）·Zbl 1101.68060号 ·doi:10.1016/j.ic.2004.11.005
[11] Fiadeiro，J.L.（费亚代罗，J.L.）。；Lopes，A。；Bocchi，L。；布拉维蒂，M。；努涅斯，M。；Zavataro，G.，《服务组件体系结构的形式化方法、Web服务和形式化方法》，193-213（2006），海德堡：斯普林格出版社·doi:10.1007/11841197_13
[12] 格雷，J。；Reuter，A.，《事务处理：概念和技术》（1993年），旧金山：Morgan Kaufmann，旧金山·Zbl 0781.68006号
[13] Guidi，C。；卢奇，R。；Gorrieri，R。；北布西。；扎瓦塔罗，G。；Dan，A。；Lamersdorf，W.，SOCK:面向服务计算的微积分，面向服务计算-ICSOC 2006，327-338（2006），海德堡：斯普林格·doi:10.1007/111948148_27
[14] 本田，K。；Vasconselos，V.T。；库博，M。；Hankin，C.，《基于结构化通信的程序设计的语言原语和类型规程》，《程序设计语言和系统》，122-138（1998），海德堡：斯普林格出版社·doi:10.1007/BFb0053567
[15] Juric，M.B.：BPEL的实践介绍，Oracle（白皮书）（2006年）
[16] 基钦，D。；库克·W·R。；Misra，J。；拜尔，C。；Hermanns，H.，任务编排语言及其语义属性，CONCUR 2006-并发理论，477-491（2006），海德堡：施普林格·Zbl 1151.68360号 ·doi:10.1007/11817949_32
[17] 拉内斯，我。；Vasconselos，V.T。；马丁斯，F。；Ravara，A.，《面向服务计算中的规程编排和对话》，第五届软件工程和形式化方法国际会议，305-314（2007），洛斯阿拉米托斯：IEEE计算机学会出版社，洛斯阿拉米托斯·doi:10.1109/SEFM.2007.13
[18] 拉帕杜拉，A。；Pugliese，R。；Tiezzi，F。；De Nicola，R.，《Web服务、编程语言和系统协调演算》，33-47（2007），海德堡：斯普林格·Zbl 1187.68070号 ·doi:10.1007/978-3-540-71316-64
[19] 米尔纳，R。；帕罗，J。；Walker，D.，《流动过程微积分》，第一部分和第二部分，信息与计算，100，1，1-77（1992）·兹伯利0752.68036 ·doi:10.1016/0890-5401（92）90008-4
[20] Sangiorgi，D。；Walker，D.，《π演算：移动过程理论》（2001），剑桥：剑桥大学出版社，剑桥·Zbl 0993.26002号
[21] 苏厄尔，P。；Vitek，J.，《不可信代码的安全合成：方框π、包装器和因果关系》，《计算机安全杂志》，11，2，135-188（2003）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。