袁敏

作品数：19被引量：46H指数：3
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：WEB服务PI-演算事务数据挖掘WEB更多>>
发文领域：自动化与计算机技术文化科学理学政治法律更多>>
发文期刊：《计算机研究与发展》《软件学报》《湘南学院学报》《计算数学》更多>>
所获基金：湖南省自然科学基金国家高技术研究发展计划湖南省教育厅科研基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于服务协调模型的业务事务验证方法
《计算机集成制造系统》2012年第3期662-671,共10页袁敏 黄志球 李祥 闫艳 
国家863计划资助项目(2009AA010307);国家自然科学基金资助项目(60873025);湖南省自然科学基金资助项目(09JJ3114);湘南学院资助科研项目(2007Y029)~~
为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出...
关键词：业务流程集成 长事务 服务协调 PI-演算 形式化验证 WEB服务 
跨组织多业务事务建模与验证方法被引量：11
《软件学报》2012年第3期517-538,共22页袁敏 黄志球 胡军 
国家高技术研究发展计划(863)(2009AA010307);湖南省自然科学基金(09JJ3114)
面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为...
关键词：跨组织 业务流程 事务 PI-演算 验证 
支持业务事务验证的服务协调模型
《小型微型计算机系统》2011年第9期1734-1739,共6页袁敏 黄志球 李祥 
国家"八六三"高技术研究发展计划项目(2009AA010307)资助;湖南省自然科学基金项目(09JJ3114)资助;湖南省教育厅重点项目(08A064)资助
在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协...
关键词：服务协调 业务流程 事务 形式化建模 
面向服务的多参与者协调事务建模方法被引量：3
《计算机科学与探索》2011年第4期356-366,共11页闫艳 黄志球 袁敏 沈国华 
国家高技术研究发展计划(863)No.2009AA010307;湖南省自然科学基金No.09JJ3114;南京航空航天大学基本科研业务费专项科研项目No.NS2010108~~
为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL...
关键词：WEB服务 协调 PI-演算 
一种扩充的π-演算及事务性等价关系研究被引量：3
《计算机研究与发展》2010年第3期541-548,共8页袁敏 黄志球 曹子宁 肖芳雄 
国家自然科学基金项目(60873025);湖南省自然科学基金项目(09JJ3114);湖南省教育厅重点基金项目(08A064)
为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过...
关键词：WEB服务 Π-演算 膜活动 等价事务 互模拟 
一种基于变尺度滑动窗口的数据流频繁集挖掘算法被引量：3
《控制与决策》2009年第6期832-836,842,共6页朱小栋 黄志球 沈国华 袁敏 
航空科学基金项目(01I52058);湖南省自然科学基金项目(05JJ40102)
基于传统滑动窗口机制的数据流频繁集挖掘算法较多地考虑快速且精确的效果,而较少考虑数据流的时变特性.对传统的滑动窗口机制进行改进,同时考虑数据流的海量特性和时变特性,提出一种基于变尺度滑动窗口机制的数据流频繁集挖掘算法V-Str...
关键词：数据流 数据挖掘 滑动窗口 频繁集 关联规则 
基于价格进程代数的Web服务组合描述和成本分析被引量：4
《计算机研究与发展》2009年第5期832-840,共9页肖芳雄 黄志球 曹子宁 袁敏 张君华 
国家自然科学基金项目(60473036;60873025)~~
进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA,在CCS基础上为进程动作和状态扩展价格函数,给进程动作的执行标记价格,给进程的迁移状态标记成本.给出了PP...
关键词：WEB 服务组合 进程代数 价格 成本 
一种主动式有状态的Web时效索引机制被引量：1
《计算机应用研究》2007年第7期224-226,共3页袁敏 黄志球 马潇潇 
湖南省自然科学基金资助项目(05JJ40102);河南省教育科学"十一五"规划青年专项资助项目(XJK06QXJ024)
在分析现有Web服务机制的基础上,提出自主研发适应时效索引机制的Web服务单元。它能够提高服务端响应速度,兼容现有浏览器,实现主动式有状态的索引服务单元,并为Web服务的专项功能开发提供基础。
关键词：Web服务扩充 时效索引 主动式 
基于校园网的网络化教学系统设计与实施方案被引量：3
《湘南学院学报》2007年第2期89-93,共5页龚德良 袁敏 
湖南省教育科学"十一五"规划重点资助(XJ059);省教育厅科研基金资助(湘财教06-54号;06A067)
从目前教育信息化进程的实际出发,提出了基于校园网的低成本高性能的远程网络化教学系统的整体构架,研究了其中媒体元素的同步方法、网络化教学的QOS保障和点播教学中的负载均衡策略等问题及解决办法.
关键词：校园网 交互式教学系统 编码器 服务器集群 同步 
基于SCORM的流媒体资源共享平台的研究与设计被引量：1
《微电子学与计算机》2007年第1期140-142,共3页袁敏 高守平 
湖南省教育科学"十一五"规划青年专项基金项目(XJK06QXJ024);湖南省自然科学基金项目(05JJ40102)
针对传统流媒体资源平台缺乏互操作性、重用性等问题,在对SCORM2004定义的“运行时间环境概念模型”进行扩展的基础上,结合SMIL标准和流媒体服务技术,提出了“符合SCORM的流媒体资源共享模型”,为流媒体资源共享和应用提供了基础。
关键词：可共享内容对象参考模型 同步多媒体集成语言 流媒体服务技术 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部