In this research project, we are exploring how formal methods can be used in reverse engineering and re-engineering existing software systems. We have developed a technique based on high-level Petri nets to retrieve reusable components and to analyze component integration. We are investigating how to further extract and formalize design patterns in reusable systems.