%0 Journal Article
%T 一种基于形式化规约生成软件体系结构模型的方法
%A 祝义？
%A 黄志球？
%A 曹子宁？
%A 周航？
%A 刘亚萍？
%J 软件学报
%P 2738-2751
%D 2010
%X 使用lotos描述实时系统需求规约，通过建立lotos规约到uml-rt模型的模型转换，提出一种基于形式化规约生成软件体系结构模型的方法。最后，通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的uml-rt模型，能够从整体上提高实时系统软件体系结构设计的可信性。
%K 形式化规约
%K 软件体系结构
%K lotos
%K uml-rt
%K 实时系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3701&flag=1