时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

发布时间：2017-12-01 23:11

  本文关键词：时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

  更多相关文章： Guard-Stage-Milestone(GSM) 时序约束 Petri网 时序一致性 异常处理

【摘要】：Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求,提出了一种时序约束下GSM业务模型的一致性验证与异常处理方法.分为两个阶段:1)将GSM业务模型转化为Petri网模型,再把外部的时序约束映射到Petri网模型中.2)提取Petri网模型中的路径并进行时序一致性验证;如果出现异常,将问题转化为线性规划模型并进行自动求解.不但能够解决GSM业务模型的时序约束验证问题,而且能指导用户进行模型持续优化和改进.最后,通过一个企业的实例验证了其有效性.
【作者单位】： 北京科技大学机械工程学院;
【基金】：国家自然科学基金(61473035) 中央高校基本科研业务费专项资金(FRF-TP-14-017A2)~~
【分类号】：TP301.1
【正文快照】： 1引言以Artifact为中心的企业业务建模方法将数据与流程结合,强调业务数据在建模过程中的重要性.根据数据变化对业务流程进行建模和分析.不但符合现实中的行为方式,且更易f被业务人员所理解.在当前多种以Artifact为中心流程建模方法中.Guard-Stage-Milestone(GSM)方法正受到学

【相似文献】

中国期刊全文数据库 前10条

1 王鑫;;基于业务模型的高校毕业生离校系统设计[J];电脑与信息技术;2013年01期

2 尹琦;单速率三色标记在区分业务模型中的应用[J];西安建筑科技大学学报(自然科学版);2003年04期

3 罗晓沛;区分红花绿叶,避免体外循环 建立合适的业务模型是关键[J];电子计算机与外部设备;2002年01期

4 朱军,李晓辉,丁大为;宽带网络中业务模型的性能评价[J];微机发展;2004年03期

5 孙自安,周伯生;业务模型的描述语言[J];计算机工程;2004年17期

6 李坤;自助银行[J];信息系统工程;1998年09期

7 孟凡超;战德臣;徐晓飞;;基于领域业务模型的可重用构件设计方法[J];计算机集成制造系统;2006年09期

8 涂俊翔;王琳;;基于业务模型语义的制造企业管理信息系统重构[J];计算机系统应用;2014年01期

9 赵慧玲,吴江;对IP QoS问题的研究及一种MPLS Diff-serv解决方案(上)[J];中国数据通讯网络;2000年10期

10 王忠杰;徐晓飞;战德臣;;基于熵的信息系统业务模型复杂性度量[J];计算机科学;2006年01期

中国重要会议论文全文数据库 前8条

1 刘凡;宋小明;张宇;;车联网业务通信特征和业务模型研究[A];第十四届中国科协年会第20分会场：转型创新促通信业新发展论坛论文集[C];2012年

2 杜建凤;;3G数据业务模型的建立方法探讨[A];2007年中国通信学会“移动增值业务与应用”学术年会论文集[C];2007年

3 于佳;宗鹏;;中国业务模型的建立和低轨卫星资源分配的研究[A];第七届卫星通信新技术、新业务学术年会论文集[C];2011年

4 罗恒端;吴诗其;;数据分组网中自相似业务模型的研究进展[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年

5 陈宁;冯博琴;;基于系统论的业务模型实现的自动化技术的研究[A];2006中国控制与决策学术年会论文集[C];2006年

6 王申涛;刘小丽;杨浩;周熙;;不同业务模型下的MANET DSR协议性能分析(英文)[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年

7 黄锡林;;计算机账务处理的数据与系统分析[A];信息科学与微电子技术:中国科协第三届青年学术年会论文集[C];1998年

8 黄小庆;关维德;夏安邦;;SOA在发电侧竞价系统中的应用研究[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集（中册）[C];2008年

中国重要报纸全文数据库 前10条

1 程汲;普元推出以客户为中心业务模型[N];金融时报;2002年

2 ;面向BPO客户的咨询服务提供商[N];中国计算机报;2008年

3 ;顶点软件：构建金融业业务模型体系[N];中国计算机报;2013年

4 南京邮电大学 唐宝民;挑战IP QoS完美极限[N];通信产业报;2004年

5 Staff Writer;警惕开源投资泡沫[N];计算机世界;2005年

6 本报记者 李奕;大数据：在无序中建立有序[N];中国计算机报;2013年

7 ;基于网络的IP VPN的业务模型[N];人民邮电;2001年

8 ;下一代IP网络对QoS的支持[N];人民邮电;2001年

9 ;设计业务模式[N];计算机世界;2009年

10 ;SI向ISV转型凶多吉少[N];电脑商报;2005年

中国博士学位论文全文数据库 前2条

1 穆萨(Mouhamadou Bello Moussa);WCDMA混合业务模型及网络覆盖和容量仿真分析与研究[D];吉林大学;2006年

2 涂俊翔;制造企业管理信息系统的重构技术研究[D];华中科技大学;2009年

中国硕士学位论文全文数据库 前10条

1 王威;数据资源规划中主题数据库划分研究[D];大连海事大学;2015年

2 周建;基于开放式基金代销系统研究[D];电子科技大学;2014年

3 王坦;面向铸造业的信息资源规划应用研究[D];大连海事大学;2015年

4 骆凯;面向卷烟生产企业产品研发系统的设计与实现[D];电子科技大学;2015年

5 李童佳;居民用户需求响应业务模型研究[D];华北电力大学(北京);2016年

6 杨琴;基于领域业务模型的业务活动稳定性研究[D];华中科技大学;2007年

7 陈启斗;面向多租户的业务模型管理平台研究[D];上海交通大学;2013年

8 闫哲琼;基于业务模型的场景角色框架的研究与应用[D];大连海事大学;2012年

9 张佳斌;物流系统中关键业务模型的设计和实现[D];东北大学;2005年

10 钟菁菁;业务模型与代码的关联分析技术研究与实现[D];浙江大学;2013年

，

本文编号：1242782