一种面向消息的服务契约开发方法研究与实现

针对服务描述语言WSDL无法对消息间交互行为进行描述的缺点,基于SSDL标准,提出了一种面向消息的服务契约开发方法.该方法通过描述服务间交互消息的行为,得出系统中的基本消息流,进而反映出系统中的业务流程,解决了WSDL等服务契约开发中存在的问题.该方法在.NET平台下使用WCF开发框架结合开源项目Soya进行了实现.     

基于面向服务的多租户访问控制模型研究

在具体搭建面向多租户的平台过程中,传统访问控制模型在多租户环境下无法满足租户之间的隔离访问以及对各租户的访问请求实行有效的统一管理。为了在多租户环境下实现一套快速的、访问控制可配置的实施方案,提出一个面向服务的多租户访问控制模型。根据对多视图业务模型之间的关联进行分析,识别出组织模型及其相关的资源模型。通过映射和转换将组织模型转换为面向服务的多租户访问控制模型,并构建访问控制模块对系统进行配置,然后运行访问控制模型。最后,以某交通物流信息平台为范例验证了该模型的可行性和有效性。验证结果表明,模型能够在多租户环境下提供兼备快速配置与访问控制的实现支持。     

面向服务架构的电信应用集成

面向服务架构SOA是分布式互联网架构以后的一种全新的分布式计算平台.通过将功能组件封装成服务,SOA提供了一种灵活的智能化业务表达方式.对于电信应用集成而言,SOA是实现TOM模型中客户服务流程、运营流程和网管流程有机融合的必然选择,也是从TOM模型向ETOM模型转化的有效途径.在此基础上,对企业集成方案从C/S到B/S再到SOA的发展进行了介绍,并就广西移动BOSS的SOA演化方案进行了探讨.     

基于Web服务的教师请假短信平台构建

手机的普及为建立基于短信的信息化系统创造了条件.针对高校多校区运行教师请假不便的问题,介绍了利用手机开展信息系统业务的主要模式,分析了Web服务技术,提出了基于Web服务的短信请假原理图和请假流程.研究了短信的发送、接收和平台Web服务化3个关键技术,给出了实证结果.该请假系统为高校信息化、无纸化、科学化管理提供了一种...     

基于Web Services的面向服务架构(SOA)的探索与研究

Web Services的出现,为企业内部及企业之间提供了廉价而简便的通信支持。同时,基于SOA体系结构的开发模式与以应用为中心的一体化应用程序相比具有高度开放性,可重用性等特点,因而这种开发模式一经提出就受到广泛推崇,SOA的强大和灵活性将迅速成为企业级应用系统的首选开发模式。介绍了Web Services技术和面向服务架构的特点并深入的讨论了他们之间的关系,在此基础上给出了基于Web Services的SOA的实现步骤,并重点讨论给出了使用UDDI将Web服务注册到UDDI的方法。     

基于互联网的面向服务计算机集群

互联网基础设施的普及,使面向服务架构的大量应用变为可能。现代的面向服务架构使用了互联网时代的多项技术,该架构将成为通过互联网整合计算机资源的总线。随着计算机应用的日益深入,各行业尤其是工程、科学、金融等领域对计算资源的需求越来越大,计算集群的应用也随之兴起。面向服务架构通过互联网将计算资源有效整合,以面向服务的方式提供计算能力,使单独的计算集群通过互联网成为计算网格。     

面向依赖关系的网格服务维护机制研究

在复杂的大规模分布式网格环境下,网格服务组件的维护是一个不容忽视的问题,不恰当的维护操作可能会带来不可预料的灾难.本文关注由服务间的依赖关系引起的网格维护期间系统可用性问题,提出了一种网格服务维护机制,针对网格服务组件提供了多种粒度(服务级,容器级和节点级)的维护.在使用了该机制后,网格管理员可以在运行时更安全地执行维护任务并保持较高的系统可用性.测试结果显示,我们提出的面向依赖关系的服务维护机制使得网格的管理变得更加自动和高效.     

一个基于网格服务的面向服务架构设计与实现

面向服务架构是一种体系结构理念,通过接口和契约来连接业务逻辑和具体实现.文中提出了一种在网格环境下提供服务的面向服务架构的设计,并在Web服务资源框架标准和GT4工具下给出了一个实现.最后,验证了该架构的优越性,为实现SOA提供了一种比传统实现方式更好的解决方案.     

基于IFML元模型自动生成RIA用户界面测试用例研究

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本。文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法。首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证。     

面向语用Web服务的网络服务管理机制研究

语用Web服务在将来的网络服务管理研究中成为趋势.文中提出将语用Web服务作为网络服务的管理对象,研究语用Web服务管理与网络管理的融合等关键技术问题,开发出下一代互联网面向语用Web服务的网络管理系统.     

基于微服务架构的下一代IP网络测试体系框架

下一代IP网络是未来新型公共网络,融合有线无线一体化、宽带窄带一体化、传输接入一体化以及有源无源一体化的全新型业务网络,其面临的应用场景也变得复杂化和多样化。然而,每个应用场景的需求及标准各不相同,对标现有的网络技术、协议、标准规则仍有较大差距。为保障新应用场景下各技术、设备等方面的完备性及安全性,满足未来网络技术发展产生的新应用特征,需建立全方位统一的测试体系。提出在基于微服务架构的基础上强调对业务的赋能,综合不同应用场景特征,建立基于下一代IP网络场景的全过程领域驱动模型。以构建多渠道、全方位的微服务测试框架,为网络技术的发展提供支持手段。     

Delivering a lifelong integrated electronic health record based on a service oriented architecture.

