By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking.

• ASMA将服务请求统一描述为一种时态约束条件，基于ASM-TL将服务转换为一种时态模型，并引入模型检验的思想进行服务匹配。