论文部分内容阅读
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.
基于抽象状态机的普适服务组合分析与验证
【摘 要】
：
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
微电子学与计算机
【发表日期】
：
2013年3期
【基金项目】
：
国家自然科学基金项目（60970010）,国家重点基础研究发展计划项目（2009CB320705）
其他文献
根据文昌油田的油品、天然气组分等分析和奋进号FPSO生产工艺流程的设计要求,对开拓号FPSO的生产工艺系统替代方案的可行性进行分析,提出该系统适应性改造方案,以满足替代奋
伴随着我国市场经济体制的不断发展,在企业经济发展过程中财务管理工作的作用愈发明显,作为企业财务管理工作顺利开展的基础,财务报表分析在企业财务管理中的地位至关重要。
企业内部会计控制直接影响企业的长远发展。本文对企业内部会计控制的主要内容进行阐述,并结合新时期企业内部管理的现状分析内部会计控制存在的问题。同时,本文结合新时期企
IEEE802．11i和802．16e无线通信标准的媒体访问控制层（MAC）都使用了基于高级加密算法（AES）的计数器模式（CTR）和密码分组链接消息验证码（CBC-MAC）作为安全机制，其以AES算法为核心，采用CTR模