论文部分内容阅读
软件产品线工程理论是一种力求通过建立强大的软件重用机制,解决软件危机的一种工程模型。当今成熟的产品线工程理论是建立在构件化软件工程基础上,以构件的开发,组装,重用机制为基础建立的整个软件产品线模型。当前软件体系架构正在向SOA即面向服务的架构发展,于是在重用粒度上我们有了更好的选择:服务。本文立足经典产品线工程模型,力求提出并尽可能完善一种面向服务的软件产品线模型—SOPLM。
SOPLM是一种基于UML,以成熟的KrobA方法为蓝本建立的一种面向服务的产品线模型。本文对于SOPLM的论述没有重复阐述经典理论中的建模原则,而是根据SOA架构下的新特点,利用服务对经典产品线工程中的构件进行二次封装,首先提出一个面向服务的软件产品线总体模型,在总体模型基础上从各个方面进行细化,最终提出一个相对全面的SOPLM模型。
本文大量采用数学模型推导的方式,关注于产品线核心资产与实际产品家族之间的映射关系,首先提出服务运算代数系统,在数学上证明了SOPLM的系统完整性。在该代数系统基础上对产品线关键性软件过程进行建模,这样的建模都统一的利用SOA提供的反馈和逆向工程方面的便利,对SOPLM模型的演化性进行了阐述。
在SOPLM的行为模型中,本文着重对KrobA方法中分形理论的基础地位进行了阐述,创造性的建立分形学SOPLM建模方法,从理论和实践上将整个产品线系统看作自相似集合,利用分形相关理论将SOPLM模型的服务分解,重用,组织以数学模型的方法量化使用。在上述模型基础上提出服务Petri网SPN,对整个模型的行为状态进行控制。由于SOPLM是一个由范型逐渐精华的继承性过程,因此本文在最后提出演化服务接口的概念解决了该模型下的继承反常问题,对模型进行了理论性完善,提高了可用性。