检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种多视角的跨组织业务过程建模方法

计算机集成制造系统 2015年第11期21卷 3001-3016页

作者：代飞莫启林雷蕾李彤顾思雅朱锐云南大学软件学院云南昆明650091 云南大学云南省软件工程重点实验室云南昆明650091

为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方... 详细信息

为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。

关键词：业务过程建模跨组织业务过程私有过程公共过程协作过程 Petri网

在线全文

学校读者我要写书评

暂无评论

跨组织业务过程协同多视图模型

计算机应用研究 2015年第9期32卷 2687-2692页

作者：笪建莫启李彤代飞朱锐骆霄林雷蕾程耀坤淮安市高级职业技术学校信息工程系江苏淮安223005 云南大学软件学院昆明650091 云南大学云南省软件工程重点实验室昆明650091 云南大学昆明学院教务处昆明650091

为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部... 详细信息

为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。

关键词：跨组织业务过程协同异步通信上下文无关 pi演算

基于Petri网的跨组织业务过程模型挖掘方法

在线全文

学校读者我要写书评

暂无评论

基于Petri网的跨组织业务过程模型挖掘方法

作者：李会玲山东理工大学

学位级别：硕士

随着经济全球化进程的不断发展,越来越多的组织正在逐渐打破组织间的壁垒,加强彼此间的协作,合作关系也逐渐从紧密耦合向松散耦合转变,以更加高效的完成一项共同的业务目标。在此背景下,跨组织业务过程管理应运而生。跨组织业务过程执... 详细信息

随着经济全球化进程的不断发展,越来越多的组织正在逐渐打破组织间的壁垒,加强彼此间的协作,合作关系也逐渐从紧密耦合向松散耦合转变,以更加高效的完成一项共同的业务目标。在此背景下,跨组织业务过程管理应运而生。跨组织业务过程执行中一方面通常会涉及多个不同的组织,各个组织的地理位置不集中并且各组织内部可能会使用不同的业务系统;另一方面,跨组织业务执行过程中的多个不同组织通过多种协作模式完成同一项业务目标,这两个方面使得跨组织业务过程模型的挖掘成为一个复杂而多变的工作。跨组织业务过程管理系统记录了跨组织业务过程在执行过程中产生的大量事件日志,这些数据为从事件日志中挖掘跨组织业务过程模型提供了数据支撑。然而传统的过程挖掘技术仅关注单个组织的业务过程挖掘,无法有效的处理跨组织业务过程模型挖掘问题。本文针对跨组织业务过程提出了一种基于Petri网的跨组织业务过程模型挖掘方法,挖掘跨组织业务过程模型,从而能够在了解跨组织业务过程模型的基础上对全局的跨组织业务过程进行深入的分析和优化。本文以跨组织业务过程管理系统中记录的事件日志数据为起点,对跨组织业务过程模型挖掘问题展开研究,主要内容包括:1、在跨组织业务过程模型挖掘方面,基于Petri网提出了一种跨组织业务过程模型挖掘方法。该方法主要包括三个方面的工作:（1）挖掘各个组织内部的业务过程模型,包括各个组织内部的控制流信息和与其他组织进行协作的协作信息;（2）根据定义的协作模式,挖掘各个组织间存在的多种协作模式模型;（3）基于Petri网的保性合成理论,将挖掘到各个组织内部的业务过程模型与组织间的协作模式模型进行集成,得到全局的跨组织业务过程模型。2、在跨组织业务过程模型质量评估方面,针对挖掘到的跨组织业务过程模型,对其进行质量评估,该方法主要包括两个方面的工作:（1）对全局跨组织业务过程模型采用传统的质量评估指标进行质量评估;（2）对组织间的协作模式模型采用新的质量评估指标对其进行质量评估;3、基于ProM开源过程挖掘平台,对本文提出方法进行实现,并在多个不同的跨组织业务过程场景案例中验证所提方法挖掘到跨组织业务过程模型的准确性。

关键词：过程挖掘模型挖掘跨组织业务过程协作模式事件日志 Petri网

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

跨组织业务过程建模

计算机产品与流通 2017年第11期6卷 129-129页

作者：莫启代飞云南大学软件学院西南林业大学大数据与智能工程学院

