Abstract
AbstractWe present
"Image missing", a bounded
"Image missing""Image missing" to statically analyse Quality of Service (
"Image missing") properties of message-passing systems. We consider QoS properties on measurable application-level attributes as well as resource consumption metrics, for example, those relating monetary cost to memory usage. The applicability of
"Image missing" is evaluated through case studies and experiments. A first case study is based on the AWS cloud while a second one analyses a communicating system automatically extracted from code. Additionally, we consider synthetically generated experiments to assess the scalability of
"Image missing". These experiments showed that our model can faithfully capture and effectively analyse QoS properties in industrial-strength scenarios.
Publisher
Springer Nature Switzerland
Reference52 articles.
1. Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding. Formal Aspects Comput. 23(4), 433–463 (2011)
2. Amazon: AWS Lambda Service Level Agreement. https://aws.amazon.com/lambda/sla/
3. Amazon: AWS Lambda Pricing. https://aws.amazon.com/lambda/pricing/
4. World Wide Web Consortium: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. https://www.w3.org/TR/wsdl20/
5. Lopez Pombo, C.G., Martinez Suñé, A.E., Tuosto, E.: A dynamic temporal logic for quality of service in choreographic models. In: Ábrahám, E., Dubslaff, C., Tarifa, S.L.T., eds.: Proceedings of 20th International Colloquium on Theoretical Aspects of Computing - ICTAC 2023. Volume 14446 of Lecture Notes in Computer Science., Lima, Perú, Springer-Verlag (December 2023), pp. 119–138 (2023). https://doi.org/10.1007/978-3-031-47963-2_9