跳到主要内容
10.1145/3465084.3467486acm会议文章/章节视图摘要出版物页面播客会议记录会议集合
辅导的

面向交互的编程:工程分散应用程序的应用语义方法

出版:2021年7月23日 出版历史
  • 获取引文提醒
  • 摘要

    面向交互编程(Interaction-Oriented Programming,IOP)是指以自治方之间的交互为特征的工程应用程序的多代理概念、语言和编程模型。此类应用出现在电子商务、医疗保健和金融等领域。由于所涉及的主体的自治性,这些应用程序在概念上是分散的。我们演示了如何灵活地指定分散的应用程序,以及如何以简单的方式为主体设计正确的容错端点(代理)。值得注意的是,整个应用程序都是作为在无序、不可靠的消息传递基础设施上通信的代理实现的(我们的实现实际上使用UDP)。IOP与传统的分布式系统方法不同,后者依赖于应用程序通信基础设施中的保证,例如订购和容错。值得注意的是,IOP展示了如何处理应用程序语义,这是分布式系统的圣杯。

    工具书类

    [1]
    David R.Cheriton和Dale Skeen。1993.理解因果和完全有序沟通的局限性。第14届ACM操作系统原理研讨会论文集(北卡罗来纳州阿什维尔)。44--57.
    [2]
    Amit K.Chopra、Samuel H.ChristienUmErAL V和Munindar P.Singh。2020年,工程多智能体系统通信协议语言评估。《人工智能研究杂志》,第69卷(2020年12月),1351-1393.%%%%%%https://doi.org/10.1613/jair.1.12212%%
    [3]
    Amit K.Chopra和Munindar P.Singh。2009.多代理承诺调整。在第八届自治代理和多代理系统国际会议记录中。IFAAMAS,937-944年。
    [4]
    Amit K.Chopra和Munindar P.Singh。2015.丘比特:关系代数中的承诺。程序中。第29届AAAI人工智能会议。2052--2059.
    [5]
    Samuel H.ChristienUmErAL V、Daria Smirnova、Amit K.Chopra和Munindar P.Singh。2020年。物上协议:物联网的分散编程模型。IEEE计算机,第53卷,第12卷(2020年12月),60-68.%%%%https://doi.org/10.1109/MC.2020.3023887%%
    [6]
    David Clark,2015年。网络和操作系统。2015年SOSP历史日(加利福尼亚州蒙特雷)。ACM,第11条,bibinfonumpages19页。
    [7]
    Jana Iyengar和Martin Thomson。2021.QUIC:基于UDP的多路复用和安全传输。https://datatracker.ietf.org/doc/html/draft-ietf-quic-transport-34 .
    [8]
    Jerome H.Saltzer、David P.Reed和David D.Clark,1984年。系统设计中的端到端参数。ACM计算机系统汇刊,第2卷,第4卷(1984年11月),277--288。%%%%%https://doi.org/10.1145/357401.357402%%
    [9]
    穆林达尔·辛格。1998年,《代理通信语言:重新思考原则》。IEEE计算机,第31卷,第12卷(1998年12月),40-47.%%%%https://doi.org/10.1109/2.735849%%
    [10]
    穆林达尔·辛格。2011.信息驱动的面向交互编程:BSPL,盲目简单的协议语言。在第十届自主代理和多代理系统国际会议的会议记录中。491--498.
    [11]
    皮纳尔·尤姆和穆林达尔·辛格。2002.灵活的协议规范和执行:使用承诺应用事件演算规划。在第一届自治代理和多代理系统国际联合会议论文集上。ACM出版社,527--534。

    索引术语

    1. 面向交互的编程:工程分散应用程序的应用程序语义方法

      建议

      评论

      信息和贡献者

      问询处

      发布于

      封面图片ACM会议
      PODC’21:2021年ACM分布式计算原理研讨会论文集
      2021年7月
      590页
      国际标准图书编号:9781450385480
      内政部:10.1145/3465084
      如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

      赞助商

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      出版:2021年7月23日

      权限

      请求对此文章的权限。

      检查更新

      作者标记

      1. 承诺
      2. 信息协议
      3. 程序设计模型

      限定符

      • 辅导的

      资金来源

      • 工程和物理科学研究委员会

      会议

      21年PODC
      PODC’21:ACM分布式计算原理研讨会
      2021年7月26日至30日
      虚拟活动,意大利

      接受率

      2477份提交文件的总体接受率为740,30%

      贡献者

      其他指标

      文献计量学和引文

      文献计量学

      文章指标

      • 0
        引文总数
      • 65
        总下载次数
      • 下载次数(过去12个月)6
      • 下载次数(最近6周)0

      其他指标

      引文

      视图选项

      获取访问权限

      登录选项

      完全访问权限

      查看选项

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用联机查看电子阅读器.

      电子阅读器

      媒体

      数字

      其他

      桌子

      分享

      分享

      共享此出版物链接

      在社交媒体上分享