国家自然科学基金(61100039)

作品数：3被引量：7H指数：2
导出分析报告
相关作者：葛季栋胡华张笑菲胡海洋胡军更多>>
相关机构：南京大学南京理工大学杭州电子科技大学南京航空航天大学更多>>
相关期刊：《计算机集成制造系统》《计算机应用与软件》更多>>
相关主题：资源管理层次式形式化方法时间自动机业务过程执行语言更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于分层过程模型的过程演化技术
《计算机集成制造系统》2013年第8期1913-1919,共7页徐刚 胡昊 余萍 葛季栋 吕建 
国家自然科学基金可信集成资助项目(91318301);国家自然科学基金资助项目(61003019,61021062,61100039);国家973计划资助项目(2009CB320702);计算机软件新技术国家重点实验室(南京大学)自主课题面上资助项目(ZZKT2011B10);高维信息智能感知与系统教育部重点实验室(南京理工大学)基金资助项目(30920130122005);中央高校基本科研业务费专项基金资助项目(021714340029)~~
为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的...
关键词：分层过程模型 过程演化 WEB服务 业务过程执行语言 JBOSS业务过程管理引擎 
基于流程挖掘的决策支持方法被引量：5
《计算机集成制造系统》2013年第8期1755-1770,共16页胡海洋 张笑菲 胡华 葛季栋 
国家自然科学基金资助项目(61272188,60903053,61100039,61003019);浙江省自然科学基金资助项目(Z1100822,LY12F02005);计算机软件新技术国家重点实验室(南京大学)自主课题面上资助项目及开放基金资助项目(ZZKT2011B10,KFKT2011B07);高维信息智能感知与系统教育部重点实验室(南京理工大学)基金资助项目(30920130122005);中央高校基本科研业务费专项资金资助项目(021714340029)~~
为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束。首先扩展了传统Petri网,研究了一种增加工作流...
关键词：资源管理 流程挖掘 约束条件 过程优化 
一种层次式时间自动机模型检测方法被引量：2
《计算机应用与软件》2012年第11期48-51,共4页周宇 胡军 葛季栋 
国家自然科学基金项目(61100039);中央高校基本科研业务专项(NS2012135)
层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。...
关键词：层次式时间自动机 形式化方法 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部