Engineering Foundations of Web Services: Theories and Tool Support

Web 服务的工程基础:理论和工具支持

基本信息

  • 批准号:
    EP/F003757/1
  • 负责人:
  • 金额:
    $ 40.57万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2008
  • 资助国家:
    英国
  • 起止时间:
    2008 至 无数据
  • 项目状态:
    已结题

项目摘要

Recent years have seen the emergence of a new style of development of distributed software applications, such as e-commerce web sites. This style is known as web services , and is characterised by the notion that a machine-readable web site , or web service, provides information to a software application in the same way that a conventional web site provides information to a human user. Web services thus provides an infrastructure for the development of distributed applications which are able to integrate information and computational resources from diverse locations into a single service provided to the end-user. At the infrastructural level, web services offer powerful and general universal infrastructure for naming, communication and data representation to diverse kinds of applications. For software development, web services represent a fundamental transformation of software development style in the main stream of application development, and this leads to a number of engineering challenges which must be addressed in order to establish sound programming methodologies for the delivery of safe, secure and robust systems. This project will build on established theories of communication-based systems and transfer them to the arena of web services, in order to provide a foundation for software development techniques and tools to support successful programming in this new style.
近年来,出现了一种新的分布式软件应用程序开发风格,例如电子商务网站。这种风格被称为Web服务,其特征在于机器可读网站或Web服务以与传统网站向人类用户提供信息相同的方式向软件应用程序提供信息的概念。因此,Web服务为分布式应用程序的开发提供了基础设施,这些应用程序能够将来自不同位置的信息和计算资源集成到提供给最终用户的单个服务中。在基础设施级别,Web服务为各种应用程序的命名、通信和数据表示提供了强大的通用基础设施。对于软件开发,Web服务代表了应用程序开发主流中软件开发风格的根本转变,这导致了一些必须解决的工程挑战,以便建立可靠的编程方法,以交付安全,可靠和强大的系统。这个项目将建立在已建立的基于通信的系统的理论,并将它们转移到Web服务的竞技场,以提供一个软件开发技术和工具的基础,以支持这种新风格的成功编程。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
基于会话的并行算法编程:表现力和性能
Formal Methods for Web Services
Web 服务的形式化方法
  • DOI:
    10.1007/978-3-642-01918-0_5
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Carbone M
  • 通讯作者:
    Carbone M
Automata, Languages and Programming
自动机、语言和编程
  • DOI:
    10.1007/978-3-540-70583-3_9
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Berger M
  • 通讯作者:
    Berger M
Synchronous Multiparty Session Types
Global escape in multiparty sessions
多方会话中的全局逃逸
{{ 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) 固定的蛋白质进行系统肽片段化。
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
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
  • 批准号:
    EP/T014709/2
  • 财政年份:
    2022
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
  • 批准号:
    EP/T006544/2
  • 财政年份:
    2022
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Fellowship
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
  • 批准号:
    EP/T014709/1
  • 财政年份:
    2020
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
POST: Protocols, Observabilities and Session Types
POST:协议、可观察性和会话类型
  • 批准号:
    EP/T006544/1
  • 财政年份:
    2020
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Fellowship
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
海龟:分布式多代理系统的基于协议的基础
  • 批准号:
    EP/N027833/1
  • 财政年份:
    2016
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
通过多方会话类型对分布式系统进行基于会话的治理
  • 批准号:
    EP/K011715/1
  • 财政年份:
    2013
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
Multiparty Session Types: Theory and Conversation-Oriented Programming
多方会话类型:理论和面向对话的编程
  • 批准号:
    EP/G015635/1
  • 财政年份:
    2009
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant
Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness
移动计算基于类型的安全性:完整性、保密性和活跃性
  • 批准号:
    GR/T03215/01
  • 财政年份:
    2006
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Research Grant

相似海外基金

"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2018
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2017
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
  • 批准号:
    341422-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Discovery Grants Program - Individual
Foundations of Secure Web Programming
安全网络编程的基础
  • 批准号:
    EP/I004246/1
  • 财政年份:
    2010
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Fellowship
TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems
TC:媒介:协作研究:重写下一代可信赖网络系统验证和编程的逻辑基础
  • 批准号:
    0905584
  • 财政年份:
    2009
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Standard Grant
TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems
TC:媒介:协作研究:重写下一代可信赖网络系统验证和编程的逻辑基础
  • 批准号:
    0905607
  • 财政年份:
    2009
  • 资助金额:
    $ 40.57万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了