Apparatus and method for detecting conflicts of composite services based on model checking

摘要

A device and method for detecting a fusion service based on model checking is disclosed. According to an aspect of the present invention, there is provided a fusion service service collision detection apparatus including a fusion service modeling unit for modeling a fusion service and a semantic rule, a modeling unit for converting the modeled fusion service and the semantic rule into an input code and a linear time- And a service collision detection and cause analysis unit for analyzing a service collision through model checking on the transformed input code and the linear tense formula and analyzing the cause of the service collision. Accordingly, it is possible to detect various conflicts that may arise from the development and execution of the fusion service and to identify the cause of the conflict.