An interface theory for service-oriented design

Authors:
José Luiz Fiadeiro;Antónia Lopes
Affiliations:
Department of Computer Science, University of Leicester, Leicester, UK;Faculty of Sciences, University of Lisbon, Lisboa, Portugal
Venue:
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Year:
2011

Citing 18
Cited 4

Logics of time and computation

Logics of time and computation
On Communicating Finite-State Machines

Journal of the ACM (JACM)
Distributed Algorithms

Distributed Algorithms
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Conversation specification: a new approach to design and analysis of e-service composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Introducing Compositionality in Web Service Descriptions

FTDCS '04 Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems
Conversation protocols: a formalism for specification and verification of reactive electronic services

Theoretical Computer Science - Implementation and application of automata
Proceedings of the 14th international conference on World Wide Web

WWW '05 Proceedings of the 14th international conference on World Wide Web
Web service interfaces

WWW '05 Proceedings of the 14th international conference on World Wide Web
Design for verification for asynchronously communicating Web services

WWW '05 Proceedings of the 14th international conference on World Wide Web
Representing, analysing and managing web service protocols

Data & Knowledge Engineering - Special issue: ER 2004
Designing for Software's Social Complexity

Computer
Dealing with change: components versus services

Communications of the ACM
Proofs of Networks of Processes

IEEE Transactions on Software Engineering
Structured communication-centred programming for web services

ESOP'07 Proceedings of the 16th European conference on Programming
Towards a theory of web service choreographies

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
An abstract model of service discovery and binding

Formal Aspects of Computing
Rigorous software engineering for service-oriented systems

Rigorous software engineering for service-oriented systems

A formal model for service-oriented interactions

Science of Computer Programming
Consistency of service composition

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A graph-based design framework for services

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
An interface theory for service-oriented design

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We revisit the notions of interface and component algebra proposed by de Alfaro and Henzinger in [7] for component-based design and put forward elements of a corresponding interface theory for service-oriented design.We view services as a layer that can be added over a component infrastructure and propose a notion of service interface for a component algebra that is an asynchronous version of relational nets adapted to SCA (the Service Component Architecture developed by the Open Service-Oriented Architecture collaboration).