Formalization of Rules for the Cooperation between Goal and Process

To meet the end-user＇ s dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user＇ s personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user＇ s personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language （SWRL）. In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.