Logic-based Software Evolution Operational Language and Structural Operational Semantics
Ying Yu · Journal of Chinese Computer Systems · 2007
With continuous change of the current usage environment and new techniques,there is an increasing complex in control software evolution.In order to improve the support degree for software evolution in visualization and formalization,a software evolution operational language SEOL is proposed to describe the software evolution operations through integrating predicate logic and software evolution.The syntax and structural operational semantics of SEOL are studied in this paper,and a method to analyze the semantic equivalence is also illustrated.The application of SEOL is described through the two instances:program evolution and model evolution.Compared with other software evolution operation descriptions,SEOL is more effective in easy using,reusability,formal analysis,which paves the way for software evolution management,analysis and implementation.