基于时段演算的实时服务构件组装形式化模型,金仙力,马华东,本文提出一种基于时段演算(一种区间时序逻辑)的实时服务构件组装建模新方法.首先给出了服务构件的形式化定义.接着详细分析了采用��