微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2013年
3期
122-126
,共5页
抽象状态机%普适计算%服务组合%验证方法
抽象狀態機%普適計算%服務組閤%驗證方法
추상상태궤%보괄계산%복무조합%험증방법
abstract state machine%pervasive computing%service composition%validation methods
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用 CoreASM 这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.
提齣瞭一箇普適環境下服務組閤的框架,使用抽象狀態機對服務的行為進行不同精化層級的形式化描述,然後利用 CoreASM 這一模型檢測工具對服務組閤進行模擬執行驗證,從而驗證服務組閤的正確性.最後給齣瞭一箇運用此方法進行服務組閤驗證的典型應用場景.
제출료일개보괄배경하복무조합적광가,사용추상상태궤대복무적행위진행불동정화층급적형식화묘술,연후이용 CoreASM 저일모형검측공구대복무조합진행모의집행험증,종이험증복무조합적정학성.최후급출료일개운용차방법진행복무조합험증적전형응용장경.
@@@@A service composition framework of pervasive environment is presented in this paper .The behavior of services are defined by abstract state machine (ASM ) in different level of refinement .To validate the correctness of the service composition ,a model validation tool called CoreASM is used to simulate the execution .At last a study case is presented based on the above method .