计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
16期
67-70
,共4页
Web服务组装%Pi演算%UML
Web服務組裝%Pi縯算%UML
Web복무조장%Pi연산%UML
提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化.组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务.
提齣瞭一種改進的Web服務自動組裝的方法,以提高Web服務組裝的自動化.組裝Web服務時,先用UML對複閤Web服務進行建模,從UML模型得到複閤服務的Pi縯算描述,通過Pi縯算的形式化驗證,為這些邏輯子服務自動找到匹配的已實現的原子服務,最後生成可執行的複閤Web服務.
제출료일충개진적Web복무자동조장적방법,이제고Web복무조장적자동화.조장Web복무시,선용UML대복합Web복무진행건모,종UML모형득도복합복무적Pi연산묘술,통과Pi연산적형식화험증,위저사라집자복무자동조도필배적이실현적원자복무,최후생성가집행적복합Web복무.