Name
Abstract | ||
|---|---|---|
We put forward an interface and component algebra through which we characterise fundamental structures that support service-oriented design independently of the specific formalisms that may be adopted to provide models for languages or analysis tools. We view services as an interface mechanism that can be superposed over a component infrastructure, what is sometimes referred to as a 'service overlay'. The component algebra consists of networks of processes that interact asynchronously through communication channels. A service interface offers properties to potential clients and requires properties of external services that, at run time, may need to be discovered and bound to the orchestration of the service. We define what it means for an asynchronous relational net to orchestrate a service interface and prove a number of compositionality results that relate the operations of both algebras. One of the major results of the paper is the characterisation of a sub-class of asynchronous relational nets over which we can guarantee that, when binding, through their interfaces, a client and a supplier service, the composition of the orchestrations of the two services is consistent, i.e., both services can work together as interconnected. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1016/j.tcs.2013.05.011 | Fundamental Approaches to Software Engineering |
Keywords | Field | DocType |
analysis tool,asynchronous relational net,service-oriented design,supplier service,component algebra,service overlay,external service,service interface,interface mechanism,interface theory,asynchronous relational,component infrastructure | Service oriented design,Asynchronous communication,Architecture,Programming language,Computer science,Loose coupling,Service Component Architecture,Theoretical computer science,Linear temporal logic,Component (UML) | Journal |
Volume | ISSN | Citations |
503, | 0304-3975 | 10 |
PageRank | References | Authors |
0.51 | 40 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| José Luiz Fiadeiro | 1 | 1567 | 186.97 |
| Antónia Lopes | 2 | 697 | 52.57 |