2025年1月12日
星期日
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
您的位置:
专家智库
>
作者详情
>
陈亮
陈亮
作品数:
3
被引量:0
H指数:0
供职机构:
中国科学院软件研究所
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
夏永霖
中国科学院软件研究所
魏峻
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
题名
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
作者
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
学位论文
1篇
期刊文章
领域
3篇
自动化与计算...
主题
2篇
产生式
1篇
形式化
1篇
形式化方法
1篇
业务流
1篇
业务流程模型
1篇
流模型
1篇
可扩展
1篇
可扩展性
1篇
扩展性
1篇
几何体
1篇
工作流
1篇
工作流模型
1篇
分析方法
机构
3篇
中国科学院软...
作者
3篇
陈亮
1篇
魏峻
1篇
夏永霖
传媒
1篇
计算机应用研...
年份
1篇
2007
1篇
2006
1篇
1994
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
相关度排序
相关度排序
被引量排序
时效排序
一种基于产生式的流程模型分析方法
2007年
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。
陈亮
夏永霖
魏峻
关键词:
业务流程模型
基于产生式的工作流模型分析技术研究
工作流技术是当前非常活跃的研究领域之一,随着工作流系统在企业中应用的深入,业务流程日趋复杂和庞大,造成基于工作流的应用系统的设计成本加大、风险性提高。因此,如何在流程模型设计阶段分析其结构,验证模型的良构性,提高工作流的...
陈亮
关键词:
工作流
形式化方法
产生式
可扩展性
在二、三维空间中求两凸几何体间距离的算法
陈亮
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张