Deployment and communication patterns in microservice architectures: A systematic literature review
Context: Microservice is an architectural style that separates large systems into small
functional units to provide better modularity. A key challenge of microservice architecture …
functional units to provide better modularity. A key challenge of microservice architecture …
Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan… - … Languages and Models, 2021 - Springer
Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …
for distributed and scalable applications with flexible synchronization patterns, but also …
MultiScaler: A Multi-Loop Auto-Scaling Approach for Cloud-Based Applications
Cloud computing offers a wide range of services through a pool of heterogeneous Physical
Machines (PMs) hosted on cloud data centers, where each PM can host several Virtual …
Machines (PMs) hosted on cloud data centers, where each PM can host several Virtual …
[HTML][HTML] The ABS simulator toolchain
R Schlatte, EB Johnsen, E Kamburjan… - Science of Computer …, 2022 - Elsevier
ABS is a language for behavioral modeling of distributed, time-and resource-sensitive
communicating systems. ABS is based on an executable actor-based semantics with …
communicating systems. ABS is based on an executable actor-based semantics with …
Detecting deadlocks in formal system models with condition synchronization
E Kamburjan - Electronic Communications of the EASST, 2019 - eceasst.org
We present a novel notion of deadlock for synchronization on arbitrary boolean conditions
and a sound, fully automatic deadlock analysis. Contrary to other approaches, our analysis …
and a sound, fully automatic deadlock analysis. Contrary to other approaches, our analysis …
Bayesian-Driven Automated Scaling in Stream Computing With Multiple QoS Targets
L Zhang, W Zheng, K Zheng, H Zhu… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Stream processing systems commonly work with auto-scaling to ensure resource efficiency
and quality of service (QoS). Existing auto-scaling solutions lack accuracy in resource …
and quality of service (QoS). Existing auto-scaling solutions lack accuracy in resource …
Release the beasts: When formal methods meet real world data
R Schlatte, EB Johnsen, J Mauro… - It's All About …, 2018 - Springer
It is well-known that the difference between theory and practice seems smaller in theory than
in practice. From the perspective of the coordinator, the coordinated components play the …
in practice. From the perspective of the coordinator, the coordinated components play the …
Proving Correctness of Parallel Implementations of Transition System Models
FS de Boer, EB Johnsen, VKI Pun… - ACM Transactions on …, 2024 - dl.acm.org
This paper addresses the long-standing problem of program correctness for programs that
describe systems of parallel executing processes. We propose a new method for proving …
describe systems of parallel executing processes. We propose a new method for proving …
Simulating user journeys with active objects
P Kobialka, R Schlatte, GR Bergersen… - Active Object …, 2024 - Springer
The servitization of business makes companies increasingly dependent on providing
carefully designed user experiences for their service offerings. User journeys model services …
carefully designed user experiences for their service offerings. User journeys model services …
Designing distributed control with hybrid active objects
E Kamburjan, R Schlatte, EB Johnsen… - … Applications of Formal …, 2020 - Springer
Abstract Models of distributed software systems extend naturally to cyber-physical systems
“in the large”; ie, systems of loosely coupled software components which interact with …
“in the large”; ie, systems of loosely coupled software components which interact with …