SYSTEM AND METHOD OF MODEL CHECKING FOR TYPE-AWARE WEB SERVICE COMPOSITION

摘要

The present invention relates to a system and a method for model checking for type-aware web service configuration. The system includes a pre-processing unit for preprocessing obtained web services, and a model checking unit for solving reachability problems by performing model checking for the preprocessed web services.