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

文件名称:ASM

  • 所属分类:
  • 标签属性:
  • 上传时间:
    2012-11-16
  • 文件大小:
    136.91kb
  • 已下载:
    0次
  • 提 供 者:
  • 相关连接:
  • 下载说明:
    别用迅雷下载,失败请重下,重下不扣分!

介绍说明--下载内容来自于网络,使用问题请自行百度

从概念的角度分析了活动图并非结构的不足,系统地研究了时序模糊状态下的语音描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the semantic of undefined scheduling is researched,and then by the case of loop discriminator,combines the activity diagram with formal specification.In the end,the discriminator model of activity diagrm is given with ASM semantics,rule is defined in Fork.Join and event capturing ect.,the correctness,verifiability and consistency are improved.
(系统自动生成,下载前可以参看下载内容)

下载文件列表

基于ASM的活动图一致性规则研究.pdf

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 搜珍网是交换下载平台,只提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。更多...
  • 本站已设置防盗链,请勿用迅雷、QQ旋风等下载软件下载资源,下载后用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或换浏览器;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.

相关评论

暂无评论内容.

发表评论

*快速评论: 推荐 一般 有密码 和说明不符 不是源码或资料 文件不全 不能解压 纯粹是垃圾
*内  容:
*验 证 码:
搜珍网 www.dssz.com