Abstract
Modularity and decontextualization are core principles of a
service-oriented architecture. However, the principles are often lost when it comes to an implementation of services due to rigid service interfaces. This paper focuses on a two-fold problem. On the one hand, the interface description language must be flexible for maintaining service compatibility in different contexts without modification of the service itself. On the other hand, the composition of interfaces in a distributed environment
must be provably consistent. We present a novel approach for automatic interface configuration in distributed services. We introduce a Message Definition Language (MDL), an interface description language with support of subtyping, flow inheritance and polymorphism. The MDL supports configuration variables that link input and output interfaces of a service and propagate
requirements over an application graph. We present an algorithm
that solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.
service-oriented architecture. However, the principles are often lost when it comes to an implementation of services due to rigid service interfaces. This paper focuses on a two-fold problem. On the one hand, the interface description language must be flexible for maintaining service compatibility in different contexts without modification of the service itself. On the other hand, the composition of interfaces in a distributed environment
must be provably consistent. We present a novel approach for automatic interface configuration in distributed services. We introduce a Message Definition Language (MDL), an interface description language with support of subtyping, flow inheritance and polymorphism. The MDL supports configuration variables that link input and output interfaces of a service and propagate
requirements over an application graph. We present an algorithm
that solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.
| Original language | English |
|---|---|
| Title of host publication | Integrated Formal Methods |
| Subtitle of host publication | 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings |
| Editors | Erika Ábrahám, Marieke Huisman |
| Place of Publication | Switzerland |
| Publisher | Springer Nature |
| Pages | 474-488 |
| Number of pages | 15 |
| Volume | 9681 |
| Edition | Lecture Notes in Computer Science |
| ISBN (Electronic) | ISBN 978-3-319-33693-0 |
| ISBN (Print) | 978-3-319-33692-3 |
| DOIs | |
| Publication status | Published - 24 May 2016 |
Publication series
| Name | http://www.springer.com/series/7408 |
|---|---|
| Publisher | Springer |
Keywords
- service-oriented architecture
- interface configuration
- constraint satisfaction
- satisfiability