为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.
服务集成的目标是将多个服务集成到同一系统中以实现特定的业务需求。在集成过程中,由于工具、服务通常有着不同的数据标准、传输机制,导致了集成的困难。为了解决该问题,在服务集成系统中引入了企业服务总线ESB(Enterprise Service Bus)。目前ESB系统的配置文件能够表达较为复杂的服务接入场景,但是根据服务的设计、架构不同,服务接入方法不同,也不支持集成系统的热部署功能。给出一种用于描述工具、服务信息的模型SDModel(Service Description Model),并在该模型基础上提出一种面向服务集成的自动化服务注册方法。方法能够利用SDModel,自动化地解析拟接入集成系统的第三方服务和工具,并实现热部署,供应用层使用。