SOA and the Button Problem

Sung-Shik Jongmans*, Arjan Lamers, M.C.J.D. van Eekelen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

Service-oriented architecture (SOA) is a popular architectural style centered around services, loose coupling, and interoperability. A recurring problem in SOA development is the Button Problem; how to ensure that whenever a “button is pressed” on some service—no matter what—the performance of other key services remains unaffected? The Button Problem is especially complex to solve in systems that have devolved into hardly comprehensible spaghettis of service dependencies.

In a collaborative effort with industry partner First8, we present the first formal framework to help SOA developers solve the Button Problem, enabling automated reasoning about service sensitivities and candidate refactorings. Our formalization provides a rigorous foundation for a tool that was already successfully evaluated in industrial case studies, and it is built against two unique requirements: “whiteboard level of abstraction” and non-quantitative analysis.
Original languageEnglish
Title of host publicationFormal Methods – The Next 30 Years
Subtitle of host publicationThird World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
EditorsMaurice H. ter Beek, Annabelle McIver, José N. Oliveira
Place of PublicationCham
PublisherSpringer
Chapter40
Pages689-706
Number of pages18
ISBN (Electronic)9783030309428
ISBN (Print)9783030309411
DOIs
Publication statusPublished - 23 Sep 2019
Event3rd World Congress on Formal Methods - Porto, Portugal
Duration: 7 Oct 201911 Oct 2019
http://formalmethods2019.inesctec.pt/

Publication series

SeriesLecture Notes in Computer Science
Volume11800
ISSN0302-9743

Symposium

Symposium3rd World Congress on Formal Methods
Abbreviated titleFM 2019
CountryPortugal
CityPorto
Period7/10/1911/10/19
Internet address

Fingerprint

Service oriented architecture (SOA)
Interoperability
Industry

Cite this

Jongmans, S-S., Lamers, A., & van Eekelen, M. C. J. D. (2019). SOA and the Button Problem. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (pp. 689-706). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11800 https://doi.org/10.1007/978-3-030-30942-8_40
Jongmans, Sung-Shik ; Lamers, Arjan ; van Eekelen, M.C.J.D. / SOA and the Button Problem. Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. editor / Maurice H. ter Beek ; Annabelle McIver ; José N. Oliveira. Cham : Springer, 2019. pp. 689-706 (Lecture Notes in Computer Science, Vol. 11800).
@inproceedings{f4188e61562c48418afec54301092e65,
title = "SOA and the Button Problem",
abstract = "Service-oriented architecture (SOA) is a popular architectural style centered around services, loose coupling, and interoperability. A recurring problem in SOA development is the Button Problem; how to ensure that whenever a “button is pressed” on some service—no matter what—the performance of other key services remains unaffected? The Button Problem is especially complex to solve in systems that have devolved into hardly comprehensible spaghettis of service dependencies.In a collaborative effort with industry partner First8, we present the first formal framework to help SOA developers solve the Button Problem, enabling automated reasoning about service sensitivities and candidate refactorings. Our formalization provides a rigorous foundation for a tool that was already successfully evaluated in industrial case studies, and it is built against two unique requirements: “whiteboard level of abstraction” and non-quantitative analysis.",
author = "Sung-Shik Jongmans and Arjan Lamers and {van Eekelen}, M.C.J.D.",
year = "2019",
month = "9",
day = "23",
doi = "10.1007/978-3-030-30942-8_40",
language = "English",
isbn = "9783030309411",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "689--706",
editor = "{ter Beek}, {Maurice H.} and Annabelle McIver and Oliveira, {Jos{\'e} N.}",
booktitle = "Formal Methods – The Next 30 Years",

}

Jongmans, S-S, Lamers, A & van Eekelen, MCJD 2019, SOA and the Button Problem. in MH ter Beek, A McIver & JN Oliveira (eds), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Springer, Cham, Lecture Notes in Computer Science, vol. 11800, pp. 689-706, 3rd World Congress on Formal Methods, Porto, Portugal, 7/10/19. https://doi.org/10.1007/978-3-030-30942-8_40

SOA and the Button Problem. / Jongmans, Sung-Shik; Lamers, Arjan; van Eekelen, M.C.J.D.

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ed. / Maurice H. ter Beek; Annabelle McIver; José N. Oliveira. Cham : Springer, 2019. p. 689-706 (Lecture Notes in Computer Science, Vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - SOA and the Button Problem

AU - Jongmans, Sung-Shik

AU - Lamers, Arjan

AU - van Eekelen, M.C.J.D.

PY - 2019/9/23

Y1 - 2019/9/23

N2 - Service-oriented architecture (SOA) is a popular architectural style centered around services, loose coupling, and interoperability. A recurring problem in SOA development is the Button Problem; how to ensure that whenever a “button is pressed” on some service—no matter what—the performance of other key services remains unaffected? The Button Problem is especially complex to solve in systems that have devolved into hardly comprehensible spaghettis of service dependencies.In a collaborative effort with industry partner First8, we present the first formal framework to help SOA developers solve the Button Problem, enabling automated reasoning about service sensitivities and candidate refactorings. Our formalization provides a rigorous foundation for a tool that was already successfully evaluated in industrial case studies, and it is built against two unique requirements: “whiteboard level of abstraction” and non-quantitative analysis.

AB - Service-oriented architecture (SOA) is a popular architectural style centered around services, loose coupling, and interoperability. A recurring problem in SOA development is the Button Problem; how to ensure that whenever a “button is pressed” on some service—no matter what—the performance of other key services remains unaffected? The Button Problem is especially complex to solve in systems that have devolved into hardly comprehensible spaghettis of service dependencies.In a collaborative effort with industry partner First8, we present the first formal framework to help SOA developers solve the Button Problem, enabling automated reasoning about service sensitivities and candidate refactorings. Our formalization provides a rigorous foundation for a tool that was already successfully evaluated in industrial case studies, and it is built against two unique requirements: “whiteboard level of abstraction” and non-quantitative analysis.

U2 - 10.1007/978-3-030-30942-8_40

DO - 10.1007/978-3-030-30942-8_40

M3 - Conference article in proceeding

SN - 9783030309411

T3 - Lecture Notes in Computer Science

SP - 689

EP - 706

BT - Formal Methods – The Next 30 Years

A2 - ter Beek, Maurice H.

A2 - McIver, Annabelle

A2 - Oliveira, José N.

PB - Springer

CY - Cham

ER -

Jongmans S-S, Lamers A, van Eekelen MCJD. SOA and the Button Problem. In ter Beek MH, McIver A, Oliveira JN, editors, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Cham: Springer. 2019. p. 689-706. (Lecture Notes in Computer Science, Vol. 11800). https://doi.org/10.1007/978-3-030-30942-8_40