Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

Rudolf Schlatte
  • Fonction : Auteur
  • PersonId : 1114096
Einar Broch Johnsen
  • Fonction : Auteur
  • PersonId : 1015680
Eduard Kamburjan
  • Fonction : Auteur
  • PersonId : 1114099
Silvia Lizeth Tapia Tarifa
  • Fonction : Auteur
  • PersonId : 1114100

Résumé

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.
Fichier principal
Vignette du fichier
509400_1_En_1_Chapter.pdf (652.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03387836 , version 1 (20-10-2021)

Licence

Paternité

Identifiants

Citer

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-78142-2_1⟩. ⟨hal-03387836⟩
25 Consultations
16 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More