您的位置: 专家智库 > >

山东省优秀中青年科学家科研奖励基金(BS2009DX012)

作品数:11 被引量:38H指数:4
相关作者:马炳先张正明相东明耿霞张继军更多>>
相关机构:济南大学山东农业大学北京科技大学更多>>
发文基金:山东省优秀中青年科学家科研奖励基金国家自然科学基金山东省高等学校科技计划项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 7篇WEB服务
  • 6篇PETRI网
  • 3篇本体
  • 3篇PNML
  • 2篇服务质量
  • 2篇OWL
  • 2篇WEB服务组...
  • 1篇一阶谓词
  • 1篇一阶谓词逻辑
  • 1篇遗传算法
  • 1篇用户
  • 1篇语义
  • 1篇语义标记
  • 1篇数据关联
  • 1篇推理法
  • 1篇注册方法
  • 1篇自动生成
  • 1篇自动生成方法
  • 1篇谓词
  • 1篇谓词逻辑

机构

  • 9篇济南大学
  • 2篇山东农业大学
  • 1篇北京科技大学

作者

  • 9篇马炳先
  • 5篇张正明
  • 4篇相东明
  • 2篇张继军
  • 2篇耿霞
  • 2篇崔纪鹏
  • 1篇杨扬
  • 1篇刘明军
  • 1篇王冠
  • 1篇吴秋兰
  • 1篇于代荣
  • 1篇王世贤
  • 1篇李蔚妍
  • 1篇孙华强
  • 1篇孙强

传媒

  • 3篇计算机科学
  • 2篇系统仿真学报
  • 2篇计算机技术与...
  • 1篇电信科学
  • 1篇计算机工程
  • 1篇小型微型计算...
  • 1篇计算机工程与...

年份

  • 1篇2016
  • 3篇2014
  • 2篇2013
  • 3篇2012
  • 2篇2011
11 条 记 录,以下是 1-10
排序方式:
Web服务组合的Petri网自动生成方法被引量:11
2013年
针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(OntologyWeb Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.
马炳先相东明张正明
关键词:WEB服务PETRI网PNMLOWL
基于Petri网的Web服务注册方法的研究与实现被引量:3
2012年
为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法。首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明。
张正明马炳先相东明
关键词:WEB服务本体PETRI网
基于身份的TLS协议及其BAN逻辑分析被引量:10
2011年
基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。
于代荣杨扬马炳先刘明军王世贤
关键词:IBTLS协议BAN逻辑TLS协议
一阶谓词公式关联矩阵的构造方法被引量:1
2014年
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
耿霞张继军吴秋兰
关键词:关联矩阵逻辑推理二叉树
面向用户服务质量需求的服务选择方法研究
2012年
服务选择问题是服务组合中的一个关键问题,尤其在服务选择时应充分考虑服务质量因素。该文研究了基于用户服务质量需求的服务选择方法,通过对各项QoS(quality of service)因素分别加权,将面向用户服务质量需求的服务选择问题转化成单目标优化问题。在充分考虑服务实际质量和用户主观需求的基础上,给出了QoS组合权重的计算模型;并在候选服务集的基础上,依据用户的服务质量需求,定义了用户满意度函数,进一步利用遗传算法解决服务选择问题。实验结果表明,文中提出方法具有明确的用户需求指向性和选择灵活性,能够最大程度上满足用户需求。
崔纪鹏马炳先张正明
关键词:WEB服务服务质量遗传算法
基于Petri网的Web服务的创建与描述被引量:4
2011年
为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。
张正明马炳先相东明
关键词:WEB服务PETRI网本体PNMLOWL-S
一阶谓词逻辑的图形推理法被引量:6
2014年
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
耿霞张继军李蔚妍
关键词:一阶谓词逻辑谓词
Web服务组合构建与执行的Petri网平台研究被引量:1
2016年
针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及发布,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得到相应的服务组合功能流程;最后进一步将相关功能转换为绑定具体服务实例的Petri网模型,并交由相应的基于Petri网的服务组合执行引擎实现执行。实现了从服务组合构建到执行实现的完整功能流程,为基于Petri网的服务组合动态执行相关问题的分析提供了软件平台支撑。
孙强马炳先孙华强
关键词:WEB服务PETRI网
基于功能分组的群体Web服务QoS动态计算研究被引量:1
2013年
随着服务计算技术的发展及应用,在服务实时组合过程中,服务质量(Quality of Service,QoS)已经成为选择服务的重要依据之一。当前较多的QoS动态计算方法提出了多种方案用以解决QoS的动态计算问题,但都将Web服务视为单一独立个体,首先通过获取独立的参数来测算每个Web服务的QoS,然后在服务组合过程中按照功能需求从具有相同功能的待选服务集合中选取QoS最好的服务。为了避免不同服务的功能差异对计算QoS的影响,突出相同功能服务各QoS因素之间的关联性对计算QoS的影响,从而在相同功能的服务中选取出相对质量较好的服务,文中提出将Web服务群体按照功能分组,在组内实时、动态地计算各服务QoS的方法,实验表明,文中方法计算得到的QoS具有较好的可靠性和较高的可信度。
王冠马炳先相东明
关键词:WEB服务服务质量
面向组合的Web服务间数据关联定位方法研究被引量:1
2014年
Petri网因其在描述和分析并发、分布式系统方面的优势,越来越多地被用于Web服务组合中。在基于Petri网描述的Web服务组合中,如何确定各个子服务参数之间的关联关系,并以此为基础得到Web服务组合的Petri网,是对Web服务组合性质进行分析的前提与基础。首先给出Web服务的Petri网描述和基于Petri网的Web服务注册系统,定义了Web服务参数间的数据关联及定位算法,并通过例子说明数据关联在自动生成Web组合服务Petri网中的应用。
马炳先崔纪鹏张正明
关键词:PETRI网WEB服务数据关联
共2页<12>
聚类工具0