Chemistry in Action: Discovering the Behaviour of a Network from Local Observations

Stefan Heymer, Jens Grabowski

Abstract

Chemical abstract machines (CHAMs) are used as the model to solve the problem of finding possible communication paths between network nodes. The information used for the construction of the CHAMs is retrieved by performing local observations at the different network nodes. We introduce the model of CHAMs, explain the construction of different types of CHAMs to solve our problem, and show the applicability of our approach by describing a TCP/IP based experiment. <br>(A modified version is available as Technical Report A-98-18, Medical University of Lübeck, Schriftenreihe der Institute für Mathematik/Informatik, Lübeck, Germany, October 1998.)
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Proceedings of the Workshop on Formal Methods in Telecommunication
Publisher: 
Prensas Universitarias de Zaragoza
Month: 
9
Year: 
1999
2024 © Software Engineering For Distributed Systems Group

Main menu 2