谭煌
- 作品数:7 被引量:15H指数:2
- 供职机构:湖南师范大学数学与计算机科学学院更多>>
- 发文基金:长沙市科技计划项目湖南省重点学科建设项目湖南省教育厅科研基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种针对云计算的ETL流程创建及优化方法被引量:2
- 2012年
- 该文针对现有ETL工作流程的创建和执行过程中的不足,提出了一种基于逻辑模型的ETL工作流程优化方法,并针对云计算模式对ETL工作流程的执行进行进一步优化,通过测试这种两阶段优化方法可以大大提高ETL工作流程的执行效率。
- 谭煌
- 关键词:数据抽取加载云计算MAPREDUCE逻辑模型
- 基于异步PI演算的Web服务长事务协议性质分析
- 2008年
- 根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。
- 谭煌高春鸣袁勇福
- 关键词:WEB服务
- 网上电子交易中的谈判协商模型被引量:8
- 2004年
- 本文讨论网上交易中买卖双方的谈判协商模型。详细研究了电子商务的谈判协商模型中的商品多属性量化模型和报价函数。提出了进行买卖双方商品需求匹配的距离函数,并讨论了一个为达到利益最大化而得到最佳报价的方法。
- 谭煌高春鸣
- 关键词:电子商务距离函数
- 基于反馈控制的服务组合引擎的设计与实现被引量:1
- 2008年
- 遵循SOA,提出服务组和执行引擎WebJetFlow的实现框架。将反馈控制机制应用于执行引擎中,在流程执行管理器和服务代理中,设计带有反馈控制环的流程执行结构,以保障不同等级的服务请求的服务响应时间。在执行模块中,将流程执行与对服务的调用进行分离,提高了引擎资源的利用率。解耦流程执行和Web服务调用提高了引擎资源的使用效率。QoS反馈控制结构使得引擎在外部请求负荷变化时,可为不同等级的请求提供服务响应时间保障。
- 谭煌高春鸣
- 关键词:WEB执行引擎反馈控制
- BLP改进模型的形式化描述及自动化验证被引量:3
- 2013年
- 在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满足实际系统开发的需求。运用完全形式化的方法对改进模型的状态、不变量、迁移规则等进行描述,使用Isabelle定理证明器证明了迁移规则对模型的不变量保持性,从而实现对模型正确性的自动形式化验证,并保证了模型的可靠性。
- 徐亮谭煌
- 关键词:BLP模型自动化验证定理证明安全操作系统
- 业务流程装配平台的设计与实现
- 随着社会的发展,越来越多的企业和政府部门都在寻求跨部门和跨企业的合作。但由于各企业和部门之间应用系统存在着异构性,造成的数据孤岛现象,部门间数据无法有效整合并及时传输,给决策部门带来重大影响。企业和政府部门一方面需要降低...
- 谭煌
- 关键词:服务质量执行引擎服务代理
- 文献传递
- 业务流程动态装配平台
- 高春鸣腾海波李荣珩谭煌李频陈传淼李勇军周维蔡美玲崔曙光廖志军周志致
- ①课题来源与背景目前许多的企事业单位已经逐步建立了各种类型的应用系统,由于各个系统相互独立、无法互通互联,形成“信息孤岛”,急需一种简单有效的方式来对已有系统进行整合。信息化建设中的各种问题如开发周期过长、需求不断变化,...
- 关键词:
- 关键词:WEB服务