On Futures for Streaming Data in ABS - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

On Futures for Streaming Data in ABS

Keyvan Azadbakht
  • Fonction : Auteur
  • PersonId : 999414
Nikolaos Bezirgiannis
  • Fonction : Auteur
  • PersonId : 1024693
Frank Boer
  • Fonction : Auteur
  • PersonId : 986104

Résumé

Many modern distributed software applications require a continuous interaction between their components exploiting streaming data from the server to the client. The Abstract Behavioral Specification (ABS) language has been developed for the modeling and analysis of distributed systems. In ABS, concurrent objects communicate by calling each other’s methods asynchronously. Return values are communicated asynchronously too via the return statement and so-called futures. In this paper, we extend the basic ABS model of asynchronous method invocation and return in order to support the streaming of data. We introduce the notion of a “Future-based Data Stream” to extend the ABS. The application of this notion and its impact on performance are illustrated by means of a case study in the domain of social networks simulation.
Fichier principal
Vignette du fichier
446833_1_En_5_Chapter.pdf (239.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01658410 , version 1 (07-12-2017)

Licence

Identifiants

Citer

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank Boer. On Futures for Streaming Data in ABS. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.67-73, ⟨10.1007/978-3-319-60225-7_5⟩. ⟨hal-01658410⟩
151 Consultations
53 Téléchargements

Altmetric

Partager

More