实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础，是实现软件复用思想的软件生产活动，其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开，规约为实时构件合成中的分析理论。