一种基于形式化规约生成软件体系结构模型的方法

使用lotos描述实时系统需求规约，通过建立lotos规约到uml-rt模型的模型转换，提出一种基于形式化规约生成软件体系结构模型的方法。最后，通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的uml-rt模型，能够从整体上提高实时系统软件体系结构设计的可信性。