CBR:一种支持工作流过程语义验证的组件级化简方法

您当前的位置：

首页 >

文章列表页 >

CBR:一种支持工作流过程语义验证的组件级化简方法

论文 | 更新时间：2025-07-16

上一篇|下一篇

- CBR:一种支持工作流过程语义验证的组件级化简方法
- CBR:A Component-Based Reduction Method for Semantics Verification of Workflow Processes
- 周建涛，史美林，叶新铭
- 电子学报 2005年33卷第6期页码：1060-1065
- 作者机构：
  1. 清华大学计算机科学与技术系,北京,100084
  2. 内蒙古大学计算机学院,内蒙古,呼和浩特,010021
  3. 清华大学计算机科学与技术系北京,100084
  4. 内蒙古大学计算机学院内蒙古呼和浩特,010021
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60073011);国家高技术研究发展863计划项目 (No.2001AA113150)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

84

浏览量

818

下载量

2

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

一种基于不变量的从工作流网到PERT图的转换方法

信息网格门户的研究

基于RFID发现服务的一种供应链建模技术

CloAct：基于克隆关系和模体的关键类识别方法

面向近海的多基站协作通信感知一体化设计

相关作者

葛季栋

胡昊

吕建

李蓥

李明禄

俞嘉地

李信鹏

赵文

相关机构

计算机软件新技术国家重点实验室(南京大学),南京大学计算机科学与技术系

南京大学软件学院

计算机软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系江苏南京

南京大学软件学院江苏南京

上海交通大学计算机科学与工程系