轻量级服务契约自动生成工具的设计与实现

基于契约先行的开发方式,设计并实现一种轻量级的服务契约自动生成工具.该工具可以充分降低基于WSDL服务契约开发的难度,得到内容详尽且符合标准的服务契约.解决契约先行开发方式中无法单独进行服务契约设计的问题,为整个SOA的进一步开发奠定了良好的基础.     

考虑公平关切的服务供应链协调契约

针对服务集成商公平关切行为, 建立了服务提供商和服务集成商的博弈模型, 分析论证了批发价契约无法实现服务供应链协调的问题, 探讨了“成本共担+收入共享” 组合式契约协调的有效性. 研究结果表明, 成本共担契约和收入共享契约都无法实现服务供应链的协调, 而组合式契约不仅能有效协调服务供应链, 且协调具有一定柔性, 但随着服务集成商公平关切程度的增加, 服务提供商与服务集成商的协调空间变小, 协调柔性减弱, 且对服务提供商更不利.     

基于预测承诺契约的物流服务供应链协调

针对由一个功能单一的物流服务分包商和一个物流服务集成商构成的物流服务供应链的协调问题,提出一种承诺契约协调模型。在此承诺契约中,集成商提供一个需求预测,并承诺至少购买一定比例的预测需求量;物流服务分包商基于集成商的预测进行物流能力投资决策,然后得到物流服务分包商的最优物流能力投资量和集成商预测值的取值集合,并将结果扩展到考虑引入回购因子的情况。研究表明在选取合理参数的条件下,提出的预测承诺契约能够鼓励分包商多备货投资,进而能够使物流服务供应链实现系统收益帕累托改进,提高供应链系统和集成商的期望利润,从而实现系统协调。回购因子的引入可以提高相同预测值下的投资水平。最后通过数值实验验证了结果的可靠性。     

不对称信息和风险规避下的能力期权契约模型

针对物流服务供应链中物流能力订购与投资决策问题提出一种基于能力期权契约的协调机制,建立不对称成本信息和存在风险规避者情形下的双效规划模型,并通过优化方法研究Stackelberg主从博弈结构下的最优契约设计。研究结果表明：物流集成商提供的能力期权契约既能揭示物流分包商的真实成本信息,又能使自身有效规避市场风险,从而实现物流服务供应链效率的Pareto改进,但其效果取决于集成商抵抗市场风险的能力。进一步通过仿真算例说明了该能力期权契约的有效性。     

一个面向服务契约的Web服务适配器

Web服务适合于分布、松散耦合的应用环境.针时企业应用系统中的Web服务适配器开发问题,提出并实现了一个面向服务契约的Web服务适配器.详细介绍了适配器所包括的分析引擎、框架代码生成引擎、基于Web的WSDL文档编辑器等关键技术和实现方法.同时,将本方法与相关工具进行了性能分析和对比,表明了本方法的良好交互性和稳定性.     

一种基于构件演算的主动构件精化方法

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.     

公平关切信息不对称下服务供应链的决策优化

在考虑公平关切信息不对称的基础上,研究信息对称和信息不对称下服务供应链的决策问题,并对如何在转移支付契约下促使服务集成商传递真实的公平关切信息进行探讨.研究结果表明,公平关切信息的价值会随着服务成本、努力成本系数、销售价格和服务质量敏感系数等因素变化而发生变化,且通过转移支付契约可以促使服务集成商传递真实的公平关切信息,并从转移支付金额可以看出,其大小会随着公平关切申报值的变化而发生变化.     

质量约束下考虑延保服务的供应链定价与协调

针对零售商提供并销售延保服务,产品质量同时对产品和延保服务需求产生影响的产品服务供应链,研究了有无产品质量约束情形下的产品价格、延保服务价格和产品质量的联合决策,设计了制造商和零售商的协调契约以降低分散决策下的“双重边际效应”问题,分析了产品价格系数、产品质量约束水平等对产品和延保服务定价的影响。研究表明,对产品质量的约束对于防止制造商基于自身利益过度降低产品质量具有重要意义;协调契约可以有效降低产品价格并提高产品质量,并实现制造商、零售商和产品服务供应链系统利润的帕累托改善;产品质量系数和产品价格系数将同时对零售商的产品和延保服务价格策略产生影响。     

考虑企业社会责任的物流服务供应链定价与协调

为了分析承担社会责任对物流服务供应链定价决策的影响, 考虑企业社会责任, 分别构建集中和分散决策下的定价博弈模型, 求得供应链最优定价策略和双方所承担的企业社会责任成本. 对比发现, 分散决策下供应链存在效率损失, 进而基于收益共享契约对其进行协调. 研究表明, 考虑企业社会责任和集中决策时, 物流服务供应链总利润更大, 且双方利润都与其社会责任效用因子正相关, 收益共享契约能有效地对物流服务供应链进行协调. 最后通过算例验证了结论的正确性.     

一种考虑消息类型的服务可替换性验证方法

针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。     

不同任务结构下外包物流配送时间契约设计

外包物流的快速发展带来了新的契约设计问题, 研究不同任务结构下的外包物流配送时间契约设计具有重要意义. 首先, 从第四方物流的视角出发, 考虑外包物流配送时间契约, 分别针对串行任务结构和并行任务结构, 建立委托代理数学模型; 然后, 给出最优契约的确定方法, 并对最优契约结果进行分析; 最后, 通过数值实验验证了两种不同任务结构下配送时间契约设计方法的有效性.

     

