Event Correlation with Boxed Pomsets

Authors:
Thomas Gazagnaire;Loïc Hélouët
Affiliations:
IRISA/ENS Cachan, Campus de Beaulieu, 35042 Rennes Cedex, France;IRISA/INRIA, Campus de Beaulieu, 35042 Rennes Cedex, France
Venue:
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2007

Citing 6
Cited 0

Modeling concurrency with partial orders

International Journal of Parallel Programming
The equational theory of pomsets

Theoretical Computer Science
Logical Time in Distributed Computing Systems

Computer - Distributed computing systems: separate resources acting as one
Event correlation using rule and object based techniques

Proceedings of the fourth international symposium on Integrated network management IV
Realizability and Verification of MSC Graphs

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels and then synchronization with an observation. This paper first proposes a new model called boxed pomset languages, which extends classical pomset-based languages as so called High-level Message Sequence Charts. It can describe infinite scenarios, and has good properties with respect to projections. We then give a solution for the event correlation problem (knowing whether two observed alarms are causally related) for pomset languages.