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 servi...

Full description

Saved in:
Bibliographic Details
Main Authors PARK, WON JOO, KIM, YEON SEOK, JEON, HYUN BAE, LEE, KYONG HO, CHO, KEE SEONG
Format Patent
LanguageEnglish
Korean
Published 27.07.2012
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Application Number: KR20110005586