本文对多流程系统中流程间交互的问题进行了研究，使用扩展的情景演算理论对交互过程建模，以达到交互过程与业务过程分离的目的。并在此基础上设计了一个可复用的多流程系统交互模型。在多流程系统中使用本文设计的交互模型(FCM)，交互的过程被交给一个“仲裁机构”-交互中间件处理，实现了交互和业务处理在逻辑结构上的分离。通过交互中间件的应用，使各流程从繁杂的交互负担中解脱出来，更专注于自身业务的处理过程。各流程只专注于自身的业务处理，减轻了其推理的负担，提高了系统的效率，可更好地适应系统不断增加新服务和功能的需求。 　　本文的创造性在于在把人工智能中的逻辑表示方法和处理的相关理论用于软件系统结构的设计中，对流程的交互过程进行形式化的建模，从而为系统的进一步自动化处理提供了基础和支持。