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
Conference number: 3
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

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). Springer. Lecture Notes in Computer Science, Vol.. 11800 https://doi.org/10.1007/978-3-030-30942-8_40