基于SOA的VMI接口模型设计与检验.doc

基于SOA的接口模型设计与检验作者简介：谷玉奎(1982-)男山东泰安人硕士研究生研究方向面向服务的架构曹宝香 男,山东济宁人,教授,硕士研究生导师袁玉珠(1981-)女山东日照人硕士研究生研究方向计算机网络和通信谷玉奎 曹宝香 袁玉珠（曲阜师范大学 计算机科学学院，山东 曲阜 273165）摘要 ：供应商管理库存（VMI）能够提高库存周转率，降低库存成本，消灭库存冰山，实现供应链的整体优化，但也有一定的局限。本文针对供应商管理库存（VMI）系统在实施过程中遇到的问题，诸如协作水平低，相互信任度不高等实际问题，提出了基于SOA的VMI接口模型，并给出了完整性和相容性的检验方法，进行了检验。关键词：供应商管理库存、面向服务的体系架构、接口模型、完整性、相容性An Interface Model for VMI Basing Service-Oriented ArchitectureGu Yu-Kui Cao Bao-Xiang Yuan Yu-Zhu （Computer Science College, Qufu Normal University, Qufu 273165）Abstract Service-Oriented Architecture (SOA) is a method to design and construct loose-coupling software systems .It turns the distributed applications developed on middleware into software services on internet. The vmi system can boost inventory turnover ratio ,destroy inventory berg ,and achieve global optimization ,but there are also some problems in this system .Aiming to come to settlement the problems encountered in the procedure of enforcement vmi system, such as low cooperation level, less credence, this paper present an interface for vmi in service=oriented architecture. Also give the method to analysis the integrality and integrality.Key words: vmi, soa, interface model, integrality, integrality1引言供应商管理库存（Vender Managed Inventory, VMI）能实现供应链企业间的信息共享，带来“双赢”的局面，这种库存管理策略打破了传统的各自为政的库存管理模式，体现了供应链的集成化管理思想，适应市场变化的要求，是一种新的有代表性库存管理思想。但是在实施过程中暴露出不少问题，诸如协作水平低，相互信任度不高等实际问题，表现出它的局限性。本文试图用面向服务的架构（SOA）解决这些问题。本质上说，SOA体现的是一种新的系统架构。在基于SOA架构的系统中，具体应用程序的功能是由一些松耦合并且具有统一接口定义方式的service组合构建起来的。本文将SOA引入供应商管理库存系统中，利用面向服务架构的灵活性和松耦合性比较好的解决了VMI在实施过程中遇到的问题。2 、供应商管理库存（Vender Managed Inventory, VMI）VMI作为一种目前国际上前沿的供应链库存管理模式对整个供应链的形成和发展都产生了影响。VMI帮助供应商等上游企业通过信息手段掌握其下游客户的生产和库存信息，并对下游客户的库存调节做出快速反应，降低供需双方的库存成本。最主要的是能够提高库存周转率，降低库存成本，消灭库存冰山，实现供应链的整体优化，但是在VMI实施过程中，暴露出一些局限性，首先表现在VMI中供应商和零售商协作水平有限，供应商不能完全的得到零售商相关数据，对不完整的数据进行分析， 其决策带有一定的盲目性，增加了零售商和供应商双方的风险。其次是VMI对于企业间的信任要求较高，特别是要求零售商要完全相信供应商，尤其是某些涉及商业机密的数据。 三是VMI中的框架协议虽然是双方协定，但供应商处于主导地位，决策过程中缺乏足够的协商，难免造成失误；最后是VMI的实施减少了库存总费用，但在VMI系统中，库存费用、运输费用和意外损失不是由用户承担，而是由供应商承担。应该增加零售商的主动性，而且应该承担一部分风险。3、面向服务的架构（SOA） 面向服务的体系结构（Service-Oriented 零售商产品供应商零售商产品仓库Check Send Request Withdraw 银行Role Propay Getmoney Architecture，SOA，也叫面向服务架构）是指为了解决在Internet环境下业务集成的需要，通过连接能完成特定任务的独立功能实体实现的一种软件系统架构。SOA是一个组件模型，它将应用程序的不同功能单元（称为服务）通过这些服务之间定义良好的接口和契约联系起来。接口是采用中立的方式进行定义的，它应该独立于实现服务的硬件平台、操作系统和编程语言。这使得构建在各种这样的系统中的服务可以以一种统一和通用的方式进行交互SOA是在计算环境下设计、开发、应用、管理分散的逻辑（服务）单元的一种规范。SOA 的第一条准则就是：业务驱动服务，服务驱动技术。它的一个中心思想就是使得企业应用摆脱面向技术的解决方案的束缚，轻松应对企业商业服务变化、发展的需要。业务流程也是SOA的三大抽象层次之一。服务的关键是他们的松耦合特性。SOA 关注业务流程和标准接口，以服务的方式实现流程中的人物或活动。方法调用是面向服务的系统的基本方法，每个服务可以支持或引发多个方法的调用。而且在SOA规范许可范围内，还可以灵活的增加一些方法。对于上述VMI系统实施过程中遇到的问题，采用面向服务的架构可以比较圆满的解决。把零售商和供应商作为两个独立的服务，供应商服务里，加一个请求（request）方法，在零售商服务里加一条身份验证方法（role）。这样一来，可以取得如下好处：1、增加供应商和零售商的协调水平。2、使供应商获得更加准确的信息。减少了盲目性，更有利于做出正确的决策。3、增加了零售商的主动性，更多的参与到供应链中。也会承担更多的责任4、因为进行了身份验证，所以零售商对供销商的信任度也会提高。5、因为把供销商和零售商都作为独立的服务，所以供销商和零售商都可以按照的规范是内的增加自己的动作。4、面向服务的接口模型和服务相容性基于前节所述，将SOA与VMI相结合，将解决VMI在实施过程中遇到的困难，这一节主要描述系统中面向服务的接口模型以及这种模型的完整性和相容性。在详细理解业务流程之后，将产品供应商和零售商的供应链抽象出来，如图1所示（产品供应商、零售商、银行都是泛指），将这个供应链分成3个服务。即产品供应商（supplier）、零售商（seller）、银行（bank）.图1基于SOA的接口模型我们用M表示一个动作的方法集，用R表示动作的结果，则MR就是服务的一个动作，上述3个服务的动作可以有如下表示：M=request, check, send, withdraw, propay, getmoney roleR=ok, fail MR =(request, ok）(check, ok) (send, ok) (withdraw, ok) (propay, ok) (getmoney, ok) (role，ok） (request, fail）(check, fail) (send, fail) (withdraw, fail) (propay, fail) (getmoney, fail) （role，ok）)比如说（role，ok），（role，fail）代表一个role方法被调用所产生的动作，（role，ok）代表零售商同意动作发生时检查零售商的现有库存且身份验证符合条件，有权限进行检查库存中的产品。（role，fail）代表零售商暂时不同意动作发生时检查零售商的现有库存或身份验证不符合条件。在面向服务的软件体系结构中，服务注册机构或服务请求者，总希望获得完整的服务接口描述，如果在服务接口描述中，某个方法产生的动作是必须的，但这个动作没有在服务描述中出现，我们就认为这个接口是不完整的。我们用一个四元组G（A，I，I，I）来描述一个接口可以方便的检查接口的完整性。其中：A MRI- 2一个动作I所引发的动作集合；I-2对一个成功动作I所引发的动作集合I-2对一个异常动作I所引发的动作集合；我们 用公式：D:N |a |进行判断，其中，N ：没有动作被引发，a MR：动作a被引发，：或只有一个被引发，：和都要被引发。如：(request, ok） (check, ok) (send, ok) (withdraw, ok) (propay, ok) (getmoney, ok) (check, fail) (send, fail) (send, ok) (withdraw, ok) (propay, ok) (getmoney, ok) (send, fail) (withdraw, fail) (propay, fail) (getmoney，fail) (role，ok） (withdraw, fail) (propay, fail) (getmoney, fail) (role，ok）通过组阁动作进行检验上述接口是完整的。我们还要判定服务是不是相容的，即：要判断服务组合后能不能正常工作，被组合的服务不能有相同的动作供其它服务调用，接口G（A，I，I，I） 和G（A，I，I，I）是相容的必须满足以下公式：1、dom(I) dom(I)= 2、G G = A A，I A，I A，I A组合以后的所有动作，应该满足本地方法所引发的动作都是本地的。通过判定上述接口是完整的。5、结束语本文结合面向服务架构的灵活和规范的优势与供应商管理库存相结合，提出了面向服务的供应商管理库存的接口模型。以服务实现供应商管理库存，解决了供应商管理库存系统实施过程中遇到的困难。本文还详细探讨了接口的完整性和服务的相容性条件。并进行了验证。下一步工作是，在这个接口模型中身份验证问题，需要进一步探讨。 参考文献1陈振邦，王戟，董威，齐治昌 面向服务的软件体系架构的接口模型j Journal of Software 软件学 Vol17.No.6， June 2006； 1459 14692 Cervanted H, Hall RS. Technical concepts of service orientation. In: Zoran S, Ajantha D, eds. Service-Oriented Software System Engineering: Challenges and Practices. Idea Group Publishing, 2005. 147.3下一代软件架构SOA /techdoc/200404186.html 20064 De Wachter B, Genon A, Massart T, Meuter C. The formal design of distributed controllers with dSL and spin. Formal Aspects of Computing, 2005,17(2):177200.5余亮，魏俊基于服务和规则扩展的工作流模型J计算机工程与应用，2004；40（31）186 189 6 Foster H, Uchitel S, Magee J, K