Tapping Hermes: a case study of tapping processes

Developing distributed systems includes activities such as testing, verification, debugging, and performance analysis. The authors introduce the set of generic events that are monitored by different development activities for distributed systems and identify other desirable monitoring properties for an efficient monitoring pool. They then give an overview of the newly introduced constructs, called tapping processes, that extend orthogonal languages so that this language-based approach can also be used as an event-based approach for the development of distributed systems. Those constructs provide accurate information about monitored systems without causing any perturbation. To illustrate the advantages of the new approach, it is shown in detail how the Hermes programming language was extended to include the tapping processes' constructs.<
>