面向特征的模型验证方法SUSI
特征建模是一种有效的领域需求组织方法。领域模型的定制是领域工程应用的重要环节。为了能够及时有效地栓验特征定制结果，提出了以逻辑命题描述的SUSI验证方法。 该方法主要体现了特征定制过程的反复性，因此本方法可以在模型定制阶段高效地用于验证模型定制结果。由于将交互关系作为补充的判断依据，进一步扩大了本方法可验证的模型范围。同时形式化描述了交互关系，用于自动化工具的开发。
领域建模 验证特征定制 形式化交互 自动化工具开发
韩荣飞 张春海 高义侠
中国海洋大学计算机科学系 青岛 266100
国内会议
成都
中文
219-221,246
2009-05-15（万方平台首次上网日期，不代表论文的发表时间）