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
Alves N
(2011)
Secure Execution of Distributed Session Programs
in Electronic Proceedings in Theoretical Computer Science
Bejleri A
(2009)
Synchronous Multiparty Session Types
in Electronic Notes in Theoretical Computer Science
Bejleri A
(2010)
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
in Electronic Proceedings in Theoretical Computer Science
Berger M
(2008)
Automata, Languages and Programming
Bettini L
(2008)
CONCUR 2008 - Concurrency Theory
CAPECCHI S
(2014)
Global escape in multiparty sessions
in Mathematical Structures in Computer Science
Carbone M
(2009)
Formal Methods for Web Services
Carbone M
(2008)
Theoretical Aspects of Communication-Centred Programming
in Electronic Notes in Theoretical Computer Science
Carbone M
(2012)
Structured Communication-Centered Programming for Web Services
in ACM Transactions on Programming Languages and Systems
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
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
Pugliese R
(2009)
A Symbolic Semantics for a Calculus for Service-Oriented Computing
in Electronic Notes in Theoretical Computer Science
Pugliese R
(2009)
Automata, Languages and Programming
Varacca D
(2010)
Typed event structures and the linear p -calculus
in Theoretical Computer Science
Vasconcelos V
(2009)
Preface
in Electronic Notes in Theoretical Computer Science
Yoshida N
(2009)
Formal Methods for Components and Objects
Yoshida N
(2008)
Logical Reasoning for Higher-Order Functions with Local State
in Logical Methods in Computer Science
Yoshida N
(2010)
Foundations of Software Science and Computational Structures
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 |