随着互联网的普及和延伸,软件系统的开发模式已经从过去的本地系统集成发展到更为复杂的多层分布式系统,由此诞生了Web Services.它采用了消息的、松散耦合的Web技术,集成并提升了网络中众多应用程序的价值.Web Services的应用程序具备松散耦合,跨技术平台实现的特点,都履行一项特定的任务或一组任务,Web Services可以单独或同其他Web Services一起用于实现复杂的商业交易.Web Services的诞生是软件系统对网络环境的一种适应,是一种新型的基于网络环境的软件系统.Web Services系统需要透明于平台之间的差异性,因而在系统的开发过程需要获取一个独立于平台的公共的模型.当前软件系统规模和复杂性日益膨胀,而人对复杂问题的理解能力有限,通过建模对软件系统进行一定程度的抽象而获取模型,能简化系统开发的难度.在传统的软件过程中,软件开发过程是以概要设计和代码驱动的,系统模型只是在需求分析和设计阶段中产生.当编码开始的时候,前面的系统模型就迅速失去了它们的价值.随着编码阶段的继续进行,模型和代码之间的关联逐渐减弱甚至消失,它们不再是对代码的精确描述.随着时间的推移,系统不断地被修改,模型与代码之间的距离就越来越疏远.由此,对象管理组织(OMG)提出了基于模型的MDA(Model Driven Architecture)技术,强调软件的所有生命周期是以系统建模作为驱动力的,以模型的映射推动系统由抽象的概念逐步细化到具体,直至代码.软件开发阶段获取的模型不再随着开发的进度而不断脱离代码,而是紧密的联系在一起.由模型之间的映射规则推动系统由模型产生代码,反过来也可以由代码的修改而反映在模型之上.作为模型逐步求精的第一步,MDA中的平台无关模型(Platform Independent Model,PIM)抛开了所有与实现技术相关的繁文缛节,专注于系统的结构,行为以及目的,是对系统的最佳诠释,它适合在Web Services开发过程中用以描述Web Services系统的独立于平台的公共模型.然而,什么样的建模语言才能准确地描述互联网环境下的分布式软件系统?在Web Services开发中如何最大限度的发挥PIM的作用?该文试图回答上述问题.该文中,将OMG企业分布式对象计算(EDOC)profile(UML的标准化扩展集)和E-LOTOS描述语言融合在一起.将建模语言映射到系统分析的两个阶段:需求分析和功能设计,在需求分析阶段采用了EDOC profile进行可视化的建模,在功能设计阶段采用了E-LOTOS着力于描述系统的行为,从而最终得到PIM,从而即保证了PIM的易理解性,又使得PIM能在业务功能层上具有可测试性,最大限度的发挥了平台无关模型自身所具有的优点.