Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
基本信息
- 批准号:EP/N027833/1
- 负责人:
- 金额:$ 110.06万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2016
- 资助国家:英国
- 起止时间:2016 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
There is growing interest in distributed systems and architectures whose components are autonomous social parties such as humans and organisations. The parties in such systems interact with each other via their software agents for the purposes of exchanging information and services. The interactions normally take the form of conversations (as opposed to invocations) realised over asynchronous messaging. Naturally, a crucial area of study for computer science and software engineering is the specification and enactment of interaction protocols, that is, the rules of encounter by which parties in the system would interact. Considered as such, the notion of protocol represents a generalisation of the notion of "contract" advocated in Design by Contract approaches.A key question concerns the nature of contracts. Work in areas such as concurrency and Web services, has predominantly conceptualised protocols in terms of message ordering and occurrence constraints that must be respected by the parties' agents. We refer to such protocols as messaging protocols. Although messaging protocols serve the important purpose of distributed coordination, considered as contracts, they are too low-level for multiagent settings of autonomous parties. Specifically, they do not capture social constraints such as the commitments that are binding on the parties in the interaction.This gap represents a substantial opportunity. In real life, commitments in fact represent the atoms of what people normally understand as contracts. Commitments accommodate the balance between, on the one hand, autonomy and flexibility, and, on the other hand, correct behaviour. Commitment specifications capture stakeholder requirements in multiparty domains. Further, the states of commitments underlie most key performance indicators (KPIs) that stakeholders are interested in any multiagent domain. Work in commitment protocols in multiagent systems has made progress in developing computational abstractions for commitments. However, important challenges related to expressiveness and distributed enactment of commitment protocols have not even been adequately formulated, let alone tackled. Ensuring correct distributed enactment for expressive commitment protocols is crucial to realising the full value of commitments as a human-level architectural abstraction.The broad objective of Turtles is to bring commitment-based contracts to distributed computing. This project develops foundational theory, software, and methodology for building commitment-based distributed systems. To encourage wider adoption, the project will embed the algorithms in prototypes, and develop a tool-supported methodology for specifying and implementing social protocols. Further, Turtles will develop real systems based on use cases and practices from a number of industrial partners and evaluate these systems based on their feedback.The success of Turtles will enable capturing important subtleties of real-life social and business interactions and transform how we design software systems for crucial multiparty domains such as healthcare, disaster response, smart cities, banking, education, and e-commerce and e-business, where commitments are crucial.
人们对分布式系统和架构越来越感兴趣,它们的组件是自治的社会团体,比如人和组织。这些系统中的各方通过其软件代理相互交互,以交换信息和服务。交互通常采用通过异步消息传递实现的对话(而不是调用)的形式。自然,计算机科学和软件工程研究的一个关键领域是交互协议的规范和制定,也就是说,系统中各方进行交互的相遇规则。考虑到这一点,协议的概念代表了契约式设计方法中所提倡的“契约”概念的概括。一个关键问题涉及合同的性质。在并发性和Web服务等领域的工作,主要是根据消息排序和双方代理必须遵守的发生约束来概念化协议。我们把这样的协议称为消息传递协议。尽管消息传递协议服务于分布式协调的重要目的,但对于自治方的多代理设置来说,它们太低级了。具体来说,它们没有捕捉到社会约束,例如对交互各方具有约束力的承诺。这一差距代表着巨大的机遇。在现实生活中,承诺实际上代表了人们通常理解为契约的原子。承诺一方面兼顾自主性和灵活性,另一方面兼顾正确的行为。承诺规范捕获多方领域中的涉众需求。此外,承诺状态是涉众在任何多代理领域感兴趣的大多数关键绩效指标(kpi)的基础。多智能体系统中承诺协议的研究在开发承诺的计算抽象方面取得了进展。然而,与承诺协议的表达和分布式颁布有关的重要挑战甚至没有得到充分制定,更不用说解决了。确保表达性承诺协议的正确分布式制定对于实现承诺作为人类级别架构抽象的全部价值至关重要。turtle的主要目标是将基于承诺的契约引入分布式计算。本项目为构建基于承诺的分布式系统开发了基础理论、软件和方法。为了鼓励更广泛的采用,该项目将把算法嵌入到原型中,并开发一种工具支持的方法来指定和实施社交协议。此外,海龟将根据来自许多工业合作伙伴的用例和实践开发真实的系统,并根据他们的反馈评估这些系统。海龟的成功将使我们能够捕捉到现实生活中社会和商业互动的重要微妙之处,并改变我们为关键的多方领域设计软件系统的方式,如医疗保健、灾难响应、智慧城市、银行、教育、电子商务和电子商务,在这些领域,承诺是至关重要的。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION
一种完善的异步会话子类型算法及其实现
- DOI:10.23638/lmcs-17(1:20)2021
- 发表时间:2021
- 期刊:
- 影响因子:0.6
- 作者:Bravetti Mario
- 通讯作者:Bravetti Mario
Monitoring networks through multiparty session types
- DOI:10.1016/j.tcs.2017.02.009
- 发表时间:2017-03-22
- 期刊:
- 影响因子:1.1
- 作者:Bocchi, Laura;Chen, Tzu-Chun;Yoshida, Nobuko
- 通讯作者:Yoshida, Nobuko
Multiparty session types as coherence proofs
多方会话类型作为一致性证明
- DOI:10.1007/s00236-016-0285-y
- 发表时间:2016
- 期刊:
- 影响因子:0.6
- 作者:Carbone M
- 通讯作者:Carbone M
Book review
书评
- DOI:10.1016/j.artint.2019.103175
- 发表时间:2019
- 期刊:
- 影响因子:14.4
- 作者:Halpern, Joseph Y.
- 通讯作者:Halpern, Joseph Y.
Generalised Multiparty Session Types with Crash-Stop Failures
具有紧急停止故障的通用多方会话类型
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Barwell Ad
- 通讯作者:Barwell Ad
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Nobuko Yoshida其他文献
Systematic peptide fragmentation of polyvinylidene difluoride(PVDF)-immobilized proteins prior to microsequencing.
在微测序之前对聚偏二氟乙烯 (PVDF) 固定的蛋白质进行系统肽片段化。
- DOI:
- 发表时间:
1996 - 期刊:
- 影响因子:0
- 作者:
Akihiro Iwamatsu;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Multiparty Session Programming with Global Protocol Combinators (oral communication)
使用全局协议组合器的多方会话编程(口头交流)
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Keigo Imai;Rumyana Neykova;Nobuko Yoshida;Shoji Yuen - 通讯作者:
Shoji Yuen
Session Typed Programming with Poles and Lenses
使用极点和镜头进行会话类型编程
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Keigo Imai;Shoji Yuen;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Removal of sialic acid from mucin-like surface molecules of <em>Trypanosoma cruzi</em> metacyclic trypomastigotes enhances parasite-host cell interaction
- DOI:
10.1016/s0166-6851(96)02783-1 - 发表时间:
1997-01-01 - 期刊:
- 影响因子:
- 作者:
Nobuko Yoshida;Miriam L Dorta;Alice T Ferreira;Maria E.M Oshiro;Renato A Mortara;Alvaro Acosta-Serrano;Silvio Favoreto - 通讯作者:
Silvio Favoreto
Event structures for the reversible early internal <em>π</em>-calculus
- DOI:
10.1016/j.jlamp.2021.100720 - 发表时间:
2022-01-01 - 期刊:
- 影响因子:
- 作者:
Eva Graversen;Iain Phillips;Nobuko Yoshida - 通讯作者:
Nobuko Yoshida
Nobuko Yoshida的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Nobuko Yoshida', 18)}}的其他基金
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
- 批准号:
EP/N027833/2 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/2 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
- 批准号:
EP/T006544/2 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
Fellowship
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/1 - 财政年份:2020
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
- 批准号:
EP/T006544/1 - 财政年份:2020
- 资助金额:
$ 110.06万 - 项目类别:
Fellowship
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
通过多方会话类型对分布式系统进行基于会话的治理
- 批准号:
EP/K011715/1 - 财政年份:2013
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
Multiparty Session Types: Theory and Conversation-Oriented Programming
多方会话类型:理论和面向对话的编程
- 批准号:
EP/G015635/1 - 财政年份:2009
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
Engineering Foundations of Web Services: Theories and Tool Support
Web 服务的工程基础:理论和工具支持
- 批准号:
EP/F003757/1 - 财政年份:2008
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness
移动计算基于类型的安全性:完整性、保密性和活跃性
- 批准号:
GR/T03215/01 - 财政年份:2006
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
相似海外基金
Building and Implementing a predictive decision support system based on a proactive full capacity protocol to mitigate emergency overcrowding problem
建立和实施基于主动全容量协议的预测决策支持系统,以缓解紧急过度拥挤问题
- 批准号:
10810217 - 财政年份:2023
- 资助金额:
$ 110.06万 - 项目类别:
Innovation of IP protocol based on path-based forwarding
基于路径转发的IP协议创新
- 批准号:
23H03383 - 财政年份:2023
- 资助金额:
$ 110.06万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
ENVIRONMENTAL CRIMES' INTELLIGENCE AND INVESTIGATION PROTOCOL BASED ON MULTIPLE DATA SOURCES (EMERITUS)
基于多种数据源的环境犯罪情报和调查协议(Emeritus)
- 批准号:
10052759 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
EU-Funded
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
- 批准号:
EP/N027833/2 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
Research Grant
STTR Phase I: Virtual Interfaces using Multi-Protocol, Augmented-Reality Activation-Based Control Transfer
STTR 第一阶段:使用多协议、基于增强现实激活的控制传输的虚拟接口
- 批准号:
2151524 - 财政年份:2022
- 资助金额:
$ 110.06万 - 项目类别:
Standard Grant
Multi Compartment Computation Protocol based on DSbD
基于DSbD的多室计算协议
- 批准号:
10004545 - 财政年份:2021
- 资助金额:
$ 110.06万 - 项目类别:
Collaborative R&D
Excellence in Research: Actor-Based Modeling and Control of Distributed Networked Autonomous Systems with Fault-Tolerant Protocol Settings
卓越研究:具有容错协议设置的分布式网络自治系统的基于参与者的建模和控制
- 批准号:
2053412 - 财政年份:2021
- 资助金额:
$ 110.06万 - 项目类别:
Standard Grant
Development of a Biomechanically-Based Post-Concussion Return to Play Protocol for Gymnasts
为体操运动员开发基于生物力学的脑震荡后恢复比赛方案
- 批准号:
10456187 - 财政年份:2021
- 资助金额:
$ 110.06万 - 项目类别:
Development of a Biomechanically-Based Post-Concussion Return to Play Protocol for Gymnasts
为体操运动员开发基于生物力学的脑震荡后恢复比赛方案
- 批准号:
10194706 - 财政年份:2021
- 资助金额:
$ 110.06万 - 项目类别:
A New PLS-aware Incentive Routing Protocol Targeting Secure and Efficient Data Delivery in D2D Communication-based IoT Systems
一种新的 PLS 感知激励路由协议,旨在实现基于 D2D 通信的物联网系统中安全高效的数据传输
- 批准号:
20K14742 - 财政年份:2020
- 资助金额:
$ 110.06万 - 项目类别:
Grant-in-Aid for Early-Career Scientists