文件名称：论文研究-The Formal Model of Real-time Service Components Composition Based on Duration Calculus.pdf
文件大小：384KB
文件格式：PDF
更新时间：2022-09-05 03:58:53
service composition, component, duration calculus,
基于时段演算的实时服务构件组装形式化模型，金仙力，马华东，本文提出一种基于时段演算(一种区间时序逻辑)的实时服务构件组装建模新方法.首先给出了服务构件的形式化定义.接着详细分析了采用��