微服务架构在电动汽车智能充电服务与运营平台系统中的应用

随着微服务技术的兴起和发展,越来越多的应用系统采用了微服务架构来实现对外服务。描述了微服务框架在电动汽车智能充电服务与运营平台中的应用,并介绍了一种适用于微服务的开发框架。该框架基于轻量级开源微服务框架组件Spring Cloud,其提供一系列的微服务基础设施进行支撑,对电动汽车充电服务运行平台中各组成结构都提供快速简单微服务组件,以提高系统开发效率,降低业务之间耦合度,实现系统的技术隔离、高性能并发处理、独立分布式部署运行、灰度发布、服务降级等,大大提高了电动汽车充电服务运营平台的高效性。     

支持服务行为和质量的面向服务软件开发

面向服务的软件开发方法减少了开发应用程序的时间和复杂度。当前面向服务架构中的服务注册和发现主要关注于服务的接口描述和静态属性，却较少考虑服务行为和服务质量。对服务行为即外部可见的操作序列的忽视，可能导致服务产生运行时的异常和错误；忽视服务质量即其运行时的质量信息，则可能导致系统运行的低效。本文提出了一种扩展的面向服务的软件开发过程，探宄服务交互过程中其行为一致和质量匹配。在面向服务的组件模型OSGi平台上，采用动态AOP技术，设计了一种支持服务行为和服务质量的中间件系统。该系统不但保证服务发现的调用一致性和服务替换的观察一致性，而且支持对服务运行时操作行为的检测和服务质量信息的收集，从而保证选择最佳的服务实现，提高应用系统的运行效率。     

基于SOA的动态服务集成与调度网格模型

针对在动态分布的网格环境中实现服务组件的动态选择和集成问题,提出基于SOA动态服务集成与调度系统DISS。引入组态和动态重构思想,给出DISS实现框架和方法,使网格应用的组态可以动态调整,实现服务组件的动态绑定,对该系统进行建模和原型实现,为建立面向服务架构的网格应用提供新的设计思想和实现方法。     

基于协议形式化描述的网络增值服务开发方法与技术

增值服务是在原有网络的软硬件基础之上进行的功能开发，它在不影响原系统功能的前提下实现功能附加，使网络功能得到增值．本文引入形式化描述技术，提出了基于协议形式化描述的网络增值服务开发方法，并通过对文件传输协议的描述讨论了该方法的具体应用．最后总结了该方法在实际网络增值开发中的应用技术．     

基于语义描述的分布式Web服务发布与发现

结合P2P与Web服务语义描述技术，提出了一种基于分布式哈希表的非集中式Web服务发布与发现方法。通过定义服务供求双方共同遵守的领域本体，实现具有同样语义概念的两种不同描述的统一，提高服务发现的效率和准确度。利用类别本体对领域本体的组织，提出了层次式Web服务目录系统。基于该系统，服务的发布与发现是在特定应用领域范围内进行，因此减少了服务搜索空间，提高了服务发现的效率。     

基于Gen Voca模型的计划调度系统层次模型

基于组件的软件开发方法成为当前软件开发的一个新的重要方法,但是如何合理地划分组件的粒度,使组件的重用性与可维护性达到最佳平衡是非常困难的。为此,论文研究了计划调度系统的组件技术,建立了计划调度系统的组件层次结构。在介绍GenVoca模型的基础上,对它进行了扩展,然后用它实现系统的组件层次结构的形式化描述。     

目标Web服务描述本体和服务发现模型

目标Web服务描述语言和服务匹配算法是解决Web服务发现问题的方法。在分析现有Web服务描述语言的基础上，该文设计了一个目标Web服务描述本体，该本体从功能、性能和语义特征 3个方面描述Web服务，以提高服务发现的效率和质量为原则，提出了一个基于Web服务特征元素的服务发现模型，并结合旅游领域，实现了一个原型系统。     

面向业务应用的服务发现研究

现有的服务发现研究大多基于功能,以服务为粒度考察服务.而服务是以操作为粒度与用户进行交互的.服务发现与使用粒度上的差异,使服务不能发挥最大效能.为此提出了一种从业务层面,以操作为粒度,考察服务对用户需求业务适用程度的服务发现方法.通过定义面向业务应用的服务与用户需求描述模型,建立领域业务应用本体为服务提供者和使用者的业务级交互奠定基础.通过服务与用户业务需求的深层匹配,在发现可用服务及其操作的同时,对服务的业务规范性和业务完备性进行评估.最终给出了一种面向业务应用的服务发现方法.     

