摘要 |
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. |