咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 过程挖掘
  • 1 篇 符合性检查
  • 1 篇 工作流网
  • 1 篇 t-不变量
  • 1 篇 s-不变量
  • 1 篇 petri网
  • 1 篇 prom
  • 1 篇 log
  • 1 篇 t0ken

机构

  • 1 篇 计算机软件新技术...
  • 1 篇 高维信息智能感知...
  • 1 篇 南京大学
  • 1 篇 杭州电子科技大学

作者

  • 1 篇 胡海洋
  • 1 篇 李传艺
  • 1 篇 胡昊
  • 1 篇 骆斌
  • 1 篇 葛季栋

语言

  • 1 篇 中文
检索条件"主题词=T0ken"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一种基于token Log的符合性检查方法
收藏
分享
引用
软件学报 2015年 第3期26卷 509-532页
作者： 李传艺 葛季栋 胡海洋 胡昊 骆斌 计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 南京大学软件学院 江苏南京210093 高维信息智能感知与系统教育部重点实验室(南京理工大学) 江苏南京210094 杭州电子科技大学计算机学院 浙江杭州310018 南京大学计算机科学与技术系 江苏南京210046
使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件