期刊文献+
共找到301篇文章
< 1 2 16 >
每页显示 20 50 100
微服务技术:体系结构、通信和挑战 认领 被引量:1
1
作者 代飞 刘国志 +2 位作者 李章 李彤 《应用科学学报》 CAS CSCD 北大核心 2020年第5期761-778,共18页
微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进... 微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进展和研究现状.首先系统地比较了单体架构、面向服务架构(service oriented architecture,SOA)和微服务结构;其次概述了微服务间的通信;最后讨论了微服务面临的技术挑战. 展开更多
关键词 微服务 单体架构 面向服务架构 异步通信
在线阅读 下载PDF
基于Petri网分析编排的可实现性 认领
2
作者 黄苾 代飞 +3 位作者 王亚博 曹涌 王雷光 《计算机集成制造系统》 EI CSCD 北大核心 2020年第6期1548-1556,共9页
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中... 为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。 展开更多
关键词 编排 可实现性 异步通信 同步通信 PETRI网
在线阅读 下载PDF
协同业务过程的随机行为分析方法 认领
3
作者 赵莹 潘华 +2 位作者 孙金艳 代飞 《计算机工程与应用》 CSCD 北大核心 2019年第3期245-251,265共8页
参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次... 参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Pro-cess,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。 展开更多
关键词 协同业务过程 异步消息通信 随机行为 通信顺序进程(CSP) 马尔科夫链
在线阅读 下载PDF
课程改革在实践中的运用 认领
4
作者 钱晔 孙吉红 +1 位作者 代飞 《创新创业理论研究与实践》 2018年第8期38-40,共3页
针对社会中某种专业需求量较大,而该专业就业率缺很低的反常现象,学生的专业能力有待提高的问题,该研究设计基于课程改革的政策指导矩阵及基于适应性慕课的教学方法,以云南农业大学2014级计算机科学技术本科教学班为研究对象,以提高学... 针对社会中某种专业需求量较大,而该专业就业率缺很低的反常现象,学生的专业能力有待提高的问题,该研究设计基于课程改革的政策指导矩阵及基于适应性慕课的教学方法,以云南农业大学2014级计算机科学技术本科教学班为研究对象,以提高学生专业水平为目标,采用管理信息系统课程为实验课程,开展教学改革实践活动。实践结果表明,该次课程改革在实践中非常成功,全班47名学生,成绩在90分以上的有6名学生,80分以上有20名学生,及格率100%,并且学生从思想上、认识上有了较大的提高,适合作为教学改革的模型进行推广应用。 展开更多
关键词 课程改革 实践 模型 政策指导矩阵 慕课
数据驱动的双层次软件过程挖掘方法 认领 被引量:1
5
作者 朱锐 李彤 +3 位作者 何臻力 于倩 王一荃 《软件学报》 EI CSCD 北大核心 2018年第11期3455-3483,共29页
为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题,以软件过程数据为研究对象,提出了一种双层次的软件过程挖掘方法.在活动层,提出加权结构连接向量模型对过程日志进行向量化,通过平均活动熵来确定过... 为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题,以软件过程数据为研究对象,提出了一种双层次的软件过程挖掘方法.在活动层,提出加权结构连接向量模型对过程日志进行向量化,通过平均活动熵来确定过程日志模糊聚类的结果,将聚类结果作为活动信息支持后续挖掘工作的开展;在过程层,以启发式关系度量为基础,针对非完全循环进行研究,提出了过程层单触发序列循环划分的日志完备性条件,并进一步给出了循环归属的度量方法.基于大量真实软件过程数据的实验结果表明了双层次的软件过程挖掘方法的可行性及正确性. 展开更多
关键词 软件过程数据 软件过程挖掘 模糊聚类 启发式关系度量
在线阅读 下载PDF
协同业务过程建模与行为验证 认领
6
作者 赵莹 潘华 +2 位作者 张云猛 代飞 《计算机科学》 CSCD 北大核心 2018年第B11期597-602,共6页
对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业... 对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。 展开更多
关键词 协同业务过程 业务过程 异步消息通信 行为验证 模型检测
在线阅读 免费下载
业务过程模型的合理性分析 认领
7
作者 黄苾 代飞 《电子技术与软件工程》 2018年第10期159-160,共2页
合理性是业务过程模型满足正确性的最低要求。针对使用工作流网定义的业务过程模型,以Petri网为形式化基础,给出了合理性的形式定义,通过建立合理性和Petri网的活性和有界性的联系,使用工具WoPeD分析了业务过程模型的合理性。
关键词 业务过程 PETRI网 合理性
在线阅读 下载PDF
结合Petri网与进程代数的业务过程协同模型研究 认领 被引量:1
8
作者 笪建 程耀坤 +2 位作者 孙华 吕永华 《软件导刊》 2017年第12期49-52,共4页
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,... 业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。 展开更多
关键词 PETRI网 进程代数 跨组织业务过程 进程标号迁移系统 约简
在线阅读 免费下载
启发式并行化单触发序列挖掘算法 认领 被引量:3
9
作者 朱锐 李彤 +4 位作者 代飞 高提雷 何云 孙雪 《计算机集成制造系统》 EI CSCD 北大核心 2016年第2期330-342,共13页
为解决因缺少挖掘所需案例属性的支持而无法使用成熟挖掘算法对单触发序列进行挖掘的问题,从模型层和实例层双视角进行研究,从模型角度证明轨迹中存在循环以保证挖掘基础的正确性,提出构建并发块集来解决并发活动对案例划分引起混淆的问... 为解决因缺少挖掘所需案例属性的支持而无法使用成熟挖掘算法对单触发序列进行挖掘的问题,从模型层和实例层双视角进行研究,从模型角度证明轨迹中存在循环以保证挖掘基础的正确性,提出构建并发块集来解决并发活动对案例划分引起混淆的问题;从轨迹角度对启发式方法进行改进以适应案例划分,提出启发式的并发关系度量方法以降低噪声对并发关系挖掘的影响,通过构建含有并发关系的依赖关系表对案例进行划分。综合提出一个针对活动集并行化地进行案例划分,并根据其拟合度择优选择最佳案例的方法框架。通过大量基于真实数据集的实验展示了该方法针对单触发序列挖掘的有效性和正确性。 展开更多
关键词 过程挖掘 单触发序列 启发式方法 案例划分 PETRI网
在线阅读 下载PDF
业务过程协同中数据恢复策略建模及分析 认领 被引量:3
10
作者 代飞 +3 位作者 朱锐 笪建 林雷蕾 李彤 《计算机应用研究》 CSCD 北大核心 2016年第2期462-466,482共6页
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端+盟主端”业务过程协同架构;然后通过对该协同架构进行分析,提出... 为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端+盟主端”业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。 展开更多
关键词 业务过程协同 “代理端+盟主端”业务过程协同架构 数据恢复通用模型 数据恢复策略模型 数据恢复策略
在线阅读 下载PDF
结合Petri网和Pi演算的协同业务过程建模 认领 被引量:8
11
作者 代飞 +3 位作者 林雷蕾 朱锐 李彤 谢仲文 《计算机科学与探索》 CSCD 北大核心 2015年第6期692-706,共15页
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用... 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。 展开更多
关键词 协同业务过程 公共视图 协作视图 PETRI网 PI演算
在线阅读 下载PDF
一种多视角的跨组织业务过程建模方法 认领 被引量:3
12
作者 代飞 +3 位作者 林雷蕾 李彤 顾思雅 朱锐 《计算机集成制造系统》 EI CSCD 北大核心 2015年第11期3001-3016,共16页
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方... 为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。 展开更多
关键词 业务过程建模 跨组织业务过程 私有过程 公共过程 协作过程 PETRI网
在线阅读 下载PDF
跨组织业务过程协同多视图模型 认领
13
作者 笪建 +5 位作者 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 《计算机应用研究》 CSCD 北大核心 2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与... 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。 展开更多
关键词 跨组织业务过程 协同 异步通信 上下文无关 PI演算
在线阅读 下载PDF
跨组织业务过程协同并行建模 认领 被引量:5
14
作者 代飞 +4 位作者 朱锐 笪建 林雷蕾 李可 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2015年第4期1051-1062,共12页
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组... 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。 展开更多
关键词 跨组织业务过程 协同 并行建模 语义
在线阅读 下载PDF
Petri网层次结构中的状态一致性研究 认领 被引量:1
15
作者 林雷蕾 代飞 +2 位作者 李彤 朱锐 《小型微型计算机系统》 CSCD 北大核心 2015年第7期1481-1486,共6页
Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次... Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现. 展开更多
关键词 PETRI网 细化操作 层次结构 状态一致性 最大流 PIPE工具
一种基于层次聚类的子系统划分方法研究 认领 被引量:1
16
作者 朱锐 廖鸿志 +4 位作者 李彤 代飞 王一荃 林雷蕾 《计算机科学》 CSCD 北大核心 2015年第12期108-114,共7页
信息领域中常常会涉及到子系统的划分问题,而U/C矩阵法是信息系统划分的一种常用方法,但是系统的复杂性以及人为的参与常常导致子系统划分产生低效率、不确定性以及错误划分等问题。因此深入剖析了系统与子系统、子系统与功能、功能与... 信息领域中常常会涉及到子系统的划分问题,而U/C矩阵法是信息系统划分的一种常用方法,但是系统的复杂性以及人为的参与常常导致子系统划分产生低效率、不确定性以及错误划分等问题。因此深入剖析了系统与子系统、子系统与功能、功能与数据等之间的关系与性质,通过对U/C矩阵按照功能相似度进行层次聚类,并引入结构熵和Hpal熵来对聚类形成的子系统进行度量,给出了具体的计算公式,提出了一种新的划分子系统的方法,将原本需要人为参与的事情转变为通过计算来完成。同时,实现了一个原型系统来对所提出的方法进行验证,并给出了具体实例。 展开更多
关键词 子系统划分 层次聚类 结构熵 U/C矩阵 功能相似度
在线阅读 免费下载
基于EPMM的软件过程行为偏离诊断研究 认领
17
作者 朱锐 李彤 +4 位作者 张璇 王一荃 林雷蕾 代飞 《计算机科学》 CSCD 北大核心 2014年第11期56-62,共7页
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,... 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。 展开更多
关键词 软件过程 行为偏离诊断 软件演化过程元模型 软件过程行为空间 进程代数
在线阅读 免费下载
基于EPMM的软件过程结构合理性研究 认领 被引量:2
18
作者 代飞 李彤 +2 位作者 谢仲文 金运志 《计算机科学》 CSCD 北大核心 2013年第8期186-190,共5页
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算... 为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。 展开更多
关键词 软件演化过程 软件演化 软件过程 性质合理性 PETRI网 元模型
在线阅读 免费下载
一种基于Bigraph理论的软件演化过程模型研究 认领 被引量:2
19
作者 刘培培 章勇 +1 位作者 邵振 《计算机应用研究》 CSCD 北大核心 2013年第5期1423-1426,共4页
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的... 基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。 展开更多
关键词 软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性
在线阅读 下载PDF
基于Petri网的面向动态演化的软件体系结构建模 认领 被引量:6
20
作者 谢仲文 李彤 +4 位作者 代飞 秦江龙 张璇 朱锐 《计算机应用与软件》 CSCD 北大核心 2012年第10期36-39,127共5页
为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接... 为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。 展开更多
关键词 软件动态演化 软件体系结构 PETRI网 构件 连接件
在线阅读 下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部 意见反馈