SOA and the Button Problem

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

doi:10.1007/978-3-030-30942-8_40

SOA and the Button Problem

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

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Formal Methods – The Next 30 Years
Subtitle of host publication	Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editors	Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Place of Publication	Cham
Publisher	Springer
Chapter	40
Pages	689-706
Number of pages	18
ISBN (Electronic)	9783030309428
ISBN (Print)	9783030309411
DOIs	https://doi.org/10.1007/978-3-030-30942-8_40
Publication status	Published - 23 Sept 2019
Event	3rd World Congress on Formal Methods - Porto, Portugal Duration: 7 Oct 2019 → 11 Oct 2019 Conference number: 3 http://formalmethods2019.inesctec.pt/

Publication series

Series	Lecture Notes in Computer Science
Volume	11800
ISSN	0302-9743

Symposium

Symposium	3rd World Congress on Formal Methods
Abbreviated title	FM 2019
Country/Territory	Portugal
City	Porto
Period	7/10/19 → 11/10/19
Internet address	http://formalmethods2019.inesctec.pt/

Access to Document

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

Cite this

@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 = sep,

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",

address = "United States",

note = "3rd World Congress on Formal Methods, FM 2019 ; Conference date: 07-10-2019 Through 11-10-2019",

url = "http://formalmethods2019.inesctec.pt/",

}

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 proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - SOA and the Button Problem

AU - Jongmans, Sung-Shik

AU - Lamers, Arjan

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

N1 - Conference code: 3

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

T2 - 3rd World Congress on Formal Methods

Y2 - 7 October 2019 through 11 October 2019

ER -

SOA and the Button Problem

Abstract

Publication series

Symposium

Access to Document

Fingerprint

Cite this