Rigorous foundation of evolving concurrent systems

Autoren Klaus-Dieter Schewe
Flavio Ferrarotti
Loredana Tec
Editoren
Titel Rigorous foundation of evolving concurrent systems
Typ Technischer Bericht
Nummer SCCH-TR-16090
Organisation Software Competence Center Hagenberg GmbH
Monat April
Jahr 2017
SCCH ID# 16090
Abstract

A concurrent system can be characterised by autonomously acting agents, each executing its own program using shared resources and communicating with each other, but otherwise being oblivious to the programs of other agents. In an evolving concurrent system agents may change their programs, enter or leave the collection at any time thereby changing the behaviour of the overall system. In this paper we investigate a behavioural theory of evolving concurrent systems integrating the simplified parallel ASM thesis, the concurrent ASM thesis and the reective ASM thesis, which provide behavioural theories for unbounded (synchronous) parallel algorithms, asynchronous concurrent systems, and reective algorithms, respectively. However, in the latter two theories only sequential agents and sequential reective algorithms were considered. Furthermore, linguistic reection has not been integrated with parallelism. We will thus show how these research gaps can be closed.