科研之友
微信
新浪微博
Facebook
分享链接
摘要
随着计算机科学与软件工程的飞速发展,人们越来越强烈的意识到形式化模型对软件系统的分析与设计的重要作用。在当今软件系统的设计与开发中,人们普遍运用多种建模方法和工具对软件系统本身及其应用场景建立模型,并在这些模型的基础上对系统进行分析和改进。对于一个复杂的软件系统而言,一个使设计者和开发者都能正确认识和分析该系统的模型在软件开发周期中显得尤其重要。 一个涵盖系统所有要素的模型往往不易获得。系统设计者通常是先将系统按照一定的特征划分成很多部分,再分别对这些部分采用适当的建模方法和工具建立相应的模型。该研究思路很好的使用了分而治之的策略,有效的降低了处理系统具体特征的复杂度,使针对某个特征的...
- 单位
