计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2012年
8期
2920-2925
,共6页
抽象服务%密码服务%服务组合%Pi演算%原型系统
抽象服務%密碼服務%服務組閤%Pi縯算%原型繫統
추상복무%밀마복무%복무조합%Pi연산%원형계통
传统的密码服务与应用系统的紧耦合,不能满足新的业务需求,同时严重制约了密码服务的发展.为了提高密码服务质量和扩展其应用范围,根据密码服务的特点,对其进行抽象归类,构建抽象服务.并在此基础上结合面向服务的体系架构,利用BPEL和Pi演算的转换,设计了可以动态调度和智能优化的密码服务组合模型.该模型不但可以实现业务流程的图形化编排,而且可以对流程进行形式化分析和正确性检测.最后给出了原型系统的设计思想和实现方法.
傳統的密碼服務與應用繫統的緊耦閤,不能滿足新的業務需求,同時嚴重製約瞭密碼服務的髮展.為瞭提高密碼服務質量和擴展其應用範圍,根據密碼服務的特點,對其進行抽象歸類,構建抽象服務.併在此基礎上結閤麵嚮服務的體繫架構,利用BPEL和Pi縯算的轉換,設計瞭可以動態調度和智能優化的密碼服務組閤模型.該模型不但可以實現業務流程的圖形化編排,而且可以對流程進行形式化分析和正確性檢測.最後給齣瞭原型繫統的設計思想和實現方法.
전통적밀마복무여응용계통적긴우합,불능만족신적업무수구,동시엄중제약료밀마복무적발전.위료제고밀마복무질량화확전기응용범위,근거밀마복무적특점,대기진행추상귀류,구건추상복무.병재차기출상결합면향복무적체계가구,이용BPEL화Pi연산적전환,설계료가이동태조도화지능우화적밀마복무조합모형.해모형불단가이실현업무류정적도형화편배,이차가이대류정진행형식화분석화정학성검측.최후급출료원형계통적설계사상화실현방법.