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


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
Number of pages18
ISBN (Electronic)9783030309428
ISBN (Print)9783030309411
Publication statusPublished - 23 Sept 2019
Event3rd World Congress on Formal Methods - Porto, Portugal
Duration: 7 Oct 201911 Oct 2019
Conference number: 3

Publication series

SeriesLecture Notes in Computer Science


Symposium3rd World Congress on Formal Methods
Abbreviated titleFM 2019
Internet address


Dive into the research topics of 'SOA and the Button Problem'. Together they form a unique fingerprint.

Cite this