基于抽象服务的密码服务组合模型设计与实现

摘要

传统的密码服务与应用系统的紧耦合,不能满足新的业务需求,同时严重制约了密码服务的发展.为了提高密码服务质量和扩展其应用范围,根据密码服务的特点,对其进行抽象归类,构建抽象服务.并在此基础上结合面向服务的体系架构,利用BPEL和Pi演算的转换,设计了可以动态调度和智能优化的密码服务组合模型.该模型不但可以实现业务流程的图形化编排,而且可以对流程进行形式化分析和正确性检测.最后给出了原型系统的设计思想和实现方法.%To improve the quality of cryptogram service and extend its application area, the services is abstracted and classified on the basis of these characteristics. In this foundation, combining service oriented architecture and using the pi-calculus-based modeling of BPEL, the cryptogram service composition model with dynamic scheduling and intelligent optimization is designed. Using the model, the business process can be graphical created, and the process is dealt with the formal analysis and correctness test. Finally a prototype system is realized and its design and implementation strategies are given.