Efficient access to a citizen's Integrated Electronic Health Record (I-EHR) is considered to be the cornerstone for the support of continuity of care, the reduction of avoidable mistakes, and the provision of tools and methods to support evidence-based medicine. For the past several years, a number of applications and services (including a lifelong I-EHR) have been installed, and enterprise and regional infrastructure has been developed, in HYGEIAnet, the Regional Health Information Network (RHIN) of the island of Crete, Greece. Through this paper, the technological effort toward the delivery of a lifelong I-EHR by means of World Wide Web Consortium (W3C) technologies, on top of a service-oriented architecture that reuses already existing middleware components is presented and critical issues are discussed. Certain design and development decisions are exposed and explained, laying this way the ground for coordinated, dynamic navigation to personalized healthcare delivery.     

Intelligent test case generation based on branch and bound

Path-oriented test case generation is in essence a constraint satisfaction problem （CSP） solved by search strategies, among which backtracking algorithms are widely used. In this article, the backtracking algorithm branch and bound （BB） is introduced to generate path-oriented test cases automatically. A model based on state space search is proposed to construct the search tree dynamically. The BB is optimized from two perspectives. Variable permutation with a heuristic rule to break ties is adopted for the branching operation, and interval computation with analysis on the monotony of branching conditions is utilized for the bounding operation. Empirical experiments show that the proposed method performs well with linear complexity, and reaches 100% coverage on some benchmark programs with an advantage over some static and dynamic algorithms.     

战术面向服务架构概念及相关技术

战术面向服务架构（TSOA）是实现战术云平台服务基础设施的重要支撑概念。由于战术环境的复杂性,目前对TSOA实施过程中面临问题和相关实现技术的总结还较少。为此,开展了针对TSOA的概念以及相关技术的研究。首先,从战术环境下的TSOA架构需求背景出发,介绍了TSOA架构的组成以及适应性特征;然后,通过分析战术环境下设备和网络等多方面存在的限制性因素,明确实施TSOA架构所面临的挑战以及需要解决的关键问题,并对实现过程中涉及的服务发现、消息传输机制、网络状态自适应等相关技术进行归纳;最后,对国内外的相关研究工作进行总结,期望对推动TSOA架构的具体实施提供一定参考。     

基于启发式搜索和分类树的网络协议模糊测试用例生成方法研究

模糊测试通过向目标系统注入大量的非预期输入找出系统漏洞,是安全检测和漏洞挖掘的有效方法。针对网络协议模糊测试的关键问题之一——测试用例生成方法进行研究,论述了网络协议模糊测试的意义、方法和关键问题,在启发式搜索算法和分类树思想的基础上提出了启发式网络协议模糊测试用例生成方法,分别选取模糊器Peach和FTP作为验证平台与目标协议,借助IDAPro工具提取启发算子并将其写入配置文件,用于指导目标协议测试用例的生成过程,通过测试结果分析验证了启发式网络协议模糊测试用例生成方法的可行性与有效性。     

面向下一代网络的端到端多路径传输层架构

为了解决传统网络无法有效同时使用多家乡终端的多个接口传输数据的问题,提出了一种面向下一代网络的端到端多路径传输层架构-E2EMP.E2EMP通过自适应的根据路径特性分发数据,采用双层序列空间,实施灵活的端到端路径管理,提高了多家乡终端的传输性能.实验仿真表明,E2EMP能够有效地聚合终端多家乡的出口带宽,同时提高了数据传输的安全性和可靠性.     

基于B/S架构的服务型机器人远程操控系统研究

文章针对服务机器人遥控软件难以跨平台的问题,设计和开发了一种基于B/S架构的远程操控系统。针对通信协议的差异导致通信障碍问题,文章引入网关程序进行协议转换,从而实现网页前端与机载程序之间的通信,并将网页前端的部分业务逻辑交由网关程序实现,使得操控性能得以优化。测试结果表明:该方案实现了PC端和手机端用网页对服务机器人进行可视化操控,基于B/S的远程操控系统对于其他机器人相关程序的设计和开发具有重要的借鉴意义。     

一种基于高阶Markov使用模型的测试用例自动生成方法

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。     

面向服务合成的访问控制技术研究

主要关注基于BPEL（业务流程执行语言）流程访问控制的实现方法。对现有的基于任务的访问控制（TBAC，task-based access control）模型进行扩展，修改了授权结构体的定义并增加了授权结构体的类型，最终实现了从BPEL定义的流程到新的TBAC模型的映射，提出了一种TBAC（基于任务的访问控制）应用到BPEL中的方法。这种方法使通过BPEL定义的服务合成系统具有从底层支持访问控制的能力。最后讨论了下一步的研究工作。     

Embedded core test generation using broadcast test architecture and netlist scrambling

In this work, based on the concept of test pattern broadcasting, we propose a new core-based testing method which gives core users the maximum level of test freedom. Instead of only using the test patterns delivered by core providers, core users are allowed to broadcast their own test patterns to the cores of a SoC (system on chip) design for parallel scan testing. The fault coverage of each core test, using test patterns developed by any core user, can be evaluated by an enhanced version of a traditional fault simulator. The netlist of each core is scrambled before it is delivered to core users, thus the netlist will not be revealed. The enhanced fault simulator of a core has the capabilities of decoding the scrambled netlist, and performing fault simulation for the test patterns provided by each of the core users. For each core, both random test patterns (applied by a core user), and golden test patterns (delivered by the core provider) jointly achieve high and flexible fault coverage requirements. The enhanced logic simulator of each core can also decrypt the scrambled netlist, and perform logic simulation with the objective of generating fault-free test responses for signature analysis (for example). The proposed method has the advantages of minimizing the number of scan pins, reducing the test application time, and achieving the maximum level of test quality control by core users. Simulation results demonstrate the feasibility of this method.