国家自然科学基金(61070012)

作品数：10被引量：18H指数：3
导出分析报告
相关作者：应时贾向阳王权于吕国斌吴青更多>>
相关机构：武汉大学中国地质大学华中科技大学湖北第二师范学院更多>>
相关期刊：《计算机应用研究》《小型微型计算机系统》《计算机科学》更多>>
相关主题：异常处理访问控制面向服务软件着色PETRI网BPEL流程更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于语义技术的软件用户访问控制方法被引量：2
《计算机科学》2016年第8期131-136,共6页郑高山 应时 吴睿 
国家自然科学基金项目:面向运行性能改善的SaaS软件部署方案自优化方法(61373038);国家自然科学基金项目:基于框架的面向服务软件异常处理方法研究(61070012);国家863计划项目:网构化软件运行支撑和在线管理技术与机制(2012AA011204)资助
在应用软件中广泛使用的访问控制模型不能根据用户上下文来动态改变资源的访问权限。针对上述问题提出一种基于语义技术的访问控制方法,实现了对用户的动态授权。提出基于语义信息的用户模型和资源模型并构建面向用户模型和资源模型的...
关键词：访问控制 上下文 推理规则 本体 
基于层次着色Petri网的网构软件性能建模与仿真分析方法被引量：2
《小型微型计算机系统》2016年第4期641-645,共5页徐倩 应时 贾向阳 耿江屹 李琳 
国家自然科学基金项目(61373038)资助;国家自然科学基金项目(61070012)资助;国家"八六三"高技术研究发展计划项目(2012AA011204)资助
网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于...
关键词：网构软件 层次着色PETRI网 性能建模 仿真分析 
一种策略驱动的BPEL流程异常处理框架被引量：3
《计算机科学》2015年第1期180-186,192,共8页王权于 吕国斌 应时 周峰 
国家自然科学基金项目(61070012);湖北省自然科学基金项目(2013245080)资助
如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一。首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出...
关键词：BPEL流程 异常处理 策略 框架 
一种策略驱动的BPEL流程异常处理描述方法
《计算机科学》2014年第11期216-226,共11页王权于 应时 吕国斌 文静 程银海 陈莹 
国家自然科学基金项目(61070012);湖北省自然科学基金项目(2013245080)资助
针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结...
关键词：BPEL流程 异常处理 策略描述语言 着色PETRI网 
一种基于语义的业务活动推荐方法被引量：2
《计算机科学》2014年第9期185-189,195,共6页张龙 应时 贾向阳 龚致远 李琳 
国家自然科学基金面上项目:基于框架的面向服务软件异常处理方法研究(61070012);国家自然科学基金重点项目:面向服务软件体系结构设计阶段异常处理的建模和验证(61272113);国家自然科学基金重点项目:软件异常的双路传播模型及其构建与分析方法(61272108);国家自然科学基金重点项目:可信软件构造理论与方法研究(91118003);国家自然科学基金面上项目:基于编译的嵌入式系统优化研究(61170022);海外及港澳学者合作研究基金:网络电子图书的自动编辑与维护(61028003);教育部高等学校学科创新引智计划:软件工程及导航信息网络科学与技术创新引智基地(B07037)资助
以企业复杂业务逻辑为背景,针对动态构造业务流程中的用户遗漏或错选工作等问题,提出了一种基于语义的业务活动推荐方法。首先定义面向业务活动的基础本体模型并在此基础上构建了基本推理规则,接着详细描述了方法所采用的推荐策略并在...
关键词：事件驱动 语义 推理规则 业务活动 推荐 
一种基于多本体体系的语义Web服务访问控制方法被引量：3
《计算机科学》2012年第12期107-113,共7页胡罗凯 陈旭 柴新 应时 
国家自然科学基金项目(61070012);湖北省教育厅重点科研项目(D20103004);湖北省科学技术研究计划优秀中青年人才项目(Q20113001);武汉大学青年教师资助项目(3101004);湖北第二师范学院优秀教师团队建设项目资助
提出一种基于多本体体系的语义Web服务访问控制方法。首先,基于分布式描述逻辑DDL,刻画了一种基于桥接本体的跨域多本体体系,它为语义Web服务的访问控制提供了知识库;其次,在基于语义的访问控制方法基础上,给出了适用于语义Web服务的访...
关键词：语义WEB服务 多本体体系 访问控制 
面向服务软件中异常处理模块重要性的仿真分析方法
《计算机科学》2012年第10期136-138,147,共4页吴青 应时 贾向阳 朱小刚 
国家自然科学基金(61070012)资助
基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率。试图...
关键词：面向服务软件 软件可靠性 异常处理 蒙特卡洛方法 
一种基于Mealy!机的语义程序验证方法
《计算机应用研究》2012年第9期3320-3323,3329,共5页胡罗凯 柴新 许庆炜 应时 
国家自然科学基金资助项目(61070012);湖北省教育厅重点科研项目(D20103004);湖北省科学技术研究计划优秀中青年人才项目(Q20113001)
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇...
关键词：MEALY机 本体 语义程序设计 语义验证 
一种面向服务流程异常处理的策略描述语言被引量：2
《计算机科学》2012年第2期148-153,共6页王权于 应时 吕国斌 罗俊沣 文静 
国家自然科学基金项目(61070012);湖北省自然科学基金项目(2009CDB307)资助
策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,...
关键词：面向服务流程 异常处理 策略描述语言 
面向服务软件中基于着色Petri网的异常处理模型被引量：4
《计算机科学》2011年第4期170-174,共5页吴青 应时 贾向阳 
国家自然科学基金项目(61070012)资助
面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提...
关键词：面向服务软件 异常处理 着色PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部