• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Reverse Engineering Distributed Algorithms

Kaisa Sere, Marina Waldén, Reverse Engineering Distributed Algorithms. Journal of Software Maintenance and Evolution: Research and Practice 8(2), 117–144, 1996.

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.

BibTeX entry:

@ARTICLE{jSW96a,
  title = {Reverse Engineering Distributed Algorithms},
  author = {Sere, Kaisa and Waldén, Marina},
  journal = {Journal of Software Maintenance and Evolution: Research and Practice},
  volume = {8},
  number = {2},
  pages = {117–144},
  year = {1996},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication