APPARATUS AND METHOD FOR DETECTING CONFLICTS OF COMPOSITE SERVICES BASED ON MODEL CHECKING

摘要

PURPOSE: A model checking based fusion service collision detecting apparatus and a method thereof are provided to grasp and supply a cause and the occurrence time of a service collision, thereby effectively generating a service. CONSTITUTION: A fusion service modeling unit(300) models a fusion service and a semantic rule. A fusion service converting unit(310) converts the modeled fusion service and the semantic rule into a input code and a linear temporal logical expression. A service collision detecting and cause analyzing unit(320) detects a service collision through model checking to the input code and the linear temporal logical expression, and analyzes a cause of the service collision.