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

Standard

A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. / Zaichenkov, Pavel ; Tveretina, Olga; Shafarenko, Alex.

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. ed. / Erika Ábrahám; Marieke Huisman. Vol. 9681 Lecture Notes in Computer Science. ed. Switzerland : Springer, 2016. p. 474-488 (http://www.springer.com/series/7408).

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

Harvard

Zaichenkov, 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, Switzerland, pp. 474-488. https://doi.org/10.1007/978-3-319-33693-0_30

APA

Zaichenkov, 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 ed., Vol. 9681, pp. 474-488). (http://www.springer.com/series/7408). Springer. https://doi.org/10.1007/978-3-319-33693-0_30

Vancouver

Zaichenkov P, Tveretina O, Shafarenko A. A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. In Ábrahám E, Huisman M, editors, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science ed. Vol. 9681. Switzerland: Springer. 2016. p. 474-488. (http://www.springer.com/series/7408). https://doi.org/10.1007/978-3-319-33693-0_30

Author

Zaichenkov, Pavel ; Tveretina, Olga ; Shafarenko, Alex. / A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. editor / Erika Ábrahám ; Marieke Huisman. Vol. 9681 Lecture Notes in Computer Science. ed. Switzerland : Springer, 2016. pp. 474-488 (http://www.springer.com/series/7408).

Bibtex

@inproceedings{9827de929f8b427fbc10d9ddbc1bc9e0,
title = "A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces",
abstract = "Modularity and decontextualization are core principles of aservice-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 environmentmust 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 propagaterequirements over an application graph. We present an algorithmthat solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.",
keywords = "service-oriented architecture, interface configuration, constraint satisfaction, satisfiability",
author = "Pavel Zaichenkov and Olga Tveretina and Alex Shafarenko",
note = "Zaichenkov P., Tveretina O., Shafarenko A. (2016) 'A Constraint Satisfaction Method for Configuring Non-local Service Interfaces' In: {\'A}brah{\'a}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",
year = "2016",
month = may,
day = "24",
doi = "10.1007/978-3-319-33693-0_30",
language = "English",
isbn = "978-3-319-33692-3",
volume = "9681",
series = "http://www.springer.com/series/7408",
publisher = "Springer",
pages = "474--488",
editor = "Erika {\'A}brah{\'a}m and Marieke Huisman",
booktitle = "Integrated Formal Methods",
edition = "Lecture Notes in Computer Science",

}

RIS

TY - GEN

T1 - A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

AU - Zaichenkov, Pavel

AU - Tveretina, Olga

AU - Shafarenko, Alex

N1 - 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

PY - 2016/5/24

Y1 - 2016/5/24

N2 - Modularity and decontextualization are core principles of aservice-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 environmentmust 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 propagaterequirements over an application graph. We present an algorithmthat solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.

AB - Modularity and decontextualization are core principles of aservice-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 environmentmust 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 propagaterequirements over an application graph. We present an algorithmthat solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.

KW - service-oriented architecture

KW - interface configuration

KW - constraint satisfaction

KW - satisfiability

U2 - 10.1007/978-3-319-33693-0_30

DO - 10.1007/978-3-319-33693-0_30

M3 - Conference contribution

SN - 978-3-319-33692-3

VL - 9681

T3 - http://www.springer.com/series/7408

SP - 474

EP - 488

BT - Integrated Formal Methods

A2 - Ábrahám, Erika

A2 - Huisman, Marieke

PB - Springer

CY - Switzerland

ER -