Reengineering of State Machines in Telecommunication Systems

In our reengineering project, we regard architecture modeling and reengineering techniques of telecommunication systems. Our work concerns analysis and restructuring of such systems, including the re-design and re-implementation. As telecommunication systems are often planned and modeled using state machines, it seems reasonable to analyze the systems also on the more abstract representation level of state machines. This paper presents a reengineering approach, in which we extract the state machines from PLEX source code, verify their consistency with the original specification documents, and use the information for further reengineering steps.