《软件建模技术》课程在Web服务组合中的应用探索  

作　　者：包力[1] 云静[1] 李雷孝[1] 

机构地区：[1]内蒙古工业大学信息学院,内蒙古很好听010080

出　　处：《内蒙古农业大学学报（社会科学版）》2012年第3期173-174,共2页Journal of Inner Mongolia Agricultural University（Social Science Edition)

基　　金：内蒙古自治区高等学校科研项目:"Web服务行为形式化建模与验证研究";项目编号:NFZY 11082

摘　　要：在Web服务互操作技术的基础上,提供高层的Web服务集成手段、实现Web服务组合成为Web服务技术发展的自然需求。Web服务(Web Services)是当前实现面向服务的体系结构最有前景的技术。Web服务技术的广泛应用使得Web服务正逐步成为Internet网络环境中资源封装的标准形式。随着部署在Internet上的Web服务不断丰富,这些可被公共访问和集成的服务构成了一个潜在的巨大标准组件库。本文探讨了在《软件建模技术》课程中所介绍的语法方法、语义方法、UML方法和形式化方法在Web服务组合建模中的应用情况。

关 键 词：软件建模技术 服务组合建模方法 UML 形式化方法 

分 类 号：G642.0[文化科学—高等教育学]