Eingang zum Volltext in OPUS

Lizenz

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

Ferrari, Gian Luigi ; Guanciale, Roberto ; Strollo, Daniele ; Tuosto, Emilio

Debugging Distributed Systems with Causal Nets

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

Kurzfassung auf Englisch

Formal methods for deciding the properties of service oriented systems are of paramount importance. However, they may require to master sophisticated techniques that programmers may lack. This issue can be mitigated by providing
programmers with tools and techniques that are close to the usual programming practice. Here, we propose to use causal nets to define a few debugging primitives to drive the analysis of system developed with SC (after Signal Calculus), a process calculus featuring event-notification communication. The usage of causal nets permits, transparently to the programmer, to build up the causal information of systems along their evolution. A few debugging primitives can be defined in terms of operations on the causal nets. Using the debugging primitives, programmers can query the causal nets in order to reconstruct how the computation evolved.

Freie Schlagwörter (Deutsch): Kausale Netze , Ereignisbenachrichtigung , Debugging
Freie Schlagwörter (Englisch): Causal nets , event notification , debugging
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 14 (2008): Petri Nets and Graph Transformations 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 14/02
ISBN/ISSN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/index.php/eceasst/article/viewFile/190/181
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 20.02.2009
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja