Eingang zum Volltext
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
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.
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: |
|
Kurzfassung in 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 providingprogrammers 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 | |
| Band Nummer: | 14/02 | |
| ISBN: | 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 |
