马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看，面向服务的计算。 （英语） Zbl 1178.68072号 J.日志。阿尔盖布。程序。 70，第1期，3-14（2007）. 摘要：面向服务的计算正在成为一类新的分布式计算技术（如Web Services和网格）的参考模型。我们讨论了面向服务计算的三个主要方面（松耦合、通信延迟和开放式端点），并将其与传统的进程代数操作符联系起来。我们还指出了从这三个方面的结合中提出的一些新问题，这些问题需要研究合适的新过程代数算子。 引用于6文件 MSC公司： 64岁以下 分布式系统 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：面向服务的计算;服务组合;过程结石 软件：琳达 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{G.Zavataro}，J.Log。阿尔盖布。程序。70，第1号，第3-14号（2007；Zbl 1178.68072） 全文： 内政部 参考文献： [1] Baeten，J.C.M。；Middelburg，C.A.，《带时间的过程代数》，EATCS专著（2002），斯普林格出版社·Zbl 1021.68063号 [4] Bocchi，L。；Laneve，C。；Zavattaro，G.，《长时间运行事务的演算》（FMOODS'03，第六届开放式基于对象的分布式系统形式方法国际会议论文集，FMOODS'03，第6届开放式面向对象分布式系统形式化方法国际会议文献集，LNCS，第2884卷（2003），斯普林格·弗拉格），124-138·Zbl 1253.68056号 [5] 布拉维蒂，M。；Gorrieri，R。；卢奇，R。；Zavataro，G.，元组空间协调模型中的定量信息。元组空间协调模型中的定量信息，Theor。计算。科学。，346:1（2005），爱思唯尔，第28-57页·Zbl 1080.68007号 [7] 布拉维蒂，M。；卢奇，R。；扎瓦塔罗，G。；Gorrieri，R.，《电子商务的网络服务：保证安全访问和服务质量》，（第19届美国计算机学会应用计算研讨会论文集（SAC'04），电子商务技术专题讨论会（2004），美国计算机学会出版社：美国计算机学会出版社尼科西亚（塞浦路斯），800-806 [10] 巴特勒，M。；Ferreira，C.，《StAC的操作语义，一种建模长期业务交易的语言》，（COORDINATION'04，第六届国际协调模型和语言会议记录。COORDIANTION'2004，第六次国际协调模型与语言会议记录，LNCS，第2949卷（2004），施普林格-弗拉格），87-104·Zbl 1081.68643号 [13] Gelernter，D.，《琳达的生成传播》，ACM Trans。程序。语言系统。，7, 1, 80-112 (1985) ·兹伯利0559.68030 [14] Igarashi，A。；小林，N.，pi-calculus的通用类型系统，Theor。计算。科学。，311, 1-3, 121-163 (2004) ·Zbl 1070.68105号 [15] Laneve，C。；Zavattaro，G.，网络交易基础，（FOSSACS'05，第八届软件科学和计算结构基础论文集。FOSSACS'05，第八届软件科学和计算结构基础论文集，LNCS，第3441卷（2005），Springer Verlag），282-298·Zbl 1118.68335号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。