A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks

Carreton, Andoni Lombide; D'Hondt, Theo

doi:10.1007/978-3-642-13414-2_6

Cited by 4 publications

(3 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several coordination models and languages exist to support the development of edge-ward distributed application such as [11], [12]. Although they provide a mean for application decomposition and distribution, they lack support for context-dependent logic or inter-component constraints.…”

Section: Related Workmentioning

confidence: 99%

Fog at the Edge: Experiences Building an Edge Computing Platform

Giang

Lea

Blackstock³

et al. 2018

2018 IEEE International Conference on Edge Computing (EDGE)

View full text Add to dashboard Cite

Technology advancement has pushed computation to the network edge, paving the way for a class of IoT applications that leverage CPU, storage and communications in edge devices. Building these new IoT applications is not an easy task however. Two key challenges include: supporting the dynamic nature of the edge network and the context-dependent characteristics of application logic. In this paper we report our experience in building an edge computing platform that uses a distributed data flow programming model based on the popular open source Node-RED tool. We describe some of the challenges we faced as well as some novel solutions that were implemented in our platform. A new approach in applying the concept of exogenous coordination is also presented and shown to be necessary in building large scale IoT applications across the edge, fog and cloud.

show abstract

Section: Related Workmentioning

confidence: 99%

Fog at the Edge: Experiences Building an Edge Computing Platform

Giang

Lea

Blackstock³

et al. 2018

2018 IEEE International Conference on Edge Computing (EDGE)

View full text Add to dashboard Cite

show abstract

“…A coordination model to manage collaborative real-time editing work is proposed in [24]. A visual dataflow language tailored towards mobile applications is presented [25] as a separate coordination language to express the interactions among mobile components that operate on data streams.…”

Section: Related Workmentioning

confidence: 99%

Coordination operators and their composition under the actor-role-coordinator (ARC) model

Song

Ren

2011

SIGBED Rev.

View full text Add to dashboard Cite

For large open and distributed real-time applications, coordination constraints among concurrent, spatially distributed and autonomous entities can be complex. The Actor-Role-Coordinator (ARC) model we developed earlier [1] introduced the concept of roles which are abstractions of behaviors that are to be coordinated. Each role's behaviors may be shared by many concurrent entities, or played by many actors. Based on the role concept, coordination activities in large systems are partitioned into inter-role and intra-role coordinations to mitigate the coordination complexity. This paper focuses on coordination primitives and the composition of these primitives in forming more complex intra-role and inter-role coordination constraints. In particular, we define two primitive coordination operators, i.e., precede ( t) and select ( p), and use them to express temporal and spacial (with respect to actor system's behavioral space) coordination constraints among concurrent and autonomous actors. We further provide an operational semantics for these operators under the ARC model and provide case studies to illustrate their expressiveness in specifying complex coordination constraints.

show abstract

“…This partial adherence of peer-to-peer networking to several coordination models is currently not singular. In [18], the authors propose the separation of the coarse grained (coordination) control flow into several event handlers that coordinate (via events) the mobile applications. In their turns, the event handlers need to communicate with each other, typically implicitly, via shared data.…”

Section: Introductionmentioning

confidence: 99%

Node Coordination in Peer-to-Peer Networks

Petre

Sandvik

Sere

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Peer-to-peer networks and other many-to-many relations have become popular especially for content transfer. To better understand and trust these types of networks, we need formally derived and verified models for them. Due to the large scale and heterogeneity of these networks, it may be difficult and cumbersome to create and analyse complete models. In this paper, we employ the modularisation approach of the Event-B formalism to model the separation of the functionality of each peer in a peer-to-peer network from the network structure itself, thereby working towards a distributed, formally derived and verified model of a peer-to-peer network. As coordination aspects are fundamental in the network structure, we focus our formalisation effort in this paper especially on these. The resulted approach demonstrates considerable expressivity in modelling coordination aspects in peer-to-peer networks.

show abstract

A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks

Cited by 4 publications

References 25 publications

Fog at the Edge: Experiences Building an Edge Computing Platform

Fog at the Edge: Experiences Building an Edge Computing Platform

Coordination operators and their composition under the actor-role-coordinator (ARC) model

Node Coordination in Peer-to-Peer Networks

Contact Info

Product

Resources

About