主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2021年第1期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
朱锐,黄月,金芝,李彤,汤雅惠.基于完全有限前缀展开的行为等价过程树生成算法.软件学报,0,(0):0
基于完全有限前缀展开的行为等价过程树生成算法
Generating algorithm for the behavior equivalent process tree based on complete finite prefix
投稿时间:2020-04-22  修订日期:2020-08-24
DOI:10.13328/j.cnki.jos.006162
中文关键词:  过程模型|复杂结构|Petri网|过程树|完全有限前缀展开
英文关键词:process model|complex structures|Petri net|process tree|complete finite prefix
基金项目:国家自然科学基金(62002310,61662085,61662065);云南省重大科技专项(202002AD080002);云南省自然科学基金基础研究面上资助项目(2019FB135);云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012);云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)
作者单位E-mail
朱锐 云南大学 软件学院, 云南 昆明 650091
北京大学 信息科学技术学院, 北京 北京 100871
高可信软件技术教育部重点实验室(北京大学), 北京 100871
云南省软件工程重点实验室, 云南 昆明 650091 
 
黄月 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
 
金芝 北京大学 信息科学技术学院, 北京 北京 100871
高可信软件技术教育部重点实验室(北京大学), 北京 100871 
 
李彤 云南省软件工程重点实验室, 云南 昆明 650091
云南农业大学 大数据学院, 云南 昆明 650201 
tli@ynu.edu.cn 
汤雅惠 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
 
摘要点击次数: 128
全文下载次数: 63
中文摘要:
      过程树能够兼具过程模型的行为和结构,对简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,但是无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.在实验部分通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.
英文摘要:
      The process tree has both the behavior and structure of process model, and it is significant on simplifying the complexity of the process model. Existing methods can only transform the block structured process model into process tree. However, it is difficult to transform process model with complex structure into process tree. To solve this problem, a novel generating algorithm for the behavior equivalent process tree based on complete finite prefix was proposed. The algorithm is used to transform the process tree in behavior equivalent's process model into behavior equivalent process tree. This algorithm analyses the process model based on an incomplete prefix unfolding technique and extracts the relationships between process model activities. After analyzing the activity relation, the algorithm reconstruct the process model. The behavior equivalent process tree is constructed through activity relation judgment and the iterative operation of model reconstruction. The validity and feasibility of the proposed algorithm in the generation of behavioral equivalent process tree are verified by experiments on the test model.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利