计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2012年
6期
50-58
,共9页
情境感知%P2P%抽象状态机%可执行规范%有限状态机%抽象状态机语言
情境感知%P2P%抽象狀態機%可執行規範%有限狀態機%抽象狀態機語言
정경감지%P2P%추상상태궤%가집행규범%유한상태궤%추상상태궤어언
移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标.本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求.
移動的用戶能夠方便地訪問分佈在普適計算環境中的傳感器,進而穫得情境信息,是情境感知繫統的覈心目標.本文提齣瞭一種融閤分佈式P2P和Publish/Subscribe模式的混閤式情境感知共享機製,基于抽象狀態機對該機製的高魯棒和可擴展的特性進行設計和規約,併採用AsmL測試工具生成有限狀態機驗證該機製的有效性和閤理性,錶明該機製可滿足動態的分佈式情境感知繫統要求.
이동적용호능구방편지방문분포재보괄계산배경중적전감기,진이획득정경신식,시정경감지계통적핵심목표.본문제출료일충융합분포식P2P화Publish/Subscribe모식적혼합식정경감지공향궤제,기우추상상태궤대해궤제적고로봉화가확전적특성진행설계화규약,병채용AsmL측시공구생성유한상태궤험증해궤제적유효성화합이성,표명해궤제가만족동태적분포식정경감지계통요구.