Behavioural Theory of Distributed Adaptive Systems

24. Januar 2018

Vortrag: Kolloquium im Bereich Informatik

24.01.2018 16:00 Uhr
(bis 17.30 Uhr)

FernUniversität, Gebäude 3 / Informatikzentrum, Raum F09, EG, Universitätsstr. 1, 58097 Hagen

Prof. Dr. Christoph Beierle, Lehrgebiet Wissensbasierte Systeme, Fakultät für Mathematik und Informatik

Prof. Dr. Klaus-Dieter Schewe
PhD in Pure Mathematics (1985 University of Bonn), DSc in Theoretical Computer Science (1995 BTU Cottbus); Positions as Associate Professor (1994-1999 TU Clausthal); Full Professor (2000-2010 Massey University) and Scientific Director (Software Competence Center Hagenberg); main fields of research: rigorous methods, logic and semantics, data and knowledge base theory,
distributed and hybrid systems: founder of Foundations of Information and Knowledge Systems (FoIKS)

Auskunft erteilt
Christoph Beierle

A distributed system can be characterised by autonomously acting agents, where each agent executes its own program, uses shared resources and communicates with the others, but otherwise is totally oblivious to the behaviour of the other agents. In a distributed adaptive system agents may change their programs, enter or leave the collection at any time thereby changing the behaviour of the overall system. The talk presents a behavioural theory of distributed adaptive systems comprising (1) a small set of postulates characterising such systems in a precise way without any reference to a particular language, (2) an abstract machine model (concurrent reflective Abstract State Machines - crASMs) together with a plausibility proof that the abstract machines satisfy the postulates, and (3) a characterisation proof that any system stipulated by the postulates can be step-by-step simulated by a crASM. The theory integrates the behavioural theories for unbounded (synchronous) parallel algorithms, asynchronous concurrent systems, and reflective algorithms, respectively. The behavioural theory implies that concurrent reflective Abstract State Machines (crASMs) can be used as a specification and development language for distributed adaptive systems.

Gerd Dapprich | 20.09.2018