Back to Search
Start Over
SOA and the button problem
- Source :
- Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, 689-706, STARTPAGE=689;ENDPAGE=706;TITLE=Formal Methods – The Next 30 Years, Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706, 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 . 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, Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, 689-706. Cham : Springer, STARTPAGE=689;ENDPAGE=706;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, Lecture Notes in Computer Science ISBN: 9783030309411, FM
- Publication Year :
- 2019
-
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.
- Subjects :
- Service (systems architecture)
Computer science
business.industry
Interoperability
020206 networking & telecommunications
020207 software engineering
02 engineering and technology
Loose coupling
0202 electrical engineering, electronic engineering, information engineering
Key (cryptography)
Architecture
Digital Security
Software engineering
business
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-030-30941-1
- ISSN :
- 03029743
- ISBNs :
- 9783030309411
- Database :
- OpenAIRE
- Journal :
- Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, 689-706, STARTPAGE=689;ENDPAGE=706;TITLE=Formal Methods – The Next 30 Years, Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706, 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 . 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, Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, 689-706. Cham : Springer, STARTPAGE=689;ENDPAGE=706;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, Lecture Notes in Computer Science ISBN: 9783030309411, FM
- Accession number :
- edsair.doi.dedup.....c82b9201aa82ecc773b72586e51d2aba