电信系统中的业务交互问题由来已久，随着移动通信的普及和移动通信业务数量的不断增加，移动通信系统中的业务交互问题已经成为阻碍业务发展的主要瓶颈，是一个迫切需要解决的问题。 本论文以移动通信系统中的业务冲突检测和业务融合解决为研究的主要内容，采用UCMs(UseCaseMaps)和XML(eXtensibleMarkupLanguage)对移动通信系统进行形式化描述，并基于该形式化描述提出了业务冲突离线检测的完整流程和检测方法，同时提出了业务特征模块化的方法对业务融合问题加以解决。 论文的主要创新点可以简要归纳如下： 1)针对软件系统的特点，从软件的角度分析了业务冲突产生的本质原因，不同于从电信系统的特点出发分析业务冲突产生原因的一般研究方法，具有更高的普遍性和灵活性，不但可以适用于移动通信系统，而且对其他软件系统同样适用，为软件系统的业务冲突检测和解决的研究打下基础。 2)结合移动通信系统结构和业务流程特点，利用UCMs语言对移动通信业务进行形式化描述。 3)基于业务冲突检测计算机自动化处理的需要，结合移动通信业务冲突检测的特点，提出了移动通信业务的XML形式化描述方法。 4)基于移动通信业务的形式化描述，提出了业务冲突离线检测的完整流程和检测算法，并从业务冲突检测前提条件和业务冲突检测过程两方面出发，提出了业务冲突过滤算法，解决状态空间爆炸问题。在整个冲突检测流程中，将避免、检测、解决和管理四个方面有机的结合在一起。 5)研究了CAMEL(CustomizedApplicationforMobilenetworkEnhancedLogic)和WIN(WirelessIntelligentNetwork)中的业务触发机制，提出了业务特征模块化的方法解决业务融合问题，并基于FIM(FeatureInteractionsManager)和SIM(ServiceInteractionsManager)功能实体提出了多业务触发交互流程，设计了特征调用机制。本文提出的业务特征模块化的方法和SIM机制已经被中国移动采纳，经过多次讨论，目前正在进行进一步的细化，准备投入实际应用。