Software Abstractions for Component Interaction in the Internet of Things

Bureš, Tomáš; Plášil, František; Kit, Michał; Tůma, Petr; Hoch, Nicklas

doi:10.1109/mc.2016.377

Cited by 32 publications

(24 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…attr.Set("send_try", false) }) 7 }} Process T deals with try-messages ("try", y, z, tid) as mentioned before. If the current round equals the round attached in the message z, then the received message has been originated by another component performing the same round of the algorithm and we have two cases (Lines [12][13][14][15][16][17][18][19]. The first case is executed when the id of the vertex is greater than the id of the message tid, i.e.…”

Section: Case Study: a Distributed Graph Colouringmentioning

confidence: 99%

See 1 more Smart Citation

A distributed API for coordinating AbC programs

Alrahman

Garbi

2020

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

Collective adaptive systems exhibit a particular notion of interaction where environmental conditions largely influence interactions. Previously, we proposed a calculus, named AbC, to model and reason about CAS. The calculus proved to be effective by naturally modelling essential CAS features. However, the question on the tradeoff between its expressiveness and its efficiency, when implemented to program CAS applications, is to be answered. In this article, we propose an efficient and distributed coordination infrastructure for AbC. We prove its correctness, and we evaluate its performance. The main novelty of our approach is that AbC components are infrastructure agnostic. Thus the code of a component does not specify how messages are routed in the infrastructure but rather what properties a target component must satisfy. We also developed a Go API, named GoAt, and an Eclipse plugin to program in a high-level syntax which can be automatically used to generate matching Go code. We showcase our development through a non-trivial case study.

show abstract

Section: Case Study: a Distributed Graph Colouringmentioning

confidence: 99%

“…DEECo [14] and Helena [25] adopt an architecture-based approach to specify ensembles. In general, they impose logical conditions on the membership of ensembles that components have to satisfy.…”

Section: Related Workmentioning

confidence: 99%

A distributed API for coordinating AbC programs

Alrahman

Garbi

2020

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

show abstract

“…From the software design and development perspective, such cooperation needs to take place at the syntactic level (e.g., API matching, language interoperability), at the semantic level (e.g., common vocabulary, contracts for assume-guarantee reasoning), and at the strategic level (such as sharing of goals performed by highlevel tasks). In this work, we focus on cooperation of software components at the strategic level in the first place-assum-ing that they form dynamic groups, also known as component ensembles [1,2]. Specifically, we presume that:…”

Section: Introductionmentioning

confidence: 99%

“…Moreover, ensembles have been suggested to hoist the component cooperation and knowledge distribution concerns in a dynamically changing CPS at the level of software architecture 1 [1]. This has been done in the context of specialized component models and languages such as SCEL [6], DEECo [1], and Helena [7]. By a logical condition upon the ensemble and component actual states, an ensemble's description determines its member components and which particular roles in the ensemble they play.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A language and framework for dynamic component ensembles in smart systems

Bureš

Gerostathopoulos

Hnětynka

et al. 2020

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Smart system applications (SSAs)-a heterogeneous landscape of applications of Internet of things, cyber-physical systems, and smart sensing systems-are composed of autonomous yet inherently cooperating components. An important problem in this area is how to hoist the cooperation of software components forming dynamic groups-ensembles-at the architectural level of an SSA. This is hard since ensembles can overlap, be nested, and be dynamically formed and dismantled based on several criteria. A related problem is how to combine component and ensemble specification with a well-established language supported on multiple platforms. To target these problems, we propose a specification and implementation language Traitbased COmponent Ensemble Language (TCOEL) based on Scala internal DSL, to describe both the architecture and formation of dynamic ensembles of components and their functional internals. To raise the level of expressivity, we introduce the concept of domain-specific extensions (traits) to the TCOEL core to reflect different paradigms' concerns-such as movement in a 2D map, state-space modeling of physical processes, and statistical reasoning about uncertainty. This allows for configuring TCOEL for the needs of a specific SSA use case and, at the same time, facilitates reuse. To evaluate TCOEL, we show how it can be beneficially used in addressing the coordination of agents in a RoboCup Rescue Simulation application.

show abstract

Bibliography

2020

An Introduction to Self‐Adaptive Systems

View full text Add to dashboard Cite

Software Abstractions for Component Interaction in the Internet of Things

Cited by 32 publications

References 7 publications

A distributed API for coordinating AbC programs

A distributed API for coordinating AbC programs

A language and framework for dynamic component ensembles in smart systems

Bibliography

Contact Info

Product

Resources

About