服务和服务组合作为一个研究热点问题已经有很多年了。当前从工业上的标准(如BPEL、OWL-S)到理论上的方法(如Petri网、进程代数和自动机等),提出了很多的方法来研究他们,但这些方法都不是很完善,主要是因为没有直接基于消息传递来刻画或进行推理。在本文中,提出了一个新的形式化模型,即消息结构。消息结构由消息和消息依赖组成,其中消息既可以是抽象的输入输出数据也可以是具体的状态信息,消息依赖则表示输入消息和输出消息之间的关系,共分为五种：消息创建、消息终止、消息选择、消息同步和消息变换。借助这五种依赖关系,消息结构可以建模顺序、并发、非确定性选择、同步等待。面向服务的系统通常是通过消息传递机制将系统建立起来的,服务则是通过消息的发送和接收来实现,并且这些消息的发送和接收也使多个服务组合在一起共同对内外提供服务。在消息结构中,因为消息可以是各种数据,并直接是面向服务的系统中的消息,所以消息结构可以不经过任何转换就可以直接用来描述服务和服务组合。本文首先给出了服务和服务请求者的定义,其次讨论了服务组合,并把服务转换成消息结构模型,最后用消息结构来描述实际的面向服务的系统,同时还讨论了服务的细化问题。在此基础上还分别讨论了五种消息依赖关系对应的代码生成语句,并给出了从消息结构模型自动映射代码框架的简单变换规则。