ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

Nicola, Rocco De; Duong, Tan; Loreti, Michele

doi:10.1007/978-3-030-22397-7_7

Cited by 8 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similar to our implementation of ML-DEECo, components in Ab a CuS are modeled as classes, and processes (performing communication via component attributes similarly to ensembles) are also classes. Another implementation of AbC is ABEL [12] that is a DSL developed in the Erlang language. Dynamic logic for describing ensemble-based communication between components is defined in [21], and it is implemented in a variant of the AbC calculus.…”

Section: Related Workmentioning

confidence: 99%

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

Töpfer¹,

Abdullah²,

Bureš³

et al. 2022

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

View full text Add to dashboard Cite

In this paper, we extend our ensemble-based component model DEECo with the capability to use machine-learning and optimization heuristics in establishing and reconfiguration of autonomic component ensembles. We show how to capture these concepts on the model level and give an example of how such a model can be beneficially used for modeling access-control related problem in the Industry 4.0 settings. We argue that incorporating machine-learning and optimization heuristics is a key feature for modern smart systems which are to learn over the time and optimize their behavior at runtime to deal with uncertainty in their environment.

show abstract

Section: Related Workmentioning

confidence: 99%

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

Töpfer¹,

Abdullah²,

Bureš³

et al. 2022

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

View full text Add to dashboard Cite

show abstract

“…While not strictly ensemble-based, AbaCuS [1] can be also considered here as it employs opportunistic and attribute-based communication among components and it is based on the AbC calculus. Another implementation of this calculus is ABEL [5], which is also a DSL for specifying attribute-based communication among components. In contrast to our approach for DSL creation, ABEL is rather only a set of API calls for the Erlang programming language.…”

Section: Related Workmentioning

confidence: 99%

Using component ensembles for modeling autonomic component collaboration in smart farming

Hnětynka

Bureš

Gerostathopoulos

et al. 2020

Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

View full text Add to dashboard Cite

Smart systems have become key solutions for many application areas including autonomous farming. The trend we can see now in the smart systems is that they shift from single isolated autonomic and self-adaptive components to larger ecosystems of heavily cooperating components. This increases the reliability and often the cost-effectiveness of the system by replacing one big costly device with a number of smaller and cheaper ones. In this paper, we demonstrate the effect of synergistic collaboration among autonomic components in the domain of smart farming-in particular, the use-case we employ in the demonstration stems from the AFar-Cloud EU project. We exploit the concept of autonomic component ensembles to describe situation-dependent collaboration groups (so called ensembles). The paper shows how the autonomic component ensembles can easily capture complex collaboration rules and how they can include both controllable autonomic components (i.e. drones) and non-controllable environment agents (flocks of birds in our case). As part of the demonstration, we provide an open-source implementation that covers both the specification of the autonomic components and ensembles of the use case, and the discrete event simulation and real-time visualization of the use case. We believe this is useful not only to demonstrate the effectiveness of architectures of collaborative autonomic components for dealing with real-life tasks, but also to build further experiments in the domain. CCS CONCEPTS• Computer systems organization → Self-organizing autonomic computing; • Software and its engineering → Domain specific languages; • Applied computing → Agriculture.

show abstract

“…This direct correspondence allows us to automatically translate AbC specifications into ABEL terms for actual executions. More details about ABEL can be found in [114]. To provide evidence of such a direct correspondence, below we provide some ABEL code snippets that are obtained from the AbC processes modelling the customer component of the travel booking scenario.…”

Section: A Travel Booking Scenariomentioning

confidence: 99%

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Nicola

Ferrari

Pugliese

et al. 2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. More specifically, we examine the distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming. We then present an overview of four different languages, namely Klaim, Cows, Scel and AbC. For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments and verification techniques.

show abstract

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

Cited by 8 publications

References 15 publications

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

Using component ensembles for modeling autonomic component collaboration in smart farming

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Contact Info

Product

Resources

About