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

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证: 1; 作者李宗花常逢佳《计算机应用与软件》北大核心 2023年第2期7-11,59,共6页; 对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化... 展开更多; 关键词 cim业务流模型 PIM工作流模型扩展PETRI网一致性验证; 在线阅读下载PDF 职称材料

面向企业整体解决方案的集成化建模与执行被引量：16: 2; 作者范玉顺赵博《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第11期841-846,共6页; 论述了关于企业建模及相关研究的新观点 ,提出了改进后的集成化企业建模体系结构 ,其中 ,在生命周期维中研究了模型在各个阶段的演进问题 ,在视图模型维中引入了产品视图 ,介绍了产品视图的一般特征和结构。在此基础上 ,提出了基于模型... 展开更多; 关键词集成化建模工作流管理集成平台参考模型计算机集成制造系统企业信息化; 在线阅读下载PDF 职称材料

一种模型驱动的工作流过程定义途径被引量：5: 3; 作者赵文袁崇义 +1 位作者张世琨王立福《计算机科学》 CSCD 北大核心 2006年第12期10-15,共6页; 传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化... 展开更多; 关键词模型驱动的体系结构工作流管理系统事件驱动的过程链过程网过程PIM 过程cim 模型转换 PNML; 在线阅读下载PDF 职称材料

基于ConGolog并发语言面向角色的工作流建模被引量：1: 4; 作者杨东王英林张申生《小型微型计算机系统》 CSCD 北大核心 2004年第8期1525-1529,共5页; 长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golo... 展开更多; 关键词工作流建模计算机集成制造(cims) 业务过程重组(BRP) ConGolog; 在线阅读下载PDF 职称材料

一个支持工作流的集成多视图建模方法被引量：1: 5; 作者王卓孙长嵩董春游《计算机工程与应用》 CSCD 北大核心 2003年第21期116-118,139,共4页; 该文在IDEF系列方法的基础上提出了一个支持工作流的集成多视图建模方法,给出了模型系统的体系结构、模型的定义、表示方法以及模型间的转换方法。该建模方法不仅解决了集成多视图之间的一致性问题,而且为工作流建模提供了所需信息。; 关键词 cims 计算机集成制造系统工作流集成多视图建模方法 IDEF; 在线阅读下载PDF 职称材料

题名MDA框架中CIM业务流模型与PIM工作流模型的一致性验证: 1; 作者李宗花常逢佳; 机构淮阴师范学院计算机科学与技术学院; 出处《计算机应用与软件》北大核心 2023年第2期7-11,59,共6页; 基金国家自然科学基金项目(61902141) 教育部人文社会科学研究青年基金项目(19YJCZH095) 江苏省高校自然科学研究面上项目(18KJB520006)。; 文摘对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。; 关键词 cim业务流模型 PIM工作流模型扩展PETRI网一致性验证; Keywords cim business flow model PIM workflow model Extended Petri nets Consistency verification; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向企业整体解决方案的集成化建模与执行被引量：16: 2; 作者范玉顺赵博; 机构清华大学自动化系国家CIMS工程技术研究中心; 出处《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第11期841-846,共6页; 基金国家 8 6 3/CIMS主题资助项目 ( 2 0 0 1AA4 150 10 )~~; 文摘论述了关于企业建模及相关研究的新观点 ,提出了改进后的集成化企业建模体系结构 ,其中 ,在生命周期维中研究了模型在各个阶段的演进问题 ,在视图模型维中引入了产品视图 ,介绍了产品视图的一般特征和结构。在此基础上 ,提出了基于模型释放的、在以工作流管理技术为核心的集成平台支持下的、面向企业整体解决方案的集成化建模及执行系统的基本框架 ,以及该框架中各个层次的主要功能。最后。; 关键词集成化建模工作流管理集成平台参考模型计算机集成制造系统企业信息化; Keywords enterprise modeling workflow management integrated platform reference model cims; 分类号 F270.7 [经济管理—企业管理] TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名一种模型驱动的工作流过程定义途径被引量：5: 3; 作者赵文袁崇义张世琨王立福; 机构北京大学信息科学技术学院; 出处《计算机科学》 CSCD 北大核心 2006年第12期10-15,共6页; 基金国家自然科学基金(No.60473058) 国家重点基础研究发展计划(973)(No.2002CB312006)。; 文摘传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次,运用模型驱动的途径,依据给出的工作流模型,本文提出了一种模型驱动的,用于快速构造工作流管理系统的框架。针对工作流过程模型,着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换(转换过程和转换规则),并以扩展的Petri网标注语言E-PNML规约了过程PIM。; 关键词模型驱动的体系结构工作流管理系统事件驱动的过程链过程网过程PIM 过程cim 模型转换 PNML; Keywords MDA, workflow management system, EPC, Procedure net, Process cim, Process PIM, model transfor mation, PNML; 分类号 TP391.1 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于ConGolog并发语言面向角色的工作流建模被引量：1: 4; 作者杨东王英林张申生; 机构上海交通大学机械学院工业工程系上海交通大学计算机系CIT实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2004年第8期1525-1529,共5页; 基金国家 8 63高技术项目 ( 2 0 0 2 AA4114 2 0 )资助; 文摘长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golog语言来定义 .本文提出了采用 Con Golog并发语言来描述工作流模型的方法 ,所建议的方法不仅使工作流模型具有严密的语义。; 关键词工作流建模计算机集成制造(cims) 业务过程重组(BRP) ConGolog; Keywords workflow modeling cims BRP ConGolog; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一个支持工作流的集成多视图建模方法被引量：1: 5; 作者王卓孙长嵩董春游; 机构哈尔滨工程大学计算机科学与技术学院黑龙江科技学院计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2003年第21期116-118,139,共4页; 基金哈尔滨市科委留学归国人员基金资助; 文摘该文在IDEF系列方法的基础上提出了一个支持工作流的集成多视图建模方法,给出了模型系统的体系结构、模型的定义、表示方法以及模型间的转换方法。该建模方法不仅解决了集成多视图之间的一致性问题,而且为工作流建模提供了所需信息。; 关键词 cims 计算机集成制造系统工作流集成多视图建模方法 IDEF; Keywords cims ,multi-view modeling,workflow; 分类号 TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	MDA框架中CIM业务流模型与PIM工作流模型的一致性验证	李宗花常逢佳	《计算机应用与软件》北大核心	2023	0	在线阅读下载PDF 职称材料
2	面向企业整体解决方案的集成化建模与执行	范玉顺赵博	《计算机集成制造系统-CIMS》 EI CSCD 北大核心	2002	16	在线阅读下载PDF 职称材料
3	一种模型驱动的工作流过程定义途径	赵文袁崇义张世琨王立福	《计算机科学》 CSCD 北大核心	2006	5	在线阅读下载PDF 职称材料
4	基于ConGolog并发语言面向角色的工作流建模	杨东王英林张申生	《小型微型计算机系统》 CSCD 北大核心	2004	1	在线阅读下载PDF 职称材料
5	一个支持工作流的集成多视图建模方法	王卓孙长嵩董春游	《计算机工程与应用》 CSCD 北大核心	2003	1	在线阅读下载PDF 职称材料