基于UML的實時系統(tǒng)并行對象模型.pdf

1、本文針對實時系統(tǒng)中進程的特點，采用UML的擴展機制，提出了一種新的用于表示實時系統(tǒng)并發(fā)性的模型元素以及采用這些元素建立系統(tǒng)模型的方法。首先，根據(jù)UML的擴展機制在UML的語義中定義了幾種新的模型元素：用于表達系統(tǒng)中并行運行的對象的封裝體和用于描述封裝體對象間通信的協(xié)議。其中，封裝體代表系統(tǒng)中并行運行的基本單位，因此是一種特殊的主動對象。它有著區(qū)別于主動對象的語義和表示方法，而協(xié)議被定義為一種協(xié)作，端口是參與協(xié)作的主要角色，通過狀態(tài)機定義

2、了端口間消息收發(fā)的序列，并隱式地描述了封裝體對象之間的同步要求。其次，介紹了通過UML的標準建模機制，利用這些模型元素建立實時系統(tǒng)中并行對象模型的方法。最后，根據(jù)UML的擴展語義提出了構(gòu)造基于編程語言的描述實時系統(tǒng)并行對象的基礎(chǔ)類庫的方案，和采用基礎(chǔ)類庫建立實際系統(tǒng)中子類的方法。對封裝體和端口在基礎(chǔ)類庫中均給出了相應(yīng)的C++的類的定義。從而使得我們能夠利用這些元素在模型層建立關(guān)于一個具體的實時系統(tǒng)的并發(fā)性的形式化的UML模型，并可以利用