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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 797–808. Springer, Heidelberg (2001)
Benveniste, A., Fabre, E., Jard, C., Haar, S., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control 48(5), 714–727 (2003)
Dousson, C., Thang, V.D.: Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems. In: Proc. of IJCAI’99, pp. 620–626 (1999)
Fidge, C.: Logical time in distributed computing systems. IEEE Computer 24(8), 28–33 (1991)
Genest, B., Hélouët, L., Muscholl, A.: High-level message sequence charts projection. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 308–322. Springer, Heidelberg (2003)
Gischer, J.L.: The equational theory of pomsets. TCS 61(2-3), 199–224 (1988)
IETF Network Working Group. A simple network management protocol (snmp). Technical report, IETF (1990)
Hélouët, L., Gazagnaire, T., Genest, B.: Diagnosis from scenarios. In: WODES’06 (2006)
ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC) (2004)
Jéron, T., Marchand, H., Pinchinat, S., Cordier, M.O.: Supervision patterns in discrete event systems diagnosis. In: WODES’06 (2006)
Mattern, F.: Virtual time and global states of distributed systems. In: Workshop on Parallel and Distributed Algorithms (1989)
Nygate, Y.A.: Event correlation using rule and object based techniques. In: Proc. of the 4th Integrated network Management, pp. 278–289 (1995)
Pratt, V.: Modeling concurrency with partial orders. International Journal of Parallel Programming 15(1), 33–71 (1986)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2), 105–124 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gazagnaire, T., Hélouët, L. (2007). Event Correlation with Boxed Pomsets. In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)