在分析SOMA思想的基础上,研究了一种基于SOMA的服务建模方法,通过形式化理论分析了服务建模过程中服务发现和设计建模的过程,结合模型驱动理论提出具体的方法实现服务从抽象模型到运行实体的转换,并根据方法实现服务设计建模工具,最后通过在海战场领域的一个建模实例验证方法的可行性.%Based on the analysis of SOMA theory,the paper studies a service modeling based on SOMA,which analy-ses the procedure of service discovery and service design-modeling through the formal theory,also presents a specific method to implement the transformation from service abstract model to service instance with combining the Model Driven Architec-ture,additionally develops a service tool with the method.The paper also demonstrates the correctness of the modeling method with a case on naval battle field.
展开▼