Autonomous units and their semantics — the sequential case

  • Authors:
  • Karsten Hölscher;Hans-Jörg Kreowski;Sabine Kuske

  • Affiliations:
  • Department of Computer Science, University of Bremen, Bremen, Germany;Department of Computer Science, University of Bremen, Bremen, Germany;Department of Computer Science, University of Bremen, Bremen, Germany

  • Venue:
  • ICGT'06 Proceedings of the Third international conference on Graph Transformations
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational device to model processes that run interactively but independently of each other in a common environment. The emphasis of the approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. We concentrate on the sequential case where only one unit can act at a time and the rule applications of the involved units are interleaved with each other.