Distributed Network Generation Based on Preferential Attachment in ABS

Azadbakht, Keyvan; Bezirgiannis, Nikolaos; Boer, Frank S. de

doi:10.1007/978-3-319-51963-0_9

Cited by 4 publications

(9 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Beside a higher level of abstraction at the programming level thanks to our proposed feature, the distributed runtime system provides more than 6× speed-up performance compared to the same implementation without using the feature, presented in [11]. The results are illustrated in Fig.…”

Section: Resultsmentioning

confidence: 95%

“…Modeling and implementation of the above-mentioned system is for standard ABS already extensively investigated for both multi-core [10] and distributed [11] architectures in the ABS language. Here we focus on how our proposed notion of streams influences the performance of the system presented in [11].…”

Section: Case Studymentioning

confidence: 99%

“…Here we focus on how our proposed notion of streams influences the performance of the system presented in [11]. To adopt data streams, we have modified the communication pattern of the active objects, where instead of one request per message, a batch of requests is sent to an active object via one method invocation and the return values are streamed to the caller via data streaming.…”

Section: Case Studymentioning

confidence: 99%

See 2 more Smart Citations

On Futures for Streaming Data in ABS

Azadbakht

Bezirgiannis

Boer

2017

Formal Techniques for Distributed Objects, Components, and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. 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.

show abstract

Section: Resultsmentioning

confidence: 95%

Section: Case Studymentioning

confidence: 99%

Section: Case Studymentioning

confidence: 99%

See 1 more Smart Citation

On Futures for Streaming Data in ABS

Azadbakht

Bezirgiannis

Boer

2017

Formal Techniques for Distributed Objects, Components, and Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [12] a scalable distributed implementation of the ABS language is described. In this section we adapt our proposed notion of data streams in ABS to reduce the possible overhead of data steaming in a distributed setting.…”

Section: Data Streams In Distributed Systemsmentioning

confidence: 99%

A formal actor-based model for streaming the future

Azadbakht

Boer

Bezirgiannis

et al. 2020

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Asynchronous Actor-based programming has gained increasing attention as a model of concurrency and distribution. The Abstract Behavioral Specification (ABS) language is an actor-based programming language that has been developed for both the modeling and formal analysis of distributed systems. In ABS, actors are modeled as concurrent objects that communicate by asynchronous method calls. Return values are also communicated asynchronously via return statements and so-called futures. Many modern distributed software applications require a form of continuous interaction between their components which consists of streaming data from a server to its clients. In this paper, we extend the ABS language in order to support the streaming of data. We introduce the notion of "future-based data streams" by augmenting the syntax, type system, and operational semantics of ABS. As a proof of concept, we further discuss a prototype implementation for supporting future-based data streams on top of ABS, and discuss the impact of the use of these data streams in ABS on the performance in the implementation of a distributed application for the generation of social networks.

show abstract

“…This model allows for controlled suspension and resumption of the executing method invocation and so-called cooperative scheduling of another method invocation of the actor. In [3,4], this mechanism is used to implement the well-established algorithms for social network simulation.…”

Section: Introductionmentioning

confidence: 99%

Deadlock Detection for Actor-Based Coroutines

2018

Self Cite

View full text Add to dashboard Cite

Abstract. The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode of method execution.

show abstract

Distributed Network Generation Based on Preferential Attachment in ABS

Cited by 4 publications

References 19 publications

On Futures for Streaming Data in ABS

On Futures for Streaming Data in ABS

A formal actor-based model for streaming the future

Deadlock Detection for Actor-Based Coroutines

Contact Info

Product

Resources

About