门鹏
- 作品数：9 被引量：53H指数：5
- 供职机构：中国烟草总公司陕西省公司更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 广义随机Petri网下的组合Web服务建模与评价被引量：11
- 2008年
- 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.
- 门鹏段振华
- 关键词：广义随机PETRI网组合WEB服务性能评价形式化验证
- 基于代数的模糊Petri网逆向推理算法
- 分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的教学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推...
- 门鹏段振华
- 关键词：模糊PETRI网代数表示知识表示计算机编程空间复杂度
- 文献传递
- 人力资源管理信息系统的实施与应用被引量：2
- 2014年
- 随着现代信息化技术的不断成熟发展和企业用工分配制定改革的不断深入,为提高企业人力资源管理工作的效率和水平,人力资源管理信息系统成为必不可少的管控工具和手段。本文从使用人力资源管理信息系统的作用入手,介绍了信息系统的实施过程,最后论述了如何保障信息系统的顺利实施和应用等问题。
- 门鹏
- 关键词：人力资源管理信息系统信息化
- 动态Web服务组合的选择策略
- 2009年
- 为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可能组合方案,并对于每种组合方案使用广义随机Petri网分析其性能.实验结果表明:该方法充分利用Petri网善于描述、分析、评价分布式系统的优点,得到性能最优的基于光网络资源的服务组合方案.
- 门鹏段振华
- 关键词：WEB服务组合PETRI网光网络
- 基于Petri网的Web服务组合相关技术研究
- Web服务作为面向服务体系结构（Service Oriented Architecture，SOA）的主要实现方式，得到了工业界和学术界的普遍重视。它的出现使得“软件就是服务”的设计理念逐渐转变成一种切实可行的系统构架模...
- 门鹏
- 关键词：WEB服务组合着色PETRI网模糊PETRI网计算机编程
- 基于着色Petri网的BPEL建模与验证被引量：12
- 2007年
- 目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。
- 门鹏段振华
- 关键词：着色PETRI网BPELWEBSERVICES
- 基于代数的模糊Petri网逆向推理算法被引量：12
- 2007年
- 分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。
- 门鹏段振华
- 关键词：模糊PETRI网代数表示知识表示
- 一种基于Petri网的自动Web服务组合算法被引量：5
- 2008年
- 为了自动获得性能最优的Web服务组合方案,提出一种自动Web服务组合算法.该方法根据用户的组合需求和已有的Web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能最佳的Web服务组合方案,并将最佳方案转换为业务过程执行语言的抽象模板.与已有方法相比,该方法能有效地获得性能最佳的具有控制流结构的组合方案.
- 门鹏段振华
- 关键词：PETRI网WEB服务组合语义WEB服务并发性语义
- 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用被引量：10
- 2009年
- Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具——CPNTools——中使用ML(metalanguage)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的.
- 门鹏段振华
- 关键词：着色PETRI网WEB服务组合形式化验证时序逻辑
