CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 文档资料 技术管理 搜索资源 - semantics

搜索资源列表

  1. ASM

    0下载:
  2. 从概念的角度分析了活动图并非结构的不足,系统地研究了时序模糊状态下的语音描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the
  3. 所属分类:Project Manage

    • 发布日期:2017-04-02
    • 文件大小:136.91kb
    • 提供者:Danny Lin
搜珍网 www.dssz.com