<div class="csl-bib-body">
<div class="csl-entry">Moiseiuk, D. (2022). <i>Rewriting in bigraphical reactive systems: Specification and rapid prototyping</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.87804</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2022.87804
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/19750
-
dc.description.abstract
Bigraphen wurden von Robin Milner als grundlegende Theorie und Modellierungsformalismus für Strukturen im Ubiquitous Computing vorgeschlagen, wobei Bigraphische Reactive Systeme (BRS) das dynamische Verhalten erfassen. Ein BRS beschreibt, auf welche Arten sich eine Struktur durch Anwendung von Transformationsregeln – Reaktionsregeln –entwickeln kann. Die Reaktionsregeln machen es möglich, Teile von Bigraphen selektiv umzuschreiben. Bestehende Werkzeuge für bigraphisches Denken konzentrieren sich auf theoretische Aspekte, was ihre praktische Anwendung behindert. In dieser Arbeit stellen wir Werkzeuge vor, um bei Spezifikation zu helfen und das Problem vom Umschreiben in Bigraphen mit Graphoperationen anzugehen. Damit fördern wir eine (in Bezug auf die ursprüngliche Theorie) einfachere, praxistaugliche Sicht auf Bigraphen. Das konkrete Ergebnis ist ein Forschungsprototyp, der auf Rapid-Prototyping-Einrichtungen für technische Anwendungen abzielt. Insbesondere führen wir die Unterstützung für Portvariablen mit lokalem Gültigkeitsbereich in Reaktionen ein und bieten eine genaue Definition des Umschreibungsprozesses mit Graphoperationen inklusive Unterstützung von Roots, Sites und Ports. Wir evaluieren unseren Ansatz zur Spezifikation und schnellem Prototyping mittels eines herausfordernden Szenarios im Bereich von Edge-Computing.
de
dc.description.abstract
Bigraphs have been proposed by Robin Milner as a fundamental theory and modeling formalism for structures in ubiquitous computing, with Bigraphical Reactive Systems capturing dynamic behavior. A BRS describes possible ways with which a structure can evolve through application of transformation rules –called reaction rules– which selectively rewrite parts of a bigraph. Existing tool support for bigraphical reasoning focuses on theoretical aspects, thus hindering their adoption for engineering applications.In this thesis, we provide facilities to aid specification as well as tackle the rewriting problem in bigraphs with graph operations, promoting a simpler (with respect to theoriginal theory) view of bigraphs, suited for practical purposes. The concrete outcome isa research prototype that aims at rapid prototyping facilities for engineering applications.Specifically, we introduce support for locally-scoped port variables in reactions, and provide a precise definition of the rewriting process with graph operations including support for roots, sites and ports. We evaluate our approach to specification and rapid prototyping over a challenging scenario within edge computing.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Bigraph
de
dc.subject
Reaktionsregel
de
dc.subject
Redex
de
dc.subject
Reactum
de
dc.subject
Baumgraph
de
dc.subject
Linkgraph
de
dc.subject
bigraph
en
dc.subject
reaction rule
en
dc.subject
redex
en
dc.subject
reactum
en
dc.subject
place graph
en
dc.subject
link graph
en
dc.title
Rewriting in bigraphical reactive systems: Specification and rapid prototyping
en
dc.title.alternative
Umschreibung in bigraphischen reactiven Systemen: Spezifikation and schnelle Prototyperstellung
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2022.87804
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Dmytro Moiseiuk
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Tsigkanos, Christos
-
tuw.publication.orgunit
E194 - Institut für Information Systems Engineering