计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
9期
62-64,115
,共4页
嵌入式软件%场景%统一建模语言(UML)顺序图%消息传递自动机
嵌入式軟件%場景%統一建模語言(UML)順序圖%消息傳遞自動機
감입식연건%장경%통일건모어언(UML)순서도%소식전체자동궤
embedded software%scenario%Unified Modeling Language(UML)sequence diagram%message passing automata
UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言.通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT(Timed Sequence Diagram Template),用来建立嵌入式软件基于场景的需求规约模型.对消息传递自动机进行实时扩展,得到时间消息传递自动机TMPA(Timed Message Passing Automata),TMPA以自动机的形式刻画了所建立的需求规约模型,为在需求阶段验证所建立的模型是否满足用户需求奠定了基础.
UML順序圖是一種常用的在軟件開髮早期階段用來描述繫統基于場景的需求規約的一種可視化建模語言.通過在UML順序圖中加入帶時間區間標誌的時間約束,得到時間順序圖模闆TSDT(Timed Sequence Diagram Template),用來建立嵌入式軟件基于場景的需求規約模型.對消息傳遞自動機進行實時擴展,得到時間消息傳遞自動機TMPA(Timed Message Passing Automata),TMPA以自動機的形式刻畫瞭所建立的需求規約模型,為在需求階段驗證所建立的模型是否滿足用戶需求奠定瞭基礎.
UML순서도시일충상용적재연건개발조기계단용래묘술계통기우장경적수구규약적일충가시화건모어언.통과재UML순서도중가입대시간구간표지적시간약속,득도시간순서도모판TSDT(Timed Sequence Diagram Template),용래건립감입식연건기우장경적수구규약모형.대소식전체자동궤진행실시확전,득도시간소식전체자동궤TMPA(Timed Message Passing Automata),TMPA이자동궤적형식각화료소건립적수구규약모형,위재수구계단험증소건립적모형시부만족용호수구전정료기출.
For embedded software systems,UML sequence diagram is a visual formalism widely used to capture scenario-based system requirements during the early design stages.The scenario-based specifications of embedded software are specified by timed sequence diagram template which is a UML sequence diagram extended with a set of time interval constraints,and then message passing automata is extended with timing constraints,which is an automata-theoretic characterization of the embedded software.
