Graph-Transfromational Swarms : A Graph-Transformational Approach to Swarm Computation

Computer systems are becoming increasingly distributed and interconnected. Various emerging notions, such as smart grids, system of systems, industry 4.0 or cyber-physical systems have gained more and more importance during the last few years. All of them propose to solve engineering problems by using several autonomous components that act in parallel and are interconnected, foremost using Internet technologies. These emerging concepts look very promising, but also exhibit various technical challenges. For instance, how is it possible to develop decentralized control mechanisms that produce a desired emerging behavior to solve a given task or how to model such solutions in order to analyze their behavior in terms of complexity and correctness? These are two major questions that this thesis attempts to answer. Indeed, it provides graph-transformational swarms as a novel concept that combines the ideas and principles of swarms and swarm computing and the formal methods of graph transformation to model distributed systems. Graph-transformational swarms captures the advantages of swarms and swarm computing and of graph transformation

A Graph-Transformational Approach to Swarm Computation

In this paper, we propose a graph-transformational approach to swarm computation that is flexible enough to cover various existing notions of swarms and swarm computation, and it provides a mathematical basis for the analysis of swarms with respect to their correct behavior and efficiency. A graph transformational swarm consists of members of some kinds. They are modeled by graph transformation units providing rules and control conditions to specify the capability of members and kinds. The swarm members act on an environment—represented by a graph—by applying their rules in parallel. Moreover, a swarm has a cooperation condition to coordinate the simultaneous actions of the swarm members and two graph class expressions to specify the initial environments on one hand and to fix the goal on the other hand. Semantically, a swarm runs from an initial environment to one that fulfills the goal by a sequence of simultaneous actions of all its members. As main results, we show that cellular automata and particle swarms can be simulated by graph-transformational swarms. Moreover, we give an illustrative example of a simple ant colony the ants of which forage for food choosing their tracks randomly based on pheromone trails

Graph-Transformatorische Schwärme : Ein Graph-Transformatorischer Ansatz zur Swarm Computing

Computer systems are becoming increasingly distributed and interconnected. Various emerging notions, such as smart grids, system of systems, industry 4.0 or cyber-physical systems have gained more and more importance during the last few years. All of them propose to solve engineering problems by using several autonomous components that act in parallel and are interconnected, foremost using Internet technologies. These emerging concepts look very promising, but also exhibit various technical challenges. For instance, how is it possible to develop decentralized control mechanisms that produce a desired emerging behavior to solve a given task or how to model such solutions in order to analyze their behavior in terms of complexity and correctness? These are two major questions that this thesis attempts to answer. Indeed, it provides graph-transformational swarms as a novel concept that combines the ideas and principles of swarms and swarm computing and the formal methods of graph transformation to model distributed systems. Graph-transformational swarms captures the advantages of swarms and swarm computing and of graph transformation

Graph-Transformational Swarms with Stationary Members

Part 5: Distributed ComputingInternational audienceThe concept of graph-transformational swarms is a novel approach that offers a rule-based framework to model discrete swarm methods. This paper continues the research on graph-transformational swarms by focusing on a special type of members called stationary members. The stationary members are assigned to particular subgraphs of the considered environment graphs. Every stationary member is responsible for calculations and transformations at the assigned area, and the applicability of the member’s rules depends only on this area and not on the whole environment. A further advantage of stationary members is that it is easier to guarantee that they can act in parallel than for moving members. Cloud computing is an engineering topic where swarms with stationary members can be applied in an adequate way, namely, by modeling the nodes of the server network that forms the cloud as stationary members. We illustrate the proposed concept by means of a case study