Formal Semantic of Architecture-Centric Component Model

• 以体系结构为中心的构件模型的形式化语义