Reengineering of State Machines in Telecommunication Systems.
Christof Mosler · 2007
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. 1