Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Abstract. Domain experts may use novel tools that allow them to design and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochastic systems requires software engineers to carefully specify such systems in low level and specific languages. In this work we line up both scenarios, specific domain modeling and statistical analysis. Specifically, we have extended the e-Motions system, a framework to develop real-time domain-specific languages where the behavior is specified in a natural way by in-place transformation rules, to support the statistical analysis of systems defined using it. We discuss how restricted e-Motions systems are used to produce Maude corresponding specifications, using a model transformation from e-Motions to Maude, which comply with the restrictions of the VeStA tool, and which can therefore be used to perform statistical analysis on the stochastic systems thus generated. We illustrate our approach with a very simple messaging distributed system.

show abstract

“…VeStA and PVeStA have been used for the analysis of systems and algorithms by different authors (see, e.g., [1,16,8]). …”

Section: The Vesta/pvesta Toolmentioning

confidence: 99%

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

Durán

Moreno-Delgado

Álvarez-Palomo

2016

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…PSCEL operational rules are similar to those presented in Section 2.3, therefore in Table 15 we only report some significant ones 11 . As a matter of notation, I.p indicates the process part of component I and, when s = , s.P stands for P .…”

Section: Pscel: Policed Scelmentioning

confidence: 99%

“…As usual (especially in the Maude context, e.g. [6,11,2,25]), in order to perform statistical analysis it is necessary to obtain probabilistic behaviours out of non-deterministic ones by resolving non-determinism in probabilistic choices. For this reason, we defined a Java wrapper for MISSCEL together with a set of external schedulers which permit to obtain probabilistic simulations of SCEL specifications, which can then be exploited by MultiVeStA to perform statistical model checking.…”

Section: Maude-based Verificationmentioning

confidence: 99%

The SCEL Language: Design, Implementation, Verification

Nicola

Latella

Lafuente

et al. 2015

Software Engineering for Collective Autonomic Systems

Self Cite

View full text Add to dashboard Cite

Abstract. SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.

show abstract

“…Note that, while the tower of reflection relies on a white-box architecture, the Russian Dolls approach can deal equally well with black-box components, because wrapped configurations can be managed by message passing. RRD has been further exploited for modeling policy-based coordination [73], for the design of PAGODA, a modular architecture for specifying autonomous systems [74], in the composite actors used in [32], and, by ourselves, in the design and analysis of self-assembly strategies for robot swarms [21].…”

Section: Rule-based Models For Adaptationmentioning

confidence: 99%

A White Box Perspective on Behavioural Adaptation

Bruni

Corradini

Gadducci

et al. 2015

Software, Services, and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. We present a white-box conceptual framework for adaptation developed in the context of the EU Project ASCENS coordinated by Martin Wirsing. We called it CoDa, for Control Data Adaptation, since it is based on the notion of control data. CoDa promotes a neat separation between application and adaptation logic through a clear identification of the set of data that is relevant for the latter. The framework provides an original perspective from which we survey a representative set of approaches to adaptation, ranging from programming languages and paradigms to computational models and architectural solutions.

show abstract

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Cited by 17 publications

References 21 publications

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

The SCEL Language: Design, Implementation, Verification

A White Box Perspective on Behavioural Adaptation

Contact Info

Product

Resources

About