Reverse Engineering Distributed Algorithms

Abstract

Recently, formal approaches to reverse engineering have received considerable attention as a means of creating correct high level specifications. We show how a formal approach to reverse engineering can be applied when constructing distributed systems, eg. if we want to reuse an existing algorithm, but in a different environment, or develop a new distributed algorithm that is somehow similar to an existing one. We introduce a formal approach to reverse engineering that is dedicated to distributed systems. Our approach is based on a technique we call coarsement. The idea is that an implementation is stepwise turned into a high level specification through a number of intermediate coarsement steps that abstract away the details while preserving the behaviour of the implementation.

DOI: 10.1002/(SICI)1096-908X(199603)8:2%3C117::AID-SMR126%3E3.0.CO;2-I

Extracted Key Phrases

Cite this paper

@article{Sere1996ReverseED, title={Reverse Engineering Distributed Algorithms}, author={Kaisa Sere and Marina A. Wald{\'e}n}, journal={Journal of Software Maintenance}, year={1996}, volume={8}, pages={117-144} }