%0 Journal Article %A %D 2014 %J Journal of Future Internet %@ 2409-790X %V 1 %N 1 %P 1-15 %T Verification Method of Complex Web-Services %M %U http://www.pakinsight.com/archive/102/03-2014/1