Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-19889
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1988/

Grohmann, Davide ; Miculan, Marino

Controlling resource access in Directed Bigraphs

pdf-Format:
Dokument 1.pdf (301 KB)
Print-on-Demand:

Kurzfassung auf Englisch

We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous versions, we add the possibility that components may govern the access to resources, like (web) servers control requests from clients. This framework encompasses many common computational aspects, such as name or channel creation, references, client/server connections, localities, etc, still allowing to derive systematically labelled transition systems whose bisimilarities are congruences.

As application examples, we analyse the encodings of client/server communications through firewalls, of (compositional) Petri nets and of chemical reactions.

Freie Schlagwörter (Englisch): Graph Transformation , Bigraphs , reactive systems , (open) Petri nets , graph-based approaches to service-oriented applications
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 10 (2008): Graph Transformation and Visual Modeling Techniques 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 10/08
ISBN/ISSN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 28.08.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja