检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]解放军信息工程大学电子技术学院,河南郑州450004 [2]信息保障技术重点实验室,北京100072
出 处:《计算机工程与设计》2012年第8期2920-2925,共6页Computer Engineering and Design
摘 要:传统的密码服务与应用系统的紧耦合,不能满足新的业务需求,同时严重制约了密码服务的发展。为了提高密码服务质量和扩展其应用范围,根据密码服务的特点,对其进行抽象归类,构建抽象服务。并在此基础上结合面向服务的体系架构,利用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.
关 键 词:抽象服务 密码服务 服务组合 PI演算 原型系统
分 类 号:TP393.08[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49