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

摘要：

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

关键词： DSC建模语言 多色集合 转换机制 形式化描述 软件设计模型

作者: 李松 周逸璇 李曼 王彩亮

作者单位: 云南大学软件学院昆明，中国，650091 云南大学网络智能计算实验室昆明，中国，650091

会议类型: 国内会议

会议名称: 2011年亚太信息网络与数字内容安全会议(APCID2011)

会议地点: 珠海

会议语种:中文

页码: 18-21

在线出版日期: 2011-08-01（万方平台首次上网日期，不代表论文的发表时间）