小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
3期
412-415
,共4页
有界模型检测%时态认知逻辑%Web服务%时间自动机%Verics
有界模型檢測%時態認知邏輯%Web服務%時間自動機%Verics
유계모형검측%시태인지라집%Web복무%시간자동궤%Verics
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成一组相互通信的时间自动机.采用时态认知逻辑模型检测工具Verics对该组合Web服务的可用性、可靠性和时效性的时态认知逻辑特性进行检测.本文以旅游预订系统组合Web服务为例,阐述了上述过程.
傳統的模型檢測技術無法描述繫統的認知邏輯特性,而在分佈式繫統領域,繫統和協議的規範適閤用多智能體時態認知邏輯來描述.組閤Web服務是典型的分佈式繫統.為瞭保證組閤Web服務運行的正確性,把組閤Web服務看成多智能體繫統,將其建模成一組相互通信的時間自動機.採用時態認知邏輯模型檢測工具Verics對該組閤Web服務的可用性、可靠性和時效性的時態認知邏輯特性進行檢測.本文以旅遊預訂繫統組閤Web服務為例,闡述瞭上述過程.
전통적모형검측기술무법묘술계통적인지라집특성,이재분포식계통영역,계통화협의적규범괄합용다지능체시태인지라집래묘술.조합Web복무시전형적분포식계통.위료보증조합Web복무운행적정학성,파조합Web복무간성다지능체계통,장기건모성일조상호통신적시간자동궤.채용시태인지라집모형검측공구Verics대해조합Web복무적가용성、가고성화시효성적시태인지라집특성진행검측.본문이여유예정계통조합Web복무위례,천술료상술과정.
