基于多色集合的DSC软件设计模型形式化描述

摘要

在分析了DSC建模语言和多色集合理论两种方法优缺点的基础上，提出了一种采用多色集合对 DSC模型形式化处理的方法。将简单系统的两两组合，连接关系作为多色集合的元素，建立了从DSC动态系统图到多色集合矩阵模型的转换机制。以网上订票过程为例，应用以上理论和方法，对其进行了形式化描述，使得模型便于计算机表达和操作。