Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework

Klarl, Annabelle; Hennicker, Rolf

doi:10.1109/aswec.2014.26

Cited by 7 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…JHelena is a framework for modeling and generation of executable code of highly dynamic ensembles of autonomic distributed components that are modeled using Helena [21] technique. Our approach allows modeling systems with several levels of hierarchy while to our knowledge in Helena approach the composition only occurs at one level.…”

Section: Related Workmentioning

confidence: 99%

Integrated Environment for Verifying and Running Distributed Components

Henrio

Kulankhina

et al. 2016

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

International audienceThis paper targets the generation of distributed applications with safety guarantees. The proposed approach starts from graphical specification formalisms allowing the architectural and behavioral description of component systems. From this point, the user can automatically verify application properties using model-checking techniques. Finally, the specified and verified component model can be translated into executable Java code. We implement our approach in a tool suite distributed as an Eclipse plugin. This paper also illustrates our approach by modeling and verifying Peterson's leader election algorithm

show abstract

Section: Related Workmentioning

confidence: 99%

Integrated Environment for Verifying and Running Distributed Components

Henrio

Kulankhina

et al. 2016

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…Moreover, designing a behaviour for each role of a component (which is implemented by a single thread per role) is much simpler then designing a complex life-cycle for a component which then must integrate all the different tasks a component might be involved. A prototypical, two-layered implementation framework for Helena models is described in [14,13]. The two-layered approach supports also adaptation of components by switching between roles as discussed in [11].…”

Section: Introductionmentioning

confidence: 99%

Role-Based Development of Dynamically Evolving Esembles

Hennicker

2019

Recent Trends in Algebraic Development Techniques

Self Cite

View full text Add to dashboard Cite

An ensemble is a set of computing entities that collaborate to perform a certain task. Typically an ensemble changes dynamically its constitution such that new members can join and other members can leave an ensemble during its execution. The members of an ensemble interact through message exchange. They are modelled as instances of certain role types which can be adopted by components of an underlying component system. We propose a dynamic logic to describe the evolution of ensembles from a global perspective. Using the power of dynamic logic with diamond and box modalities over regular expressions of actions (involving role instance creation, message exchange and component access) we can specify safety and liveness properties as well as desired and forbidden interaction scenarios. Thus our approach is suitable to write formal requirements specifications for ensemble behaviours. For ensemble design and implementation we propose ensemble realisations. An ensemble realisation takes a local view by giving a constructive specification for each single role type in terms of a process algebraic expression. Correctness of an ensemble realisation is defined semantically: its generated ensemble transition system must be a model of the requirements specification. We consider bisimulation of ensemble transition systems and show that our approach enjoys the Hennessy-Milner property.

show abstract

“…It offers means for defining a system as a set of service components and their ensembles extended with local knowledge to express awareness and adaptive policies for predicate-based bindings to express autonomous behavior. The Helena approach [15] has been further developed for modeling collaborations using a UML-like notation focusing on the description of the behavior at individiual and collective (ensemble) level. Further design steps from high-level strategic goals (requirements, adaptation patterns) to their low-level system architecture realization (components and ensembles) are supported by the Invariant Refinement Method (IRM) [13] Experimental significance of the case studies could be seen through numerous pragmatic examples which were used to model and verify corresponding system behavior.…”

Section: Introductionmentioning

confidence: 99%

The ASCENS Case Studies: Results and Common Aspects

Serbedzija

2015

Software Engineering for Collective Autonomic Systems

View full text Add to dashboard Cite

This chapter focuses on pragmatic aspects of ASCENS project illustrating the role and significance of the three major application domains (swarm robotics, cloud computing and e-mobility) that motivate and pragmatically justify the approach to construct autonomous systems. A special insight is given into similarities and differences of the ASCENS case studies and their common abstract characteristics that led to a general-purpose methodology for expressing, evaluating and deploying knowledge-based, self-aware and adaptive behaviors. From this perspective selected ASCENS tools and methods to support the system development lifecycle are further discussed and illustrated on concrete examples. Finally future plans are given pointing out to the use and further evolvement of the ASCENS technology.

show abstract

Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework

Cited by 7 publications

References 10 publications

Integrated Environment for Verifying and Running Distributed Components

Integrated Environment for Verifying and Running Distributed Components

Role-Based Development of Dynamically Evolving Esembles

The ASCENS Case Studies: Results and Common Aspects

Contact Info

Product

Resources

About