A survey of active object languages

FD Boer, V Serbanescu, R Hähnle, L Henrio… - ACM Computing …, 2017 - dl.acm.org
To program parallel systems efficiently and easily, a wide range of programming models
have been proposed, each with different choices concerning synchronization and …

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 …

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS

E Albert, FS de Boer, R Hähnle, EB Johnsen… - … Oriented Computing and …, 2014 - Springer
We demonstrate by a case study of an industrial distributed system how performance,
resource consumption, and deployment on the cloud can be formally modeled and analyzed …

[HTML][HTML] Formal modeling and analysis of railway operations with active objects

E Kamburjan, R Hähnle, S Schön - Science of Computer Programming, 2018 - Elsevier
We present a comprehensive model of railway operations written in the active object
language ABS. The model is based on specifications taken from the rulebooks of Deutsche …

[HTML][HTML] Predicting resource consumption of Kubernetes container systems using resource models

G Turin, A Borgarelli, S Donetti, F Damiani… - Journal of Systems and …, 2023 - Elsevier
Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …

[HTML][HTML] Integrating deployment architectures and resource consumption in timed object-oriented models

EB Johnsen, R Schlatte, SLT Tarifa - … of Logical and Algebraic Methods in …, 2015 - Elsevier
Software today is often developed for many deployment scenarios; the software may be
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …

[HTML][HTML] The rewriting logic semantics project: A progress report

J Meseguer, G Roşu - Information and Computation, 2013 - Elsevier
Rewriting logic is an executable logical framework well suited for the semantic definition of
languages. Any such framework has to be judged by its effectiveness to bridge the existing …

[HTML][HTML] Deductive verification of active objects with crowbar

E Kamburjan, M Scaletta, N Rollshausen - Science of Computer …, 2023 - Elsevier
We present Crowbar, a deductive verification tool for the Active Object language ABS.
Crowbar implements novel specification approaches specifically for distributed systems. For …

A formal model of the kubernetes container framework

G Turin, A Borgarelli, S Donetti, EB Johnsen… - … Applications of Formal …, 2020 - Springer
Loosely-coupled distributed systems organized as collections of so-called cloud-native
microservices are able to adapt to traffic in very fine-grained and flexible ways. For this …

ABS-YARN: A formal framework for modeling Hadoop YARN clusters

JC Lin, IC Yu, EB Johnsen, MC Lee - International Conference on …, 2016 - Springer
In cloud computing, software which does not flexibly adapt to deployment decisions either
wastes operational resources or requires reengineering, both of which may significantly …