In conventional software development, a program evolves as programmers make changes to its source code. Thus, the process of developing new version or verifying important software specifications based on its original design is difficult. In this paper, we introduced a model-driven development approach to support software evolution. We proposed two key methods in our approach. First, we proposed a reverse engineering method by translating a software program into a Petri net model. Second, we proposed a model-driven verification method to confirm that important execution sequence of the software model can be preserved throughout the evolution. In our approach, a program's code can always be reconstructed as a model and be verified even though changes are made at the source code level or vice versa. In other words, our approach is bidirectional. Then, we illustrated the proposed method with an example of a multithreaded program.
展开▼
