A survey of active object languages
To program parallel systems efficiently and easily, a wide range of programming models
have been proposed, each with different choices concerning synchronization and …
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 …
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
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 …
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 …
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
Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …
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 …
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 …
languages. Any such framework has to be judged by its effectiveness to bridge the existing …
[HTML][HTML] Deductive verification of active objects with crowbar
We present Crowbar, a deductive verification tool for the Active Object language ABS.
Crowbar implements novel specification approaches specifically for distributed systems. For …
Crowbar implements novel specification approaches specifically for distributed systems. For …
A formal model of the kubernetes container framework
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 …
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
In cloud computing, software which does not flexibly adapt to deployment decisions either
wastes operational resources or requires reengineering, both of which may significantly …
wastes operational resources or requires reengineering, both of which may significantly …