×
Al-Humaimedy，Abeer S。；玛丽贝尔·费尔南德斯

在CSP中为SOC启用同步和异步通信。 （英语） Zbl 1342.68221号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31269-88，仅电子版（2015）。
摘要：面向服务计算（SOC）基于服务组合，即松散耦合的自治异构服务，这些服务是为实现特定任务而组合的。我们在CSP进程代数的框架内开发了一种新的SOC演算，旨在改进验证技术并增强SOC计算的表达能力。本文介绍了使用内置缓冲区扩展CSP以促进直接异步通信的演算部分。我们提供了演算的操作语义，并通过实现异步通信的函数扩展了FDR（CSP模型检查器）。
有关整个系列，请参见[Zbl 1329.68020号].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度55 计算理论中的语义学
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

异步；CSP公司；异步计算；缓冲器；面向服务计算；SOC计算

软件：

自旋蛋白；奶牛；探查；第二代外国存托凭证；拍打
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Al-Humamededy}和\textit{M.Fernández}，电子。注释Theor。计算。科学。31269--88（2015；Zbl 1342.68221）
全文： 内政部

参考文献：

[1] Al-Humaimedy，A.S。；Fernández，M.，补偿csp的一般动态恢复，（Löwe，B.；Winskel，G.，DCM.DCM，EPTCS，第143卷（2014）），3-16·Zbl 1464.68222号
[2] Bae，K。；Meseguer，J.，重写线性时序逻辑的基于重写的模型检查器，Electr。注释Theor。计算。科学。，290, 19-36 (2012) ·Zbl 1291.68244号
[3] Beauxis，R。；帕拉米德斯，C。；Valencia，F.D.，《异步pi-calculus的异步本质》，（Degano，P.；De Nicola，R.；Meseguer，J.，《并发、图和模型》，《并发，图和模型，计算机科学讲义》，第5065卷（2008）），473-492·Zbl 1143.68470号
[4] Bergstra，J.A。；克洛普，J.W。；Tucker，J.V.，《具有异步通信机制的进程代数》，（Brookes，S.D.；Roscoe，A.W.；Winskel，G.，《并发研讨会》，《计算机科学讲稿》，第197卷（1984）），76-95·Zbl 0579.68015号
[5] 博雷尔，M。；布鲁尼，R。；Caires，L。；德尼古拉，R。；拉内斯，我。；洛雷蒂，M。；马丁斯，F。；蒙塔纳里，美国。；拉瓦拉，A。；Sangiorgi，D。；Vasconselos，V.T。；Zavataro，G.，Scc:以服务为中心的微积分，（Bravetti，M.；Nüñez，M.）
[6] 博雷尔，M。；布鲁尼，R。；德尼古拉，R。；Loreti，M.，《结构化服务编程的会话和管道》（Barthe，G.；de Boer，F.S.，FMOODS.FMOODS，计算机科学讲义，第5051卷（2008）），19-38
[7] Bougé，L.，《关于在通信顺序过程网络中发现领导者的对称算法的存在性》，《信息学报》，25179-201（1988）·兹比尔06216.8011
[8] de Boer，F.S。；Klop，J.W。；Palamidessi，C.，过程代数中的异步通信，（LICS（1992）），137-147
[9] Erl，T.，《面向服务的体系结构：概念、技术和设计》（2005），Printice-Hall
[12] Forouzan，B.A.，TCP/IP协议套件（2002），McGraw-Hill，Inc.：美国纽约州纽约市McGraw-Hill，Inc
[13] Hoare，C.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号
[14] Holzmann，G.，《SPIN模型检查器》（2003），艾迪森·韦斯利
[15] 本田，K。；Tokoro，M.，《异步通信的对象演算》（America，P.，ECOOP.ECOOP，《计算机科学讲义》，第512卷（1991）），133-147
[16] 拉帕杜拉，A。；Pugliese，R。；Tiezzi，F.，《web服务编配的微积分》（De Nicola，R.，ESOP.ESOP，《计算机科学讲义》，第4421卷（2007）），第33-47页·Zbl 1187.68070号
[17] Milner，R.，《通信与并发》，计算机科学PHI系列，第I-XI卷，1-260页（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[19] Palamidessi，C.，比较同步和异步计算的表达能力，《计算机科学中的数学结构》，13，685-719（2003）
[20] Roscoe，A.，《理解并发系统》（2010），Springer·Zbl 1211.68205号
[21] Sangiorgi，D。；Walker，D.，《Pi-Calculus-移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[22] Scattergood，J.，《CSP和定时CSP工具》（1998），牛津大学博士论文
[23] Sun，J。；刘，Y。；Dong，J.S。；Pang，J.，Pat:走向公平下的灵活核查，（Bouajjani，A.；Maler，O.，CAV.CAV，计算机科学讲稿，第5643卷（2009）），709-714
[24] 维埃拉，H.T。；Caires，L。；Seco，J.C.，会话微积分：面向服务的计算模型，（Drossopoulou，S.，ESOP.ESOP，计算机科学讲义，第4960卷（2008）），269-283·Zbl 1133.68388号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。