Engineering Foundations of Web Services: Theories and Tool Support
Lead Research Organisation:
Imperial College London
Department Name: Computing
Abstract
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.
Organisations
People |
ORCID iD |
Nobuko Yoshida (Principal Investigator) |
Publications
Carbone M
(2008)
CONCUR 2008 - Concurrency Theory
Coppo M
(2013)
Coordination Models and Languages
Denielou P
(2012)
Parameterised Multiparty Session Types
in Logical Methods in Computer Science
Denielou P
(2012)
Parameterised Multiparty Session Types
DeniƩlou P
(2010)
CONCUR 2010 - Concurrency Theory
DeniƩlou P
(2011)
Dynamic multirole session types
Dezani-Ciancaglini M
(2009)
Objects and session types
in Information and Computation
Honda K
(2011)
Distributed Computing and Internet Technology
Honda K
(2009)
Type-Directed Compilation for Multicore Programming
in Electronic Notes in Theoretical Computer Science
Honda K
(2014)
Concurrent Objects and Beyond
Description | 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. This grant opened collaborations with several industry partners as well as enlarged academic collaborations. In particular, we achieved a theory of multiparty session types and published the result at POPL 2008. |
Exploitation Route | Develop an open source projects, Scribble project at Red Hat JBoss and Savara JBoss Project at Cognizant. |
Sectors | Communities and Social Services/Policy,Digital/Communication/Information Technologies (including Software),Education,Financial Services, and Management Consultancy,Other |
URL | http://www.dcs.gla.ac.uk/~simon/efws/ |
Description | Develop a prototype towards open source project, Scribble under JBoss Red Hat. |
First Year Of Impact | 2012 |
Sector | Digital/Communication/Information Technologies (including Software),Education |
Impact Types | Societal |