检索结果-维普期刊中文期刊服务平台

一种改进的验证工作流控制逻辑正确性的方法: 1; 作者巩垒王海洋黄富洁《计算机应用》 CSCD 北大核心 2003年第9期25-27,共3页; 许多工作流管理系统可能建立错误的工作流模型,导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型,提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明,该方法是可行的。; 关键词工作流工作流控制逻辑正确性工作流模型双分支条件有向图; 在线阅读下载PDF 职称材料

基于语义约束的资源工作流并发正确性保证被引量：11: 2; 作者胡乃静顾宁施伯乐《计算机研究与发展》 EI CSCD 北大核心 2003年第5期712-719,共8页; 控制流结构中并发变迁的正确性是工作流模型正确性的基础为保证模型的正确性 ,提出了资源语义约束工作流网的基本概念 ,丰富了控制流的数据语义 ,给出了两方面的控制流并发正确性 :并发控制流与其数据语义的一致性检测算法及改正原则 ... 展开更多; 关键词工作流控制流数据语义数据语义约束正确性; 在线阅读下载PDF 职称材料

基于Petri网的工作流模型简化被引量：9: 3; 作者周从华刘志锋《计算机科学》 CSCD 北大核心 2008年第2期115-119,共5页; 计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTL-X描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性。; 关键词工作流网 PETRI网正确性线性时态逻辑; 在线阅读下载PDF 职称材料

基于工作流和移动Agent的多Web应用系统的集成研究被引量：2: 4; 作者周光辉江平宇丘礼平《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第9期933-937,共5页; 基于特定的任务 ,针对多Web应用系统的控制逻辑、信息传输和集成问题 ,依据工作流机制和移动Agent哲理 ,为多Web应用系统的集成提供了一个新的解决方案和框架 .利用工作流的控制流机制 ,实现了多Web应用系统的控制逻辑 ,而多Web应用系... 展开更多; 关键词工作流移动AGENT 多Web应用系统信息传输信息集成控制逻辑控制流信息流; 在线阅读下载PDF 职称材料

用关系型数据库实现工作流机制研究与实践: 5; 作者余冬梅李德明张秋余《甘肃工业大学学报》 CAS 北大核心 2003年第3期100-102,共3页; 提出并实现了在关系型数据库基础上直接实现传递数据的工作流机制,并介绍了该技术的设计、开发及应用等过程,总结了应用此工作流技术的管理信息系统并提出了改进建议.; 关键词关系型数据库工作流管理企业管理信息系统 C/S结构逻辑控制意外处理 TREEVIEW控件 Listview控件; 在线阅读下载PDF 职称材料

基于RBAC的工作流管理系统授权约束方法被引量：7: 6; 作者单徐梅虞慧群《计算机工程》 CAS CSCD 北大核心 2010年第4期152-154,共3页; 针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态... 展开更多; 关键词授权约束基于角色的访问控制工作流 Datalog逻辑语言; 在线阅读下载PDF 职称材料

基于符号约束的PLC程序正确性验证: 7; 作者张晔陆余良《计算机科学》 CSCD 北大核心 2017年第B11期348-352,共5页; 符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器(PLC)程序的正确性验证,能够发现程序中的逻辑错误。人工计算符号约束不仅冗杂枯燥,而且错误率高。针对语句... 展开更多; 关键词可编程逻辑控制器符号约束正确性验证三地址码静态单赋值; 在线阅读下载PDF 职称材料

