%0 Conference Proceedings
%T Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
%+ University of Oslo (UiO)
%A Schlatte, Rudolf
%A Johnsen, Einar, Broch
%A Kamburjan, Eduard
%A Tapia Tarifa, Silvia, Lizeth
%Z Part 1: Tutorial
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Ferruccio Damiani
%Y Ornela Dardha
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12717
%P 3-19
%8 2021-06-14
%D 2021
%R 10.1007/978-3-030-78142-2_1
%K Resource-sensitive behavior
%K Cloud computing
%K Distributed actor systems
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Actor languages decouple communication from synchronization, which makes them suitable for distributed and scalable applications with flexible synchronization patterns, but also facilitates analysis. ABS is a timed actor-based modeling language which supports cooperative scheduling and the specification of timing- and resource-sensitive behavior. Cooperative scheduling allows a process which is executing in an actor to be suspended while it is waiting for an event to occur, such that another process in the same actor can execute. Timed semantics allows the specification of the temporal behavior of the modeled system. Resource-sensitive behavior takes a supply and demand perspective of execution, relating cost centers which provision resources to processes which require them. These modeling concepts have been used in ABS to model cloud computing, e.g., data-processing applications running on the Hadoop platform and micro-services running on containers orchestrated by Kubernetes. In this tutorial, we present ABS and its execution environment, and discuss the use of cooperative scheduling and resources in modeling cyber-physical systems and applications deployed on virtualized infrastructure.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03387836/document
%2 https://inria.hal.science/hal-03387836/file/509400_1_En_1_Chapter.pdf
%L hal-03387836
%U https://inria.hal.science/hal-03387836
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12717