一种混合模式两级抽象服务粒度划分法

该文首先介绍了当前服务粒度划分研究现状，并对几种主流服务粒度划分方法进行分析，指出了它们的不足之处，进而提出了一种基于业务、组件、类的混合模式两级抽象粒度划分方法——TAMM，该方法利用混合模式并结合java设计模式思想对服务粒度划分过程进行两级优化组合抽象，以适中的粗细粒度优化组合抽象服务，从而提高服务的稳定性、灵活性及性能。最后，结合实际案例对该划分方法的特性进行了分析说明。     

冶金过程控制系统开发平台中服务请求代理的设计与实现

服务请求代理是工作在分布式网络环境中的一组应用程序,它为分布式网络环境中的应用程序提供互操作功能。它就像一个"通讯总线",使程序间可以透明的发送请求和接收响应。本文描述了"冶金过程控制系统开发平台"的核心组件--服务请求代理的设计与实现过程,并简单介绍了该系统在工程中的应用情况。     

Granularit?t von Services

Service-oriented architectures are widely discussed as a design principle for application and enterprise architectures. Nevertheless, an adequate granularity of services has not yet been researched sufficiently from an economic perspective. The finer the granularity to realize the functions of a process, the higher the number of services is, and the more effort has to be directed towards composing them. In contrast, very coarse-grained services bear the disadvantages of higher implementation costs and lower reuse potential (e.g., in different processes). The aim of the decision model proposed in this paper is to determine an adequate granularity of services from an economical perspective. Thus, degrees of freedom, which often exist for the choice of granularity after a domain analysis, can be leveraged to realize a cost-efficient solution. We illustrate the applicability and practical benefits of the decision model with an example from the context of a financial services provider.     

嵌套决策粒度约简关系的研究

在基于粗糙集理论的知识发现中,知识约简是核心内容。因此,本文从理论上分析了相容决策表中嵌套决策粒度约简的关系,得出并证明了粗决策粒度的相对 D 核一定是细决策粒度相对 D 核的子集,粗决策粒度的一个相对D约简在满足相容性的条件下一定可以扩张成细决策粒度的一个约简。反之,细决策粒度的一个约简一定可以缩减为粗决策粒度的一个约简。研究结果对基于决策表的知识约简和知识发现有一定的实际意义。     

Proxy Caching for Video-on-Demand Using Flexible Starting Point Selection

In this paper, we propose a novel proxy caching scheme for video-on-demand (VoD) services. Our approach is based on the observation that streaming video users searching for some specific content or scene pay most attention to the initial delay, while a small shift of the starting point is acceptable. We present results from subjective VoD tests that relate waiting time and starting point deviation to user satisfaction. Based on this relationship as well as the dynamically changing popularity of video segments, we propose an efficient segment-based caching algorithm, which maximizes the user satisfaction by trading off between the initial delay and the deviation of starting point. Our caching scheme supports interactive video cassette recorder (VCR) functionalities and enables cache replacement with a much finer granularity compared to previously proposed segment-based approaches. Our experimental results show a significantly improved user satisfaction for our scheme compared to conventional caching schemes.      

Multi-level simulation of Internet of Things on smart territories

In this paper, a methodology is presented and employed for simulating the Internet of Things (IoT). The requirement for scalability, due to the possibly huge amount of involved sensors and devices, and the heterogeneous scenarios that might occur, impose resorting to sophisticated modeling and simulation techniques. In particular, multi-level simulation is regarded as a main framework that allows simulating large-scale IoT environments while keeping high levels of detail, when it is needed. We consider a use case based on the deployment of smart services in decentralized territories. A two level simulator is employed, which is based on a coarse agent-based, adaptive parallel and distributed simulation approach to model the general life of simulated entities. However, when needed a finer grained simulator (based on OMNeT++) is triggered on a restricted portion of the simulated area, which allows considering all issues concerned with wireless communications. Based on this use case, it is confirmed that the ad-hoc wireless networking technologies do represent a principle tool to deploy smart services over decentralized countrysides. Moreover, the performance evaluation confirms the viability of utilizing multi-level simulation for simulating large scale IoT environments.     

数据流中一种快速启发式频繁模式挖掘方法

