项目名称: 面向图形流程模型的结构化转换方法研究

项目编号: No.61303031

项目类型: 青年科学基金项目

立项/批准年度: 2014

项目学科: 自动化技术、计算机技术

项目作者: 张曼

作者单位: 西安电子科技大学

项目金额: 23万元

中文摘要: 针对业务流程建模中,由业务专家设计的面向图形流程模型与IT技术人员实现的面向块状模型间存在根本性拓扑结构差异的问题,本项目将开展由面向图形到面向块状流程模型的转换方法研究。主要研究内容分为以下三个方面:(1)针对严格结构化这种传统的面向块状特征表达能力有限的问题,拟定义一种放宽严格结构化限制的新面向块状特征,称为可分离性,并以可分离性作为转换的目标模型应满足的面向块状特征;(2)对于可能具有任意拓扑结构的面向图形的源模型,拟总结其存在等价可分离形式的充要条件。在此基础上,构建面向图形的流程模型是否存在等价可分离形式的判定算法。若答案为是,则能够由判定算法直接得到目标模型;答案为否,则证明不存在这样的形式。(3)拟采用真并发等价性的概念,证明等价可分离形式存在时,转换算法能够保持转换前后流程模型的并发层次。项目的研究将为业务流程模型由设计到实现层的平滑过渡提供理论基础。

中文关键词: 面向图形的流程模型;模型转换;工作流网;可分离性;真并发等价

英文摘要: In view of the foundational topological differences between the graph-oriented process models designed by business experts and the block-oriented models implemented by IT technicians in the business process modeling, this project will develop the research on the transformation of graph-oriented into block-oriented process models. The main content includes the following three aspects: (1) In the light of the fact that the strict structuredness as the traditional block-oriented character has limited expression ability, the so-called separability will be defined as a new kind of block-oriented character, which releases the expression limitation of the strict structuredness. And the target models of transformation will be demanded to satisfy separability as the new block-oriented character. (2) For graph-oriented source models possible with arbitrary topological structures, the necessary and sufficient condition of them having equivalent separable forms will be summarized. Based on this, a determinate algorithm will be established to judge whether an equivalent separable form exists for a graph-oriented process model. If the answer is yes, the target model can be directly derived from the determinate algorithm. If no, it is proved that such a separable form does not exist. (3) Under the true concurrent equivalent no

英文关键词: graph-oriented process model;model transformation;workflow net;separability;true concurrent equivalency

成为VIP会员查看完整内容
1

相关内容

「图分类研究」最新2022综述
专知会员服务
95+阅读 · 2022年2月13日
面向知识图谱的图嵌入学习研究进展
专知会员服务
59+阅读 · 2021年11月3日
专知会员服务
15+阅读 · 2021年10月4日
专知会员服务
29+阅读 · 2021年2月21日
基于生理信号的情感计算研究综述
专知会员服务
59+阅读 · 2021年2月9日
【AAAI2021】双级协作变换器Transformer图像描述生成
专知会员服务
26+阅读 · 2021年1月26日
专知会员服务
54+阅读 · 2020年12月20日
KDD2020 | 真实世界超图的结构模式和生成模型
专知会员服务
28+阅读 · 2020年8月18日
【干货书】图形学基础,427页pdf
专知会员服务
143+阅读 · 2020年7月12日
基于深度学习的手语识别综述
专知会员服务
45+阅读 · 2020年5月18日
实践教程 | 轻松入门模型转换和可视化
极市平台
0+阅读 · 2022年3月5日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
【数字孪生】面向智能制造的数字孪生
产业智能官
47+阅读 · 2020年5月10日
关于GANs在医学图像领域应用的总结
人工智能前沿讲习班
31+阅读 · 2019年6月4日
【知识图谱】中文知识图谱构建方法研究
产业智能官
98+阅读 · 2017年10月26日
【大数据】数据挖掘与数据分析知识流程梳理
产业智能官
12+阅读 · 2017年9月22日
国家自然科学基金
12+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
17+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
Arxiv
12+阅读 · 2021年10月22日
Arxiv
10+阅读 · 2018年2月17日
小贴士
相关VIP内容
「图分类研究」最新2022综述
专知会员服务
95+阅读 · 2022年2月13日
面向知识图谱的图嵌入学习研究进展
专知会员服务
59+阅读 · 2021年11月3日
专知会员服务
15+阅读 · 2021年10月4日
专知会员服务
29+阅读 · 2021年2月21日
基于生理信号的情感计算研究综述
专知会员服务
59+阅读 · 2021年2月9日
【AAAI2021】双级协作变换器Transformer图像描述生成
专知会员服务
26+阅读 · 2021年1月26日
专知会员服务
54+阅读 · 2020年12月20日
KDD2020 | 真实世界超图的结构模式和生成模型
专知会员服务
28+阅读 · 2020年8月18日
【干货书】图形学基础,427页pdf
专知会员服务
143+阅读 · 2020年7月12日
基于深度学习的手语识别综述
专知会员服务
45+阅读 · 2020年5月18日
相关资讯
实践教程 | 轻松入门模型转换和可视化
极市平台
0+阅读 · 2022年3月5日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
【数字孪生】面向智能制造的数字孪生
产业智能官
47+阅读 · 2020年5月10日
关于GANs在医学图像领域应用的总结
人工智能前沿讲习班
31+阅读 · 2019年6月4日
【知识图谱】中文知识图谱构建方法研究
产业智能官
98+阅读 · 2017年10月26日
【大数据】数据挖掘与数据分析知识流程梳理
产业智能官
12+阅读 · 2017年9月22日
相关基金
国家自然科学基金
12+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
17+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
微信扫码咨询专知VIP会员