您的位置： 专家智库 > >

重庆市自然科学基金(CSTC2006BA2003)

作品数：6 被引量：22H指数：2
相关作者：张为群黄娟闻晓梁智远高亚春更多>>
相关机构：西南大学更多>>
发文基金：重庆市自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇WEB服务
  • 2篇WEB服务组...
  • 1篇形式化
  • 1篇形式化验证
  • 1篇一致性
  • 1篇有限自动机
  • 1篇统计测试
  • 1篇自动机
  • 1篇面向对象
  • 1篇可靠性
  • 1篇可靠性分析
  • 1篇服务质量
  • 1篇本体
  • 1篇QOS本体
  • 1篇WEB服务描...
  • 1篇WEB软件
  • 1篇WS-CDL
  • 1篇BPEL
  • 1篇JAVA语言

机构

  • 6篇西南大学

作者

  • 5篇张为群
  • 3篇黄娟
  • 2篇梁智远
  • 2篇闻晓
  • 1篇丁晓明
  • 1篇袁海根
  • 1篇赵越
  • 1篇杨阳
  • 1篇高亚春

传媒

  • 5篇计算机科学
  • 1篇西南大学学报...

年份

  • 1篇2010
  • 3篇2009
  • 1篇2008
  • 1篇2007
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
WS-CDL的形式化模型和执行过程研究
2009年
WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题。
梁智远张为群黄娟
关键词：WEB服务组合一致性
一种基于CFCM的集群入侵检测方法的研究被引量：2
2010年
将网络数据流聚类来实现负载平衡已经被广泛应用于集群入侵检测方法中。将相关性思想引入传统模糊C-均值聚类算法(FCM),给出数据流逻辑距离公式,提出了一种相关模糊C-均值聚类算法(CFCM)。最后,将此算法应用于集群入侵检测方法中,利用KDDCup1999数据集进行实验,验证其可行性及准确性。
赵越张为群
面向对象Java语言的回归测试方法被引量：4
2007年
对面向对象Java语言回归测试方法进行了研究,提出一种回归测试选择方法,该方法通过建立所有的类之间的关系图,据此统计修改的类以及受影响的类,并在统计类中找出具体修改的位置,识别危险的边,最后选择测试用例执行危险的边.
袁海根丁晓明
关键词：面向对象
基于QoS本体的Web服务描述和选择机制被引量：12
2008年
随着Web服务数量的急剧增长,如何从大量功能相似的Web服务中选择具有最好的服务质量(Quality of Service,QoS)的Web服务成为研究的热点。提出了一种基于QoS本体支持QoS的服务选择方法,用QoS本体以及相应的词汇来描述QoS数据,基于以上的工作,提出了一种支持QoS的选择机制,将QoS参数的语义匹配度和数值匹配度相结合,利用归一化算法对不同类型的QoS参数取值进行标准化,最后提出了一个公平的,动态的选择机制和相关实验结论。
高亚春张为群
关键词：服务质量WEB服务本体
BPEL应用程序验证模型研究被引量：2
2009年
在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。
闻晓张为群杨阳黄娟
关键词：WEB服务组合BPEL有限自动机形式化验证
基于UMMs的Web软件统计测试方法研究被引量：2
2009年
随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计测试方法,该方法将访问信息用于构建UMMs,相关的错误信息用于评价Web软件的可靠性和Web统计测试的有效性。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。
黄娟张为群闻晓梁智远
关键词：WEB软件统计测试可靠性分析
全选 清除 导出
共1页<1>
聚类工具0