Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2004 D-5, 75-84 (2005).


2005


Editors

Dorothea Wagner (ed.)


Contents

Objektnetze: Definition und Eigenschaften

Michael Köhler

Abstract


Mobile Programme finden zunehmend Verbreitung, beispielsweise als eingebetteter Bestandteil von Mobiltelefonen oder in Form von applets im Web. Diesen Systemen ist gemeinsam, dass sie verteilt arbeiten, nebenläufig Aktionen ausführen und dynamisch ihren Kontext wechseln. Gerade diese Eigenschaften gehören jedoch nicht zu den primären Konzepten aktueller Programmiersprachen. Mit den Objektnetzen wird in dieser Arbeit ein Formalismus präsentiert, der diese elementaren Konzepte in einer einheitlichen Art und Weise ausdrückt. Objektnetze sind eine Verallgemeinerung der Petrinetze, bei denen die Marken in Objektnetzen wiederum Objektnetze sind, wodurch Systemzustände eine rekursiv verschachtelte Struktur aufweisen. Es zeigt sich, dass die Ausdrucksmächtigkeit der Objektnetze größer als die einfacher Petrinetze ist, gleichzeitig aber die Analyse von Objektnetzen von der Klarheit eines Petrinetzformalismus profitiert.


Full Text: PDF

ISBN 3-88579-409-8


Last changed 12.06.2012 13:42:58