Prozessmodellierung mit feinkörnigen Ortsvorstellungen

8

Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird?

Es scheint mir, dass es möglich wäre, einen bestehenden Formalismus zu übernehmen und ihn mit Konstrukten anzureichern, um den Ort auf einer geeigneten Abstraktionsebene zu modellieren, aber ich würde es hassen, das Rad unnötig neu zu erfinden, wenn dies an frühere Bemühungen erinnert.

Als Hintergrund ist die Anwendungsdomäne im Wesentlichen eine biologische Modellierung, bei der die traditionellen Ortsvorstellungen, die in dieser Domäne verwendet werden, um zu bestimmen, wo Wechselwirkungen auftreten können, nicht feinkörnig genug sind, um die interessierenden Eigenschaften zu erfassen.

Gian
quelle

Antworten:

7

Prozesse im Weltraum von Luca Cardelli und Philippa Gardner ist eine Arbeit in diese Richtung. Es wurde eine Prozessalgebra zur Beschreibung der Entwicklung von 3D-Strukturen angegeben.

Dave Clarke
quelle
Fantastische Referenz und scheint genau das zu sein, wonach ich gesucht habe. Vielen Dank :)
Gian