Study on formal description and intelligent resolution system for static service conflict in SOA system

Currently, SOA system has gradually become the major trends in software architecture. However, because of the service characteristics of autonomy and heterogeneity, SOA systems often appear service conflict, which restricts the development of SOA seriously. Firstly, we adopt mathematical methods to give static service conflicts in SOA system a formal description, and divide it into six categories. For each type of conflict, we put forward corresponding resolution strategy. Secondly, we have analyzed the framework of SSCIRS system, and on this basis, established SSCIRS system to realize intelligent resolution to static service conflict in SOA system. The research supplied practices and technical guarantee for development of information system which is based on SOA.