A method for compositing web services based on model-checking multiagent systems

摘要

Compositing services are an important topic of web services development. Little attention has been paid to check the reliability of the composited solutions. To composite web services automatically and meet users' requirements, we propose a method to heuristically generate and verify the compositions by means of model-checking multiagent systems. The experimental results demonstrate that the method is able to generate reliable web services composition.