Debugging Distributed Systems with Causal Nets

  • 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-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.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
URN:urn:nbn:de:kobv:83-opus-21698
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (14/02)
Document Type:Wissenschaftlicher Artikel, Postprint
Language:English
Date of Publication (online):2009/02/20
Release Date:2009/02/20
Tag:Debugging; Ereignisbenachrichtigung; Kausale Netze
Causal nets; debugging; event notification
Source:http://journal.ub.tu-berlin.de/index.php/eceasst/article/viewFile/190/181
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 14 (2008): Petri Nets and Graph Transformations 2008
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen