Abstract: Building large-scale complex system in military field needs the support of middleware technologies. The crucial technique and the integration mechanism of middleware architecture were researched. This paper introduced software architecture formal description method based on TDB-calculus and proposed a performance bound component interface model. Then we studied the integration compatibility between component and system based on this model. This study has already used in a virtual test real-time soft-bus research and has well effect.

Key words: Middlcware,Architecture,Integration,Compatibility, TDπ-calculus,Soft-bus