题名一种改进的验证工作流控制逻辑正确性的方法: 1; 作者巩垒王海洋黄富洁; 机构山东大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2003年第9期25-27,共3页; 基金山东省青年科学家基金项目 (1 1 1 50 0 0 40 2 0 1 1 0 ); 文摘许多工作流管理系统可能建立错误的工作流模型,导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型,提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明,该方法是可行的。; 关键词工作流工作流控制逻辑正确性工作流模型双分支条件有向图; Keywords workflow soundness of workflow control logic workflow model double-road conditional directed graph; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于语义约束的资源工作流并发正确性保证被引量：11: 2; 作者胡乃静顾宁施伯乐; 机构复旦大学计算机与信息技术系; 出处《计算机研究与发展》 EI CSCD 北大核心 2003年第5期712-719,共8页; 基金国家自然科学基金资助项目 (60 173 0 2 8); 文摘控制流结构中并发变迁的正确性是工作流模型正确性的基础为保证模型的正确性 ,提出了资源语义约束工作流网的基本概念 ,丰富了控制流的数据语义 ,给出了两方面的控制流并发正确性 :并发控制流与其数据语义的一致性检测算法及改正原则 ,保证了模型中的并发控制流结构的正确性 ;实例中基于数据语义约束的并发变迁正确性保证机制 ,提出了申请锁和释放锁的算法。; 关键词工作流控制流数据语义数据语义约束正确性; Keywords workflow control flow data semantic data semantic constraint correctness; 分类号 TP393.01 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于Petri网的工作流模型简化被引量：9: 3; 作者周从华刘志锋; 机构江苏大学计算机科学与通信工程学院; 出处《计算机科学》 CSCD 北大核心 2008年第2期115-119,共5页; 基金国家自然科学基金(No.60603041) 江苏省自然科学基金(BK2006073)的资助; 文摘计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTL-X描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性。; 关键词工作流网 PETRI网正确性线性时态逻辑; Keywords Workflow net, Petri net,Soundness,LTL; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于工作流和移动Agent的多Web应用系统的集成研究被引量：2: 4; 作者周光辉江平宇丘礼平; 机构西安交通大学机械工程学院新加坡南洋理工大学机械及生产工程学院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第9期933-937,共5页; 基金国家"十五"计划"八六三"CIMS主题资助项目 (2 0 0 1AA4 15 2 30) 教育部高等院校骨干教师基金资助项目西安交通大学博士学位论文基金资助项目; 文摘基于特定的任务 ,针对多Web应用系统的控制逻辑、信息传输和集成问题 ,依据工作流机制和移动Agent哲理 ,为多Web应用系统的集成提供了一个新的解决方案和框架 .利用工作流的控制流机制 ,实现了多Web应用系统的控制逻辑 ,而多Web应用系统间的信息传输和集成则利用工作流的信息流机制 ,并采用移动Agent技术加以实现 .最后通过原型系统对其进行了例证 ,结果表明。; 关键词工作流移动AGENT 多Web应用系统信息传输信息集成控制逻辑控制流信息流; Keywords Information theory Integration Internet Mobile telecommunication systems; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术] TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名用关系型数据库实现工作流机制研究与实践: 5; 作者余冬梅李德明张秋余; 机构兰州理工大学电气工程与信息工程学院; 出处《甘肃工业大学学报》 CAS 北大核心 2003年第3期100-102,共3页; 基金甘肃省自然科学基金(ZS021 A25 018 G); 文摘提出并实现了在关系型数据库基础上直接实现传递数据的工作流机制,并介绍了该技术的设计、开发及应用等过程,总结了应用此工作流技术的管理信息系统并提出了改进建议.; 关键词关系型数据库工作流管理企业管理信息系统 C/S结构逻辑控制意外处理 TREEVIEW控件 Listview控件; Keywords relational database workflow management information system (MIS); 分类号 F270.7 [经济管理—企业管理] TP311.132.3 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于RBAC的工作流管理系统授权约束方法被引量：7: 6; 作者单徐梅虞慧群; 机构华东理工大学计算机科学与工程系上海市计算机软件评测重点实验室; 出处《计算机工程》 CAS CSCD 北大核心 2010年第4期152-154,共3页; 基金国家自然科学基金资助项目(60773094 60473055) 上海市曙光计划基金资助项目(07SG32); 文摘针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。; 关键词授权约束基于角色的访问控制工作流 Datalog逻辑语言; Keywords authorization constraint Role-Based Access Control（RBAC） workflow Datalog logical language; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于符号约束的PLC程序正确性验证: 7; 作者张晔陆余良; 机构电子工程学院; 出处《计算机科学》 CSCD 北大核心 2017年第B11期348-352,共5页; 文摘符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器(PLC)程序的正确性验证,能够发现程序中的逻辑错误。人工计算符号约束不仅冗杂枯燥,而且错误率高。针对语句表形式的PLC程序,提出一种基于符号约束的正确性验证方法,通过分析PLC源代码的控制流及数据流,构造程序的控制流图并将其转换为静态单赋值形式的三地址码,最后使用迭代计算的方法求出每个变量的符号约束。; 关键词可编程逻辑控制器符号约束正确性验证三地址码静态单赋值; Keywords Programmable logic controller ,Symbolic constraints,Correctness veri fication,Three address code,Static sin-gle assignment; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种改进的验证工作流控制逻辑正确性的方法	巩垒王海洋黄富洁	《计算机应用》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
2	基于语义约束的资源工作流并发正确性保证	胡乃静顾宁施伯乐	《计算机研究与发展》 EI CSCD 北大核心	2003	11	在线阅读下载PDF 职称材料
3	基于Petri网的工作流模型简化	周从华刘志锋	《计算机科学》 CSCD 北大核心	2008	9	在线阅读下载PDF 职称材料
4	基于工作流和移动Agent的多Web应用系统的集成研究	周光辉江平宇丘礼平	《西安交通大学学报》 EI CAS CSCD 北大核心	2002	2	在线阅读下载PDF 职称材料
5	用关系型数据库实现工作流机制研究与实践	余冬梅李德明张秋余	《甘肃工业大学学报》 CAS 北大核心	2003	0	在线阅读下载PDF 职称材料
6	基于RBAC的工作流管理系统授权约束方法	单徐梅虞慧群	《计算机工程》 CAS CSCD 北大核心	2010	7	在线阅读下载PDF 职称材料
7	基于符号约束的PLC程序正确性验证	张晔陆余良	《计算机科学》 CSCD 北大核心	2017	0	在线阅读下载PDF 职称材料