Research on formal semantics of component integration

• 一种形式化构件集成语义的研究