University of Hertfordshire

By the same authors

A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations
Original languageEnglish
Title of host publicationIntegrated Formal Methods
Subtitle of host publication12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
EditorsErika Ábrahám, Marieke Huisman
Place of PublicationSwitzerland
PublisherSpringer
Pages474-488
Number of pages15
Volume9681
EditionLecture Notes in Computer Science
ISBN (Electronic)ISBN 978-3-319-33693-0
ISBN (Print)978-3-319-33692-3
DOIs
StatePublished - 24 May 2016

Publication series

Namehttp://www.springer.com/series/7408
PublisherSpringer

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.

Notes

Zaichenkov P., Tveretina O., Shafarenko A. (2016) 'A Constraint Satisfaction Method for Configuring Non-local Service Interfaces' In: Ábrahám E., Huisman M. (eds) Integrated Formal Methods. IFM 2016. Lecture Notes in Computer Science, vol 9681. Springer, Cham. First online: 24 May 2016. Final, published version available online at doi:10.1007/978-3-319-33693-0_30 Series ISNN 0302-9743

ID: 9998406