符炜
- 作品数：23 被引量：5H指数：2
- 供职机构：南京邮电大学更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于社区结构的可信的服务选择方法
- 本发明给出了一种基于社区结构的可信的服务选择方法，对用户需求的分析得到满足功能需求的大量网络服务，通过对这些服务调用日志的分析，构造出网络服务合作网络，与此同时，根据用户会对使用过的服务进行评价，得到用户网络。在网络服务...
- 张迎周常霞王参参丁成成符炜张卫丰王子元周国强
- 文献传递
- 基于单子技术的服务计算形式化方法研究
- 鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)...
- 张迎周符炜郭铭铭杨庚张卫丰
- 关键词：WEB服务程序切片
- 一种基于服务质量和声誉的服务信任度评估方法
- 本发明给出了一种基于QoS和声誉的Web服务信任度评估方法，该方法包括服务信任度评估模型，以及服务综合信任度中包括的直接信任度、推荐信任度、服务提供商可信度的计算方法。本方法以服务选择中服务请求者对候选服务的需求为输入，...
- 张迎周陈丽洁符炜张卫丰王子元周国强
- 文献传递
- 基于程序切片技术的Web服务平台
- 基于程序切片技术的Web服务平台的设计方法提出了通过服务间的依赖关系进行Web服务平台开发的模型。本发明包括服务识别、服务生成、服务发布、服务发现、服务度量以及服务调用这几个功能模块。以用户上传的遗留系统为输入，对遗留系...
- 张迎周符炜张卫丰周国强杨庚陈蕾许碧欢陆柳敏
- 基于动态切片和惰性计算的服务组合动态演化
- 如今的Web服务数量已经越来越多，然而随着用户对Web服务功能的需求，Web服务资源却越来越不能满足用户的要求。为了解决Web服务匮乏问题，Web服务组合技术被提出，很多单体服务通过Web服务组合技术被组合成具有新功能的...
- 符炜
- 关键词：WEB服务组合依赖图动态切片
- 文献传递
- 一种基于多接口的自适应的云服务测试方法
- 本发明是一种基于多接口的自适应的云服务测试方法，其中云平台提供的软件测试是一种新型的测试模式，它不同于一般的软件测试，主要区别是在云平台提供一种在线环境，能够并发地同时处理大量的任务集，并把测试的结果通过网络返回到客户端...
- 张迎周王参参张卫丰王子元周国强符炜钱小燕常霞
- 文献传递
- 基于形式化方法的服务自动测试方法
- 2013年
- 鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
- 张迎周符炜张卫丰
- 关键词：WEB服务测试
- 一种过程间单子切片方法被引量：2
- 2013年
- 在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.
- 张迎周符炜
- 一种在云中部署网络服务的方法
- 一种基于图灵机技术和DAR算法的在云中部署Web服务的方法，结合了图灵机所能接受语言的抽象性和范围的广度性和DAR算法在易失败的环境下选择Web服务的动态性、可靠性，进而建立了一种Web服务在云中部署模型。本专利主要解决...
- 张迎周邹德国符炜顾帅帅许晓曼张卫丰周国强郑梁须朱宪庭王参参
- 文献传递
- 一种基于服务质量和声誉的服务信任度评估方法
- 本发明给出了一种基于QoS和声誉的Web服务信任度评估方法，该方法包括服务信任度评估模型，以及服务综合信任度中包括的直接信任度、推荐信任度、服务提供商可信度的计算方法。本方法以服务选择中服务请求者对候选服务的需求为输入，...
- 张迎周陈丽洁符炜张卫丰王子元周国强
- 文献传递
