软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
11期
2738-2751
,共14页
祝义%黄志球%曹子宁%周航%刘亚萍
祝義%黃誌毬%曹子寧%週航%劉亞萍
축의%황지구%조자저%주항%류아평
形式化规约%软件体系结构%LOTOS%UML-RT%实时系统
形式化規約%軟件體繫結構%LOTOS%UML-RT%實時繫統
형식화규약%연건체계결구%LOTOS%UML-RT%실시계통
使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性.
使用LOTOS描述實時繫統需求規約,通過建立LOTOS規約到UML-RT模型的模型轉換,提齣一種基于形式化規約生成軟件體繫結構模型的方法.最後,通過一箇實例來說明如何將該方法應用于實時軟件建模.利用這種方法建立的UML-RT模型,能夠從整體上提高實時繫統軟件體繫結構設計的可信性.
사용LOTOS묘술실시계통수구규약,통과건립LOTOS규약도UML-RT모형적모형전환,제출일충기우형식화규약생성연건체계결구모형적방법.최후,통과일개실례래설명여하장해방법응용우실시연건건모.이용저충방법건립적UML-RT모형,능구종정체상제고실시계통연건체계결구설계적가신성.
