基于Verics的组合Web服务有界模型检测

传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成一组相互通信的时间自动机.采用时态认知逻辑模型检测工具Verics对该组合Web服务的可用性、可靠性和时效性的时态认知逻辑特性进行检测.本文以旅游预订系统组合Web服务为例,阐述了上述过程.

艾睿电子宣布旗下在线电子元件采购平台Verical.com推出简体中文版

艾睿电子公司宣布旗下在线电子元件采购平台推出重新设计的Verical.com网站。重新设计的Verical.com具有简体中文语言选项、快捷搜索器件的新首页、手机兼容性、多语言选择功能,并更加突出了有关原厂质量保证、通过网站可溯货源的元件的信息。