在分析SOMA思想的基础上,研究了一种基于SOMA的服务建模方法,通过形式化理论分析了服务建模过程中服务发现和设计建模的过程,结合模型驱动理论提出具体的方法实现服务从抽象模型到运行实体的转换,并根据方法实现服务设计建模工具,最后通过在海战场领域的一个建模实例验证方法的可行性。