跨组织业务过程使组织能够彼此进行交互和合作,以达成各自的商业目标。提出了一种跨组织业务过程的建模方法。首先,该方法使用有穷状态机建模参与组织的业务过程;其次,定义异步通信;最后,在异步通信模型下,将业务过程组合为跨组织业务... 详细信息

跨组织业务过程使组织能够彼此进行交互和合作,以达成各自的商业目标。提出了一种跨组织业务过程的建模方法。首先,该方法使用有穷状态机建模参与组织的业务过程;其次,定义异步通信;最后,在异步通信模型下,将业务过程组合为跨组织业务过程。

关键词：异步通信跨组织业务过程有穷状态机

在线全文

学校读者我要写书评

暂无评论

基于事件日志的跨组织复杂业务过程挖掘研究

基于事件日志的跨组织复杂业务过程挖掘研究

作者：吴亚锋南京航空航天大学

学位级别：硕士

随着跨组织过程感知信息系统的快速发展和以“共享”为特征的互联网新技术的飞速崛起,过程挖掘领域出现了很多具有挑战性的研究课题。IEEE过程挖掘工作组在其制定的《过程挖掘宣言》中指出跨组织业务过程挖掘是当今过程挖掘领域的挑战之... 详细信息

随着跨组织过程感知信息系统的快速发展和以“共享”为特征的互联网新技术的飞速崛起,过程挖掘领域出现了很多具有挑战性的研究课题。IEEE过程挖掘工作组在其制定的《过程挖掘宣言》中指出跨组织业务过程挖掘是当今过程挖掘领域的挑战之一,并且给出了跨组织业务过程挖掘存在的两种情形:(1)基于不同组织相互配合、协同合作模式的跨组织业务过程挖掘;(2)基于不同组织共享业务过程管理基础设施模式的跨组织业务过程挖掘。本文对跨组织业务过程挖掘存在的两种情形进行研究,主要工作如下:针对不同组织相互配合、协同合作模式的跨组织业务过程挖掘,提出了一种分布式跨组织业务过程挖掘方法。以跨组织应急业务过程案例为研究对象,给出跨组织应急业务过程任务的形式化定义以及不同任务之间协作关系的定义;根据跨组织应急业务过程任务间的协作关系定义不同组织间的协同模式;然后,使用基于扩展消息库所的Petri网模型来描述跨组织应急业务过程模型;给出挖掘组织内私有业务过程模型和组织间协同过程模型的算法;通过模型集成算法将组织内私有业务过程模型和组织间协同过程模型进行合并,获得全局跨组织应急业务过程模型;最后,给出跨组织业务过程挖掘框架,并使用Petri网编辑工具对挖掘出的全局跨组织业务过程模型进行正确性验证。针对共享业务过程管理基础设施模式的跨组织业务过程挖掘,研究不同组织的业务过程间距离,提出了两种业务过程间距离计算方法:(a)通过模型-模型比较,提出基于关联矩阵的业务过程间距离计算方法。在传统工作流网的基础上,定义一种带边权重的工作流网;给定节点边权重构造规则与算法,从而构造带边权重的工作流网;以工作流网关联矩阵为基础,定义带边权重的工作流网关联矩阵,并给出基于关联矩阵的业务过程间距离的定义。(b)通过日志-日志比较,提出基于邻接矩阵的业务过程间距离计算方法。分析保存在各类信息管理系统中的事件日志,将其转化为仅包含活动执行轨迹的简单事件日志;根据活动的执行顺序定义活动间的紧邻关系,并以此构造活动邻接矩阵;根据轨迹发生率定义概率邻接矩阵,并给出基于活动邻接矩阵的业务过程间距离的定义。

关键词：跨组织业务过程过程挖掘业务过程间距离 Petri网事件日志关联矩阵邻接矩阵

结合Petri网与进程代数的业务过程协同模型研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

软件导刊 2017年第12期16卷 49-52页

作者：笪建程耀坤莫启孙华吕永华江苏联合职业技术学院淮安分院信息工程系淮安开放大学信息工程系江苏淮安223001 云南大学软件学院云南昆明650091

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进... 详细信息

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。

关键词： Petri网进程代数跨组织业务过程进程标号迁移系统约简