在现有的数据流频繁模式挖掘算法中,批处理方法平均处理时间短,但需要积攒足够的数据,使得其实时性差且查询粒度粗;而启发式方法可以直接处理数据流,但处理速度慢.提出一种改进的字典树结构--IL-TREE(improved lexicographic tree),并在其基础上提出一种新的启发式算法FPIL-Stream(frequent pattem mining based on improved lexicographic tree),在更新模式和生成新模式的过程中,可以快速定位历史模式.算法结合了倾斜窗口策略,可以详细记录历史信息.该算法在及时处理数据流的前提下,也降低了数据的平均处理时间,并且提供了更细的查询粒度.     

QoS-aware and multi-granularity service composition

Composition of Web services can be very complex, and usually involves multiple atomic services and varieties of message exchange patterns. Worst still, with the increasing amount of available services with varying granularity and quality, selecting the best combination of services becomes very challenging. This paper addresses the issues on multi-granularity service composition with awareness of the service quality. In particular, we consider how a new service composition plan is produced, while preserving its original observable behaviors of a service that are shown to the service user, by substituting the service with another service or a set of services of finer or coarser grain. The new plan aims to have services of better quality (if the corresponding underlying services are available). To achieve this, we firstly define a behavioral signature model to capture observable behaviors of services. We then present that two service composition plans are choreography equivalent if they comply with the same behavioral signature model. We then propose a behavioral extracting algorithm to obtain the behavioral signature model from a service composition plan. We also present a method to determine choreography equivalence. Finally we briefly describe our prototype implementation that captures all these proposed algorithms.     

一个基于自管理单元支持差分服务的Web容器

随着Internet的飞速发展,符合J2EE规范的Web容器已经成为部署企业Web应用的主流平台.同时,企业Web应用的多样化和复杂性的增长,迫切地要求Web容器提供差分服务的支持.然而,传统的Web容器采用尽力而为的服务模型,无法提供差分服务支持.已有的研究采用准入控制、优先级调度等方法来为Web容器提供差分服务支持,但是它们只能提供单调、静态的差分服务策略.提出了一个基于自管理单元的Web容器DSWC,它能够根据SLA定义提供两级差分服务支持.此外,提出了一个自适应差分服务策略选择算法,它能够根据动态变化的运行环境自适应地选择差分服务策略.原型系统的实验结果显示,DSWC能够有效地为请求提供符合SLA定义的细粒度的差分服务支持.     

使用会话期上下文检查的RBAC模型：RBAC CCS

在大型信息系统的设计中,访问控制一直是一项复杂的工作。基于角色的访问控制（RBAC）被推荐来代替传统的访问控制模型。应用到信息系统中时,需要解决RBAC的控制粒度问题。我们需要一个能够基于上下文进行细粒度访问控制的RBAC模型,即基于对象实例上下文上的访问控制。对现有的解决方案进行综述和比较,提出了使用会话期上下文检查的RBAC模型：RBACCCS。RBACCCS中用了参数化权限,在权限检查时用上下文变量实例化这些参数化权限,这样就解决了上下文的表示和上下文作用机制问题。最后对RBACCCS模型进行     

基于SOA的机场运营信息系统集成架构与服务设计

机场运营信息系统集成对适应我国航空业务量的增长和提高机场服务质量具有关键影响,但传统的机场运营系统采用点到点的集成方式,僵化而缺乏柔性。基于SOA的系统集成具有松耦合、粗粒度、灵活性高等特点,适合机场运营系统集成的需求。给出基于SOA的机场运营系统集成的总体架构设计,并采用基于设计结构矩阵(DSM)聚类的方法进行业务服务设计,该方法首先分析航班业务流程,其次使用DSM对活动间的依赖性进行建模,最后采用聚类方法实现服务设计及接口设计。     

Analysing and determining substitutability of different granularity Web services

Substitutability of Web service is the key aspect for ensuring reliability of Web service-oriented software. Along with more large and coarse granularity services appear across the Internet continuously, it has become a new challenge that how to determine the substitutability between different granularity services. In this paper, we propose the notion of interface inverted dependence to reveal all functions and business logic of large granularity services. A formal model is bulit by extending the Martin-Löf's type theory. The model can clearly describe both large and small granularity services from three aspects: syntax, semantics, and behaviour. Based on the formalization, we introduce the notions of substitutability between different granularity services with different stringency through considering the context of services. In order to judge the substitutability, a mechanism based on subtyping theory is proposed. At last, the case study is given to show the effectiveness of the proposed substitutability.