近年来,Web服务作为SOA的一种实现形式,在电子商务、企业应用等领域都扮演着愈发重要的角色,其全新的软件组件思维方式,使得系统服务化集成成为一种新的软件复用解决方案。已有方法在系统建模方面单一地考虑系统内部结构或者业务功能,无法形象直观地描述系统体系结构及各功能模块间的依赖关系,而在系统服务化方面,服务的粒度不明确、服务化策略的局限性使得系统的性能、稳定性和灵活性达不到用户需求的标准。本文研究如何有效地进行系统服务化集成,提出基于形式化规约的系统建模方法,对系统的结构和功能模块间的依赖关系进行形象直观的描述。针对集成后系统性能、稳定性和灵活性等问题,提出了面向业务的服务识别方法和基于中间层新功能组件的服务封装策略。本文主要的研究工作有:1.提出了一种将静态的类描述和动态的业务流程描述相结合的建模方法,使用基于代数规约的类子模型来描述系统内部的静态关系,使用通用的业务流程模型来描述功能模块间的动态关系,并在此基础上给出了类子模型的生成和精简算法。2.提出了一套从服务识别到服务验证的服务化集成方法,首先在系统建模的基础上,以业务流程为粒度,应用基于层次的聚类算法识别服务,然后为了保证系统的稳定性和灵活性,通过中间层新功能组件封装服务,最后使用基于代数规约的Web服务测试技术对服务进行验证。3.基于Java语言实现服务识别原型工具,并针对桌面计算器应用MTAC和基于SSH框架的在线学习平台进行案例研究,结果表明基于形式化规约的系统服务化方法对于中小型开源系统是可行有效的。