Context: Microservice is an architectural style that separates large systems into small
functional units to provide better modularity. A key challenge of microservice architecture …

Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …

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 …

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 …

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 …

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 …

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 …

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 …

The servitization of business makes companies increasingly dependent on providing
carefully designed user experiences for their service offerings. User journeys model services …

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 …