By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking.是什么意思_By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句