A Research About a Conflict-Capture Method in Software Evolution
Software evolution is an important research direction and research focus in the field of software engineering. During the process of software dynamic evolution, the existence of conflicts between evolutionary components and original components is one of the key factors determining whether the dynamic evolution process is corrected or not. To solve this problem, resource management method is introduced and the concept of resource in software evolution process is redefined. According to the different patterns of resources used, sequence, selection and conflict relationship models among components are defined. And at last, a conflict-capture algorithm, which is used to capturing the components involved in the conflict relationships, based on recourse management. The results of this paper lay a theoretical foundation for maintaining consistency before and after evolution and ensuring the correctness of dynamic evolution.
KeywordsSoftware evolution Resource management Conflict capture
This work was supported by National Natural Science Foundation of China (Nos. 61379032, 61763048, 61263022, 61303234, 61662085), National Social Science Foundation of China (No. 12XTQ012), Science and Technology Foundation of Yunnan Province (No. 2017FB095), Yunnan Province Applied Basic Research Project (No. 2016FD060), Science Research Project of Yunnan Education (Nos. 2017ZZX001, 2017ZZX227), Key Project of Scientific Research of Yunnan Education (2015Z018), Provincial Scientific and Technological Innovation Team Project of Yunnan University (2017HC012), the 18th Yunnan Young and Middle-aged Academic and Technical Leaders Reserve Personnel Training Program (No. 2015HB038).
- 4.Li, C.Y.: Research on Architecture-Based Software Dynamic Evolution. Zhejiang University (2005). (in Chinese)Google Scholar
- 5.Tang, X.D., Liang, H.B., Zhe, F.P.: Computer Operation System. Xidian University Press, Xi’an (2007). (in Chinese)Google Scholar
- 6.Ma, D.Y., Yu, S.Q., Hu, H.M.: Two Petri net models for solving philosophers’ dining problems. J. Shanghai Teach. Univ. (Nat. Sci.) 31(3), 37–40 (2002)Google Scholar
- 8.Zhao, H.S., Tian, L., Tong, B.S.: Constraint-based conflict detection and negotiation in collaborative design. Comput. Integr. Manuf. Syst. 8(11), 896–901 (2002)Google Scholar
- 9.Deng, Z.M., Wang, S., Meng, X.F.: Conflict detection and resolution strategy in replicated mobile database systems. Chin. J. Comput. 25(3), 297–305 (2002)Google Scholar
- 10.Kircher, M., Jain, P.: Patterns for Resource Management. Post & Telecom Press, Beijing (2013)Google Scholar
- 11.Weir, C., Weir, C.: Small Memory Software: Patterns for Systems with Limited Memory. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)Google Scholar
- 12.Fowler, M., Rice, D., Foemmel, M.: Patterns of Enterprise Application Architecture. Pearson Schweiz Ag, Zug (2002)Google Scholar
- 15.Hawick, K.A.: High performance computing and communications glossary (1994). http://wotug.org/parallel/acronyms/hpccgloss
- 16.Gao, T.L., Li, T., Yang, M., Jiang, R.: An approach to conflict resolution in software evolution process. In: ICTCS 2018, Colombo, Sri Lanka, pp. 105–111 (2018)Google Scholar
- 17.Grid Computing Info Centre: (2004). http://www.gridcomputing.com
- 18.Gu, T.L.: Formal Methods of Software Development. Higher Education Press, Beijing (2005). (in Chinese)Google Scholar