期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
A Process Meta- Model Based Approach for the Development of Collaborative Applications Built on Workflow and SOA
1
作者 Boukhedouma Saida Alimazighi Zaia 《通讯和计算机（中英文版）》 2011年第2期120-133,共14页
关键词 工作流程 应用程序 SOA 过程元模型 建筑发展 协同 基础 WEB服务
在线阅读 下载PDF
MDA框架中CIM业务流模型与PIM工作流模型的一致性验证 被引量：1
2
作者 李宗花 常逢佳 《计算机应用与软件》 北大核心 2023年第2期7-11,59,共6页
对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化... 对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。 展开更多
关键词 CIM业务流模型 pim工作流模型 扩展PETRI网 一致性验证
在线阅读 下载PDF
一种模型驱动的工作流过程定义途径 被引量：5
3
作者 赵文 袁崇义 +1 位作者 张世琨 王立福 《计算机科学》 CSCD 北大核心 2006年第12期10-15,共6页
传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化... 传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次,运用模型驱动的途径,依据给出的工作流模型,本文提出了一种模型驱动的,用于快速构造工作流管理系统的框架。针对工作流过程模型,着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换(转换过程和转换规则),并以扩展的Petri网标注语言E-PNML规约了过程PIM。 展开更多
关键词 模型驱动的体系结构 工作流管理系统 事件驱动的过程链 过程网 过程pim 过程CIM 模型转换 PNML
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部