国家自然科学基金(61070012)
- 作品数：10 被引量：18H指数：3
- 相关作者：应时贾向阳王权于吕国斌吴青更多>>
- 相关机构：武汉大学中国地质大学华中科技大学更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向服务软件中异常处理模块重要性的仿真分析方法
- 2012年
- 基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率。试图提出一种面向服务软件中异常处理模块重要性的定量分析方法,设计人员可以根据分析结果对重要度高的异常处理模块给予更多的关注。
- 吴青应时贾向阳朱小刚
- 关键词：面向服务软件异常处理蒙特卡洛方法
- 一种策略驱动的BPEL流程异常处理框架被引量：3
- 2015年
- 如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一。首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理框架BPEH/F,它具有一定的应用意义。
- 王权于吕国斌应时周峰
- 关键词：BPEL流程异常处理
- 一种策略驱动的BPEL流程异常处理描述方法
- 2014年
- 针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。
- 王权于应时吕国斌文静程银海陈莹
- 关键词：BPEL流程异常处理策略描述语言着色PETRI网
- 基于层次着色Petri网的网构软件性能建模与仿真分析方法被引量：2
- 2016年
- 网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响.
- 徐倩应时贾向阳耿江屹李琳
- 关键词：网构软件层次着色PETRI网
- 一种基于Mealy!机的语义程序验证方法
- 2012年
- 语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。
- 胡罗凯柴新许庆炜应时
- 关键词：MEALY机本体语义验证
- 面向服务软件中基于着色Petri网的异常处理模型被引量：4
- 2011年
- 面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。
- 吴青应时贾向阳
- 关键词：面向服务软件异常处理着色PETRI网
- 一种基于语义的业务活动推荐方法被引量：2
- 2014年
- 以企业复杂业务逻辑为背景,针对动态构造业务流程中的用户遗漏或错选工作等问题,提出了一种基于语义的业务活动推荐方法。首先定义面向业务活动的基础本体模型并在此基础上构建了基本推理规则,接着详细描述了方法所采用的推荐策略并在此基础上设计了推荐算法。方法的工作机制是接收并分析业务活动事件并调用推荐算法,推荐算法访问知识库,生成最终的推荐结果呈现给用户。最后通过国家综合减灾应用系统案例来验证方法的有效性。
- 张龙应时贾向阳龚致远李琳
- 关键词：语义
- 一种面向服务流程异常处理的策略描述语言被引量：2
- 2012年
- 策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,扩展了ECA对规则执行影响的描述,定义了多种面向服务流程的异常处理动作模式,能够详细、准确地描述异常及异常处理方式、返回方式和传播方式。WS-Policy4BPEH采用XML作为元语言,因此具有良好的可扩展性。
- 王权于应时吕国斌罗俊沣文静
- 关键词：异常处理策略描述语言
- 一种基于多本体体系的语义Web服务访问控制方法被引量：3
- 2012年
- 提出一种基于多本体体系的语义Web服务访问控制方法。首先,基于分布式描述逻辑DDL,刻画了一种基于桥接本体的跨域多本体体系,它为语义Web服务的访问控制提供了知识库;其次,在基于语义的访问控制方法基础上,给出了适用于语义Web服务的访问控制模型;最后,设计了基于多本体体系的语义Web服务访问控制方法及其体系结构,并给出了该方法的案例应用。在语义Web服务的访问控制方法中,基于桥接本体的跨域多本体体系既为各安全域的语义模型提供了语义关联,又保证了各安全域中语义表示的隐私性。
- 胡罗凯陈旭柴新应时
- 关键词：语义WEB服务访问控制
- 基于语义技术的软件用户访问控制方法被引量：2
- 2016年
- 在应用软件中广泛使用的访问控制模型不能根据用户上下文来动态改变资源的访问权限。针对上述问题提出一种基于语义技术的访问控制方法,实现了对用户的动态授权。提出基于语义信息的用户模型和资源模型并构建面向用户模型和资源模型的基础本体,定义一组与访问控制相关的语义规则及推理规则,并设计基于语义推理过程的判定算法。访问控制过程是接收并分析访问请求,根据语义规则从显示的本体知识中获取相关联的用户信息,调用判定算法得出用户与资源间的访问权限关系。最后通过某综合减灾应用系统案例来验证该方法的有效性。
- 郑高山应时吴睿
- 关键词：访问控制上下文本体