公平关切下考虑企业社会责任的物流服务供应链协调

针对由单个物流服务集成商(LSI)和单个功能型物流服务提供商(FLSP)组成的物流服务供应链(LSSC),考虑LSI的企业社会责任(CSR)和FLSP的物流服务水平,研究LSI和FLSP的公平关切偏好在成本分担契约和成本分担-两部关税的组合契约下对LSSC最优决策、各成员利润和整体利润以及供应链协调性的影响.研究表明:公平关切偏好不影响LSSC在不同契约下的协调状态,但影响LSSC成员的利润;成本分担-两部关税的组合契约能实现LSI和FLSP的双赢.LSI在成本分担契约下应降低自己的公平关切偏好并与公平关切偏好程度较低的FLSP合作,在成本分担-两部关税的组合契约下应增加自身的公平关切偏好并与公平关切偏好较低的FLSP合作;FLSP在两种契约下都应该增加自身的公平关切偏好并与公平关切偏好较低的LSI合作.     

资金约束下的非对称信息供应链协调研究

供应链金融能够有效解决无核心资产的中小企业资金约束的问题。针对制造商、分销商和零售商组成的三级供应链,考虑了零售商自有资金的不同对融资利率变化的影响,研究了在完全信息下采用融资前后联合契约供应链的收益变化,实现供应链协调的参数和各成员收益的变化,将零售商销售成本信息不对称下的情况作为对比,分析零售商私有信息对供应链的影响,通过算例进行了数值分析。结果表明,在完全信息下零售商存在资金约束时,融资服务能够增加供应链各成员的期望收益,回购契约与收益共享契约组成的联合契约能够协调采用融资后的供应链,在非对称信息下,供应链的效率有所减少,而资金充足的零售商会因私有成本信息获得更多的收益,但是在资金约束时,私有信息却失去了价值。     

赊销背景下的供应链收入共享契约

在供应商向存在资金约束的销售商提供赊销的背景下,分别探讨了批发价格契约和收入共享契约对二级供应链的协调问题.研究发现,批发价格契约无法协调存在赊销的供应链,当销售商的初始资金满足一定条件时,赊销背景下的收入共享契约能够实现存在资金约束供应链的自愿协调.收入共享契约下,共享比例随销售商初始资金的增大而增大,批发价格则随之增大而减小.最后通过数值算例对结论进行了验证.     

基于SOA的框架模型研究

面向服务的体系结构(Service-oriented architecture,SOA)是一个组件模型,它将应用程序的不同功能单元(称为服务)通过这些服务之间定义良好的接口和契约联系起来.针对目前面向服务架构技术研究的现状,文章阐述了SOA的定义和技术基础,分析了Web服务和面向服务架构之间的关系,给出了一个面向服务的框架模型,并对此进行了研究.     

基于SOA架构的业务安全性研究

SOA（Service-Orieilted Architecture，面向服体系结构）是一个组件模型，它将应用程序的不同功能单元之间定义良好的接口和契约联系起来。这些接口独立于实现服务的硬件平台、操作系统和编程语言，使得构建在各种各样系统中的服务可以以一种统一和通用的方式进行交互。     

基于LA型供应商的易逝品供应链价格补贴契约

针对由单个损失厌恶型供应商和单个风险中性型零售商组成的供应链系统,在前景理论框架下,研究了存在缺货损失下的基于批发价格契约和价格补贴契约的易逝品供应链协调问题。首先分析了分散化供应链系统在批发价格契约下供应商和零售商的最优决策,并将供应商的最优生产量与集中化供应链系统下的最优生产量进行了比较;从理论上严格证明了当供应商的最优生产量小于集中化供应链系统下的最优生产量时,供应商不能通过批发价格契约使得自己的生产量为集中化供应链的生产量。然后分析了在缔结政府提供的价格补贴契约下供应商和零售商的最优决策。研究结果表明,损失厌恶型供应商在批发价格契约下的最优生产量可能偏离系统最优生产量,这时政府可以通过价格补贴契约来协调整个供应链。     

基于SOA的实时动态专题地图服务生成方法

针对用户不能在线实时获得个性化专题地图的问题,以ArcGIS的SOA架构为技术支撑,提出一种实时动态专题地图服务生成方法.采用契约优先的Document样式封装服务,利用支持OGC标准的Web服务发布地图数据,使用扩展的二维数据表的叠加操作策略,实现地图数据与第三方渲染数据的融合,以及渲染服务与地图数据发布服务的在线组合.以江苏省农林渔牧总产值为例在线制作系列专题地图,验证了该方法的有效性.     

基于契约的网格资源管理

针对网格计算经济,研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式,完成了契约匹配算法,分析了契约的安全问题和相关处理。在此基础上提出了基于契约的网格资源管理体系。该方法简化了资源管理以及网格监测,规范了GSP的行为,促进了资源的可靠性,进而推进了QoS的改善。     

SOA 在内镜追溯系统中的应用

论文主要对内镜追溯系统进行论述,结合面向服务架构特点与实际系统需求设计出一种面向服务的数据中心 系统。系统采用.NET 平台的WCF 服务技术,HTTP 协议以及DES 加密技术,不仅在软件结构层面达到面向服务目的,同时保 证了系统通信的安全性。在软件详细设计阶段,利用了面向对象技术,定制服务契约,抽象服务接口,在保证系统横向伸缩性 良好的同时完成解耦。目前系统已经完成,并得到了很好的实际应用。