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
Honda K
(2009)
A Unified Theory of Program Logics: An Approach based on the -Calculus
in The Computer Journal
Honda K
(2008)
Multiparty asynchronous session types
Hu R
(2010)
ECOOP 2010 - Object-Oriented Programming
Hu R
(2008)
ECOOP 2008 - Object-Oriented Programming
Kouzapas D
(2011)
Formal Techniques for Distributed Systems
Mostrous D
(2009)
Programming Languages and Systems
Mostrous D
(2009)
Typed Lambda Calculi and Applications
Ng N
(2011)
Coordination Models and Languages
Ng N
(2012)
Objects, Models, Components, Patterns
Nielsen L
(2010)
Multiparty Symmetric Sum Types
in Electronic Proceedings in Theoretical Computer Science
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 |