Web services; Satisfiability modulo theories; Symbolic analysis;
机译:Web服务异构消息的语义冲突检测:挑战和解决方案
机译:Web服务异构消息的语义冲突检测:挑战和解决方案科学出版物
机译:在消息级别上实现Web服务中本体驱动的语义冲突检测
机译:通过基于SMT的分析检测Web服务的消息竞争
机译:使用SOAP消息的不同反序列化来优化Web服务的通信性能。
机译:ProBiS-2012:用于检测蛋白质中结构相似的结合位点的Web服务器和Web服务