Paper Info
Title
Event Correlation with Boxed Pomsets
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.
Year
DOI
Venue
2007
10.1007/978-3-540-73196-2_11
FORTE
Keywords
Field
DocType
event correlation,classical pomset-based language,high-level message sequence charts,boxed pomsets,event correlation problem,pomset language,new model,observed alarm,infinite scenario,observable label,good property,diagnosis framework,message sequence chart,distributed system
Synchronization,Observable,Computer science,Theoretical computer science,Event correlation,Isomorphism class,Distributed computing
Conference
Volume
ISSN
Citations 
4574
0302-9743
2
PageRank 
References 
Authors
0.41
7
2
Name
Order
Citations
PageRank
Thomas Gazagnaire121513.32
Loïc Hélouët228125.37