In the parallel case a number of actions take place in parallel at the same time. As an example, a colony of ants with a very simple foraging strategy is presented. In this case the parallel actions still occur in sequential order, so some preliminary ideas of a third stage are given. In this concurrent semantics, the autonomous units may act independently without chronological relations between them, unless a causal relationship demands a certain order of actions.As further illustration, communities of autonomous units are applied to the domain of transport logistics. A transport network is modeled which consists of depots and their connections, unit loads, and trucks. The load units have to be transported from a source depot to a target depot by trucks. Here the trucks as well as the load units are modeled as autonomous units. How the unit loads will actually be transported by the trucks results from negotiations between all involved entities.
Two case studies that have actually been implemented using the graph transformation tool \grgen are presented in detail. The first case study deals with a model of the board game Ludo and the sequential process semantics of the corresponding community. The second case study deals with a model of a foraging ant colony and the parallel process semantics of the corresponding community. Some fundamental aspects of the semantics of rule-based systems in relation to the semantics of visual models are discussed, which form the conceptional background of this thesis. Since control conditions are an essential part of the modeling with autonomous units, their efficient handling is the main challenge regarding the creation of a software tool. So some seemingly simple control conditions are investigated with respect to implementation.
|Versandkostenfrei innerhalb Deutschlands|
Wollen auch Sie Ihre Dissertation veröffentlichen?