×
罗尔夫·亨尼克;米歇尔·比多特

同步和异步通信组件的兼容性属性。 （英语） Zbl 1464.68030号

日志。方法计算。科学。 14，1号，1号论文，31页（2018）.
总结：我们研究了交互组件及其在同步和异步组合方面的兼容性。组件的行为由I/O转换系统形式化。同步合成基于同时执行两个组件的共享输出和输入操作，而异步合成使用无限FIFO缓冲区进行消息传输。在这两种情况下，我们研究兼容性概念的基础是，一个组件发出的任何输出都应该被另一个组件接受为输入。我们区分兼容性的强版本和弱版本，后者允许在接受消息之前执行内部操作。我们考虑开放系统和研究条件，其中（强/弱）同步兼容性足够且必要（强/弱）异步兼容性。我们证明了这些条件是半双工系统的特征。然后，我们重点验证可能非半双工系统的弱异步兼容性，并提供确保弱异步兼容性的可判定标准。我们研究了该标准完备的条件，即如果不满足该标准，则异步系统不是弱异步兼容的。最后，我们讨论了死锁自由度，并研究了同步和异步情况下死锁自由之间的关系。

引用于三文件

MSC公司：

64岁以下 分布式系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

分布式系统;同步和异步通信;交互兼容性验证
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}和\textit{M.Bidoit}，Log。方法计算。科学。14，第1期，第1号论文，31页（2018；Zbl 1464.68030）
全文： 内政部 arXiv公司

参考文献：

[1] 卢卡·德·阿尔法罗和托马斯·亨辛格。接口自动化。程序。第九届ACM SIGSOFT Ann.Symp。软件工程基础（FSE'01），109-120。ACM出版社，2001年。
[2] 塞巴斯蒂安·鲍尔（Sebastian S.Bauer）、罗尔夫·亨尼克（Rolf Hennicker）和斯蒂芬·贾尼施（Stephan Janisch）。（A）同步通信模式I/O转换系统的接口理论。程序。接口技术基础，FIT’10，EPTCS 46，1-82010。
[3] 塞巴斯蒂安·鲍尔（Sebastian S.Bauer）、菲利普·迈尔（Philip Mayer）、安德烈亚斯·施罗德（Andreas Schroeder）和罗尔夫·亨尼克（Rolf Hennicker）。关于弱模态兼容性、细化和MIO工作台。程序。第16届国际会议《系统构建和分析的工具和算法》（TACAS’10），计算机科学讲稿6015175-189。施普林格，2010年·Zbl 1284.68339号
[4] Daniel Brand和Pitro Zafiropulo。关于通信有限状态机。J.ACM，30（2），323-3421983年·Zbl 0512.68039号
[5] 莫里斯·特尔·比克（Maurice H.ter Beek）、乔塞普·卡莫纳（Josep Carmona）、罗尔夫·亨尼克（Rolf Hennicker）和杰蒂·克莱恩（Jetty Kleijn）。团队自动化的通信要求。程序。第19届IFIP国际协调模型与语言会议（COORDINA TION’17），计算机科学讲稿。施普林格，2017年上市·Zbl 07369990号
[6] Harsh Beohar和Pieter J.L.Cuijpers。在去同步中避免钻石。科学。计算。程序。，91, 45-69, 2014.
[7] 严酷的贝哈尔。嵌入式系统模型中通信和状态的优化。学院
[8] Carlos Canal、Ernesto Pimentel和Jos´e M.Troya。软件架构中的兼容性和继承。科学。计算。程序。，41(2), 105-138, 2001. ·Zbl 0988.68026号
[9] Josep Carmona和Jetty Kleijn。多组件环境中的兼容性。西奥。计算。科学。，484, 1-15, 2013. ·Zbl 1292.68107号
[10] 格拉德·塞克和阿兰·芬克尔。使用半双工通信验证程序。信息计算。，202(2), 166-190, 2005. ·Zbl 1101.68676号
[11] 洛伦佐·克莱门特（Lorenzo Clemente）、弗雷德里克·赫布雷托神父（Fr´ed´eric Herbreteau）和格里戈雷·萨特雷（Gr´egoire Sutre）。自动机与FIFO和行李通道通信的可确定拓扑。程序。第25届并行理论国际会议（CONCUR’14），计算机科学讲稿8704，281-296。施普林格，2014年·Zbl 1417.68125号
[12] 谢尔盖·哈达德（Serge Haddad）、罗尔夫·亨尼克（Rolf Hennicker）和米凯尔·莫勒（Mikael H.Möller）。异步合成Petri网的信道特性。程序。Petri网和并发的应用和理论，计算机科学讲义7927369-388。施普林格，2013年·Zbl 1381.68203号
[13] 罗尔夫·亨尼克（Rolf Hennicker）、米歇尔·比多特（Michel Bidoit）和唐松丹（Thanh-Son Dang）。通信组件的同步和异步兼容性。程序。第18届IFIP国际协调模型与语言会议（Coordination’16），计算机科学讲稿9686，138-156。斯普林格，2016年。
[14] 罗尔夫·亨尼克（Rolf Hennicker）、斯蒂芬·贾尼什（Stephan Janisch）和亚历山大·纳普（Alexander Knapp）。使用同步和异步通信改进连接安全组件中的组件。计算机软件基础。未来发展趋势和技术，2008年第15届蒙特雷研讨会，计算机科学讲稿6028，154-180。施普林格，2008年。
[15] Salvatore La Torre、P.Madhusudan和Gennaro Parlato。并发队列系统的上下文分析。程序。第14届国际系统构造与分析工具与算法大会（TACAS'08），计算机科学讲稿4963299-314。施普林格，2008年·Zbl 1134.68446号
[16] Kim Guldstrand Larsen、Ulrik Nyman和Andrzej Wasowski。接口和产品线理论的模式I/O自动机。第16届欧洲程序设计研讨会，2007年ESOP，计算机科学课堂讲稿4421，64-79。施普林格，2007年·Zbl 1187.68296号
[17] 艾蒂安·洛兹和朱尔斯·维拉德。不可靠半双工通信的可靠合同。程序。第八届网络服务和形式方法国际研讨会WS-FM’11，计算机科学讲稿7176，2-16。施普林格，2011年。
[18] 内达·诺鲁齐（Neda Noroozi）、拉丁·科斯拉维（Ramtin Khosravi）、穆罕默德·雷扎·穆萨维（Mohammad Reza Mousavi）和蒂姆·威廉姆斯（Tim A.C.Willemse）。一致性测试中的同步和异步。软件和系统建模，14（1），149-1722015·Zbl 1350.68048号
[19] 梅里姆·瓦德尼（Meriem Ouederni）、格温·萨拉伦（Gwen Sala¨un）和特夫菲克·布尔坦（Tevfik Bultan）。异步通信软件的兼容性检查。程序。组件软件的形式方面——第十届国际研讨会，FACS’13，计算机科学讲稿8348310-328。施普林格，2013年。
[20] Jean-Baptiste Raclet、Eric Badouel、Albert Benveniste、BenoŞıt Caillaud、Axel Legay和Roberto Passerone。基于组件设计的模态接口理论。芬丹。通知。，108 (1-2), 119-149, 2011. ·Zbl 1242.68147号
[21] 马丁·魏格霍费尔。自动化软件一致性测试。博士论文，TU Graz，2009年。
[22] 丹尼尔·叶林（Daniel M.Yellin）和罗伯特·斯特罗姆（Robert E.Strom）。协议规范和组件适配器。ACM事务处理。程序。语言系统。，19 (2), 292-333, 1997.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。