论文研究The Formal Model of Realtime Service Components Composition Based on Duratio

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