×
D.巴兹利。；P.德加诺。；法拉利，G.L。；托斯托，E。

将两个基于自动机的编排和舞蹈模型联系起来。 （英语） Zbl 1352.68125号

J.日志。阿尔盖布。方法计划。 85，第3期，425-446（2016）.
摘要：我们研究了用于描述和研究分布式服务的两种基于自动机的模型（称为契约自动机和通信机）之间的关系。在第一个模型中，分布式服务被抽象为自动机——忽略了它们的伙伴——通过协调器相互协调。第二个问题涉及分布式服务之间发生的交互，这些交互由基于信道的异步通信表示；然后通过编排来协调服务。
我们在契约自动机上定义了一个强一致性的概念；展示了从该模型到具有同步语义的通信机器的自然映射；并提供条件以确保强烈的一致性与良好的编舞相对应。然后将这些结果扩展到更自由的协议概念和通信机器的完全异步语义。

引用于4文件

MSC公司：

65年第68季度 形式语言和自动机
64岁以下 分布式系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit｛D.Basile｝等人，J.Log。阿尔盖布。方法计划。85，第3号，425--446（2016；Zbl 1352.68125）
全文： 内政部 链接

参考文献：

[1] Peltz，C.，《Web服务编排和编排》，IEEE Comput。，36, 10, 46-52 (2003)
[3] 巴兹勒，D。；Degano，P。；Ferrari，G.L.，《分析服务合同的自动化》，（Maffei，M。；Tuosto，E.，《值得信赖的全球计算——第九届国际研讨会，修订论文集》。值得信赖的全球计算——第九届国际研讨会，修订论文集，TGC 2014，意大利罗马。值得信赖的全球计算——第九届国际研讨会，修订论文集。值得信赖的全球计算——第九届国际研讨会，修订论文集，TGC 2014，意大利罗马，计算机科学讲义，第8902卷（2014），Springer），34-50·Zbl 1444.68110号
[4] 品牌，D。；Zafiropulo，P.，《通信有限状态机》，J.ACM，30，2，323-342（1983）·Zbl 0512.68039号
[5] 巴托莱蒂，M。；Tuosto，E。；Zunino，R.，《关于不诚实系统中合同的可实现性》，（Sirjani，M.，《协调模型和语言-第14届国际会议》，2012年，《协调模式和语言会议录》-第14次国际会议，2012年协调，《计算机科学会议录》，第7274卷（2012），Springer）， 245-260 ·Zbl 1366.68198号
[6] 巴托莱蒂，M。；Scalas，A。；Tuosto，E。；Zunino，R.，《诚实打字》，（Beyer，D.；Boreale，M.，《分布式系统的形式化技术-联合IFIP WG 6.1国际会议》，FMOODS/FORTE 2013，《会议记录。分布式系统的正式技术-联合IPIP WG 61国际会议》（Proceedings.Formal Techniques for Distributed Systems-Joint IFIP WG.6.1 International Conference），FMOODS/FORTE 2013，《计算机科学会议记录》，第7892卷（2013），弹簧），305-320·Zbl 1283.68029号
[7] Deniélou，P。；吉田，N.，《多方会话类型满足通信自动机》（Seidl，H.，《编程语言和系统-第21届欧洲编程研讨会》，ESOP 2012，《程序设计语言和系统》-第21次欧洲编程研讨会，ESOP 2012.《程序设计，计算机科学讲义》，第7211卷（2012），斯普林格）， 194-213 ·Zbl 1352.68182号
[8] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2006），Springer:Springer Secaucus，NJ，USA
[9] Basile博士。；Degano，P。；法拉利，G.L。；Tuosto，E.，《通过契约自动机从编配到编舞》，（Lanese，I.；Lluch-Lafuente，A.；Sokolova，A.，Vieira，H.T.，《第七届交互与并发体验会议录》，ICE 2014年。会议录第7期交互和并发体验。《第七届交互与并发体验会议录》，ICE 2014，EPTCS，第166卷（2014）），67-85·Zbl 1433.68236号
[10] 拉内斯，我。；Guidi，C。；蒙特西，F。；Zavattaro，G.，弥合面向交互和过程的编排之间的差距，（软件工程和形式化方法。软件工程和形式化方法，SEFM 2008（2008）），323-332
[11] 兰格，J。；Tuosto，E。；吉田，N.，《从通信机器到图形编舞》（Rajamani，S.K.；Walker，D.，第42届美国计算机学会SIGPLAN-SIGACT编程语言原理研讨会论文集。第42届全美计算机学会SIGLAN-SIGACT编程语言原理会论文集，POPL 2015（2015），美国计算机学会），221-232·Zbl 1346.68136号
[12] 兰格，J。；Scalas，A.，作为合同协议的编排合成，（第六届交互与并发体验会议录。第六届互动与并发体验大会录，ICE 2013（2013）），52-67·兹比尔1464.68252
[13] Dijkman，R。；Dumas，M.，《面向服务的设计：多视角方法》，国际J.Coop。信息系统。，13, 4, 337-368 (2004)
[14] 阿隆索，G。；卡萨蒂，F。；Kuno，H。；Machiraju，V.，《Web服务——概念、架构和应用》。数据中心系统和应用（2004），Springer·Zbl 1029.68007号
[15] Papazoglou，M.，《Web服务和SOA：原理和技术》（2012），皮尔逊-彭蒂斯霍尔出版社
[16] Misra，J.，《计算协调》，（Broy，M.；Grünbauer，J.；Harel，D.；Hoare，T.，《软件密集型系统的工程理论》，《软件集约型系统的工程学理论》，北约科学丛书，第195卷（2005），斯普林格），285-330
[17] 邱，Z。；X.赵。；蔡，C。；Yang，H.，走向舞蹈编导的理论基础，（Williamson，C.L.；Zurko，M.E.；Patel-Schneider，P.F.；Shenoy，P.J.，《第十六届万维网国际会议论文集》，第十六届国际万维网会议论文集，WWW 2007（2007），ACM），973-982
[18] Yang，H。；X.赵。；蔡，C。；邱，Z.，探索编舞和编配与异常处理和定稿/补偿的联系，（Derrick，J。；Vain，J.，《网络和分布式系统的形式化技术——FORTE 2007》，第27届IFIP WG 6.1国际会议，会议记录。网络和分布式系统的形式化技术——FORTE 2007，第27届IFIP WG 6.1国际会议，会议记录，LNCS，第4574卷（2007），Springer），81-96·Zbl 1215.68152号
[19] Talbot，S.R.，《编排和舞蹈：分布式工作流的标准、工具和技术》
[20] 北布西。；Gorrieri，R。；Guidi，C。；卢奇，R。；Zavattaro，G.，《系统设计的编排和编配一致性》（Ciancarini，P。；Wiklicky，H.，《协调模型和语言》，第八届国际会议，《2006年协调》，会议记录。协调模型和语言，第八届国际会议，Coordination 2006，计算机科学论文集，第4038卷（2006），Springer），63-81
[21] 拉内斯，我。；蒙特西，F。；Zavattaro，G.，《修改编舞》（Ravara，A.；Silva，J.，《第九届网络系统自动规范和验证国际研讨会论文集》，第九届Web系统自动规范与验证国际研讨会，WWV 2013。第九届网络系统自动化规范和验证国际研讨会论文集。第九届Web系统自动规范和验证国际研讨会论文集，WWV 2013，EPTCS，第123卷（2013）），34-48
[22] 巴苏，S。；布尔坦，T。；Ouederni，M.，《决定编舞的可实现性》（Field，J.；Hicks，M.），第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集·Zbl 1321.68183号
[23] Hallé，S。；Bultan，T.，使用共享状态投影对基于消息的交互进行可实现性分析，（Roman，G.；Sullivan，K.J.，第18届ACM SIGSOFT国际软件工程基础研讨会论文集，2010（2010），ACM），27-36
[24] Laneve，C。；Padovani，L.，《web服务契约的代数理论》，Form.Asp。计算。，1-28（2015年）·Zbl 1338.68016号
[25] 巴苏，S。；Bultan，T.，《通过同步性实现编排一致性》，（Srinivasan，S.；Ramamritham，K.；Kumar，A.；Ravindra，M.P.；Bertino，E.；Kumar
[26] 布拉维蒂，M。；Zavataro，G.，《基于契约的web服务发现和组合》（Bernardo，M.；Padovani，L.；Zavatano，G.），《web服务的形式化方法》，第九届计算机、通信和软件系统设计形式化方法国际学校，2009年。网络服务的形式化方法，第九国际计算机、通信和软件系统设计形式化方法学校，2009年，计算机科学课堂讲稿，第5569卷（2009年），施普林格出版社，261-295·Zbl 1162.68303号
[27] 布拉维蒂，M。；Zavattaro，G.，《存在消息队列时的合同合规性和编排合规性》（Bruni，R。；Wolf，K.，Web服务和形式化方法，第五届国际研讨会，WS-FM 2008，修订论文集。Web服务和形式方法，第五届国际研讨会，WS-FM 2008，修订论文集，计算机科学讲稿，第5387卷（2008），Springer），37-54
[28] 奥蒂利，M。；Ruscio，D.D。；Salle，A.D。；因弗拉迪，P。；Tivoli，M.，《编舞可实现性实施的基于模型的综合过程》（Cortellessa，V.；Varró，D.，《软件工程的基本方法——第16届国际会议》，FASE 2013，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2013，2013）。诉讼程序。软件工程的基本方法——第16届国际会议，FASE 2013，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2013，2013。计算机科学论文集，第7793卷（2013），施普林格），37-52
[29] de Alfaro，L。；Henzinger，T.A.，接口自动机，（与第九届ACM SIGSOFT国际软件工程基础研讨会联合举行的第八届欧洲软件工程会议论文集，2001（2001），ACM），109-120
[30] 塞塞，G。；Finkel，A.，《半双工通信程序验证》，Inf.Compute。，202, 2, 166-190 (2005) ·Zbl 1101.68676号
[31] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，（Necula，G.C.；Wadler，P.，POPL（2008），ACM），273-284·Zbl 1295.68150号
[32] Carbone，M。；O.达达。；Montesi，F.，《作为成分锁自由的进步》，（Kühn，E.；Pugliese，R.，《2014年协调》。COORDINATION 2014，计算机科学课堂讲稿，第8459卷（2014），Springer），49-64
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。