Autonomous Units: Basic Concepts and Semantic Foundation

Concurrency, Graphs and Models

Rozenberg

2008

Self Cite

Section: Further Research and Related Workmentioning

confidence: 99%

Graph Transformation Units – An Overview

Concurrency, Graphs and Models

Rozenberg

2008

Self Cite

“…Preliminary short versions of parts of this paper are published in [7,10]. The basic ideas are sketched in [6].…”

Section: Introductionmentioning

confidence: 99%

Autonomous Units to Model Interacting Sequential and Parallel Processes

Hölscher

Fundamenta Informaticae

2009

Self Cite

In this paper, we introduce the notion of a community of autonomous units as a rulebased and graph-transformational device to model processes that run interactively but independently of each other in a common environment. The main components of an autonomous unit are a set of rules, a control condition, and a goal. Every autonomous unit transforms graphs by applying its rules so that the control condition is satisfied. If the goal is reached the resulting transformation process is successful. A community contains a set of autonomous units, an initial environment specification, and an overall goal. In every transformation process of a community the autonomous units interact via their common environment. As an example, the game Ludo is modeled as a community of selfcontrolled players who interact on a common board. The emphasis of the presented approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. In particular, a sequential as well as a parallel semantics is introduced, and communities with parallel semantics are compared with Petri nets, cellular automata, and multiagent systems.

“…To cover such new programming and modeling paradigms in a formally well-founded and visually well-describable way we proposed autonomous units, as a rule-based, self-controlled, and goal-driven concept (see, e.g., [1]). …”

Section: Introductionmentioning

confidence: 99%

“…The central idea of autonomous units is to introduce self-control explicitly into the modeling of (logistic) processes in order to create a semantically well-founded framework in which different self-control-based mechanisms become comparable (cf. [1]). …”

Section: Introductionmentioning

confidence: 99%

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing

Applications of Graph Transformations With Industrial Relevance

2008

Self Cite

Abstract. Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a community are rulebased, self-controlled, goal-driven, and operate and move in a common environment. We employ communities of autonomous units to model the dynamic pickup and delivery problem with the general idea to demonstrate their suitability for a range of logistic tasks.