Show simple item record

dc.contributor.authorZaichenkov, Pavel
dc.contributor.authorTveretina, Olga
dc.contributor.authorShafarenko, Alex
dc.contributor.editorÁbrahám, Erika
dc.contributor.editorHuisman, Marieke
dc.date.accessioned2017-01-18T17:29:37Z
dc.date.available2017-01-18T17:29:37Z
dc.date.issued2016-05-24
dc.identifier.citationZaichenkov , P , Tveretina , O & Shafarenko , A 2016 , A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces . in E Ábrahám & M Huisman (eds) , Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings . Lecture Notes in Computer Science edn , vol. 9681 , http://www.springer.com/series/7408 , Springer Nature , Switzerland , pp. 474-488 . https://doi.org/10.1007/978-3-319-33693-0_30
dc.identifier.isbn978-3-319-33692-3
dc.identifier.isbnISBN 978-3-319-33693-0
dc.identifier.otherPURE: 9998406
dc.identifier.otherPURE UUID: 9827de92-9f8b-427f-bc10-d9ddbc1bc9e0
dc.identifier.otherScopus: 84977596703
dc.identifier.urihttp://hdl.handle.net/2299/17534
dc.descriptionZaichenkov 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
dc.description.abstractModularity 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.en
dc.format.extent15
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofIntegrated Formal Methods
dc.relation.ispartofserieshttp://www.springer.com/series/7408
dc.subjectservice-oriented architecture
dc.subjectinterface configuration
dc.subjectconstraint satisfaction
dc.subjectsatisfiability
dc.titleA Constraint Satisfaction Method for Configuring Non-Local Service Interfacesen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionBiocomputation Research Group
dc.identifier.urlhttp://link.springer.com/chapter/10.1007/978-3-319-33693-0_30/fulltext.html
rioxxterms.versionofrecordhttps://doi.org/10.1007/978-3-319-33693-0_30
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record