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

• Research on formal semantics of component integration