教育部“春晖计划”(Z2007-1-01042)
- 作品数：4 被引量：15H指数：3
- 相关作者：周建涛海晓军赵俊峰徐小茸李军更多>>
- 相关机构：内蒙古大学中国科学院中国科学院研究生院更多>>
- 发文基金：教育部“春晖计划”内蒙古自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- BitTorrent协议的Petri网建模方法研究被引量：3
- 2011年
- BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。
- 刘靖叶新铭李军
- 关键词：BITTORRENT协议着色PETRI网
- WF-net模型到PNML的转换方法研究与实现被引量：5
- 2010年
- Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。
- 周建涛海晓军
- 关键词：元模型WF-NETPNML
- 一种轻量级网格工作流引擎的研究与实现被引量：4
- 2009年
- 如何将网格技术和现有的工作流技术相结合,通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析现有网格工作流系统的基础上,基于WSRF和WS-BPEL技术,提出了一种网格工作流系统的框架结构,并在该结构的基础上设计、实现了一个轻量级网格工作流引擎。
- 周建涛徐小茸
- 关键词：网格工作流WSRFWS-BPEL引擎
- UML时序图向PNML转换的研究与实现被引量：4
- 2011年
- 对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.
- 赵俊峰周建涛
- 关键词：UML时序图PNMLPETRI网
