3.2.4 基于服务覆盖层的服务组合模型

我们抽象出了VANETs服务组合体系结构的第四层， 服务覆盖层。 服务覆盖层是构建在物理网络层、 服务实例层及服务抽象层之上的虚拟层， 它将上层的应用服务和底层的网络拓扑动态叠加并部署于同一个水平结构中， 生成并维护网络拓扑结构， 同时向服务组合应用提供各种服务组件及相应车载节点的移动信息。 服务覆盖层将节点移动信息、 网络拓扑信息及服务组件信息集中起来， 为综合考虑服务组件的实例化、 服务执行路径的选择提供方便的决策支持。

现将服务覆盖层建模为物理网络层、 服务实例层及服务抽象层的动态叠加。形式化表达为Soverlay（t）＝｛Net（t），S（t），Gf（t）｝，其中Net（t），S（t）， Gf（t） 分别代表t时刻服务节点所处的物理网络层拓扑结构及移动信息集合，服务实例层上满足用户服务组合请求的服务组件信息集合， 以及服务抽象层对应的功能图。 服务覆盖层不仅部署了组合服务所需的各种服务组件， 而且利用物理层网络路由为用户提供组合服务的底层支撑。

基于上述对VANETs服务组合体系结构的分析， 我们将VANETs下的服务组合建模为Ser（t）＝｛S（t），LS（t），LN（t） ｝，其中S（t）、LS（t）、LN（t） 分别代表t时刻服务节点集合， 服务链路集合以及支撑服务链路的底层物理链路的集合。S（t）＝ Ini（f1），Ini（f2），…Ini（fm）{ }，其中Ini（fm） 表示服务路径上实现功能服务fm的实例化服务组件；LS（t）＝｛（si，sj）｜si→sj，1≤i＜n，j＝i＋1｝，服务组件si的执行结果作为后继服务组件si＋1的输入； LN（t）＝（Nl（t），Nt（t）） 1≤l＜n，t＝l＋1{ }，代表网络拓扑结构中移动节点间通信链路集合，其中Nl（t）＝（Location，Mobility，Trans Radius，Resources） 为中转节点或服务节点，其移动信息Mobility＝＜v（t），Dir（t） ＞。

我们将VANETs下服务组合问题转化为在上述服务组合模型中进行服务资源及底层链路的发现及选择， 建立满足客户节点服务组合需求的能提供各组件服务的服务执行路径。 该服务组合模型将底层车载节点的移动特性与上层服务组件实例化决策过程紧密融合， 在有效降低网络拓扑关系复杂度的同时提高了对用户服务组合需求的动态适应性。 接下来， 我们将深入研究服务组合模型的求解问题， 即在VANETs服务组合模型指导下动态生成能够满足用户多约束QoS需求及功能要求的服务组合执行方案。