專利名稱：一種基于uml和pn的天車調(diào)度系統(tǒng)建模方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種用于人工智能中，對(duì)分布式控制中復(fù)雜系統(tǒng)建模的一種方法，尤 其涉及對(duì)復(fù)雜系統(tǒng)中基于UML和PN的天車調(diào)度系統(tǒng)建模與設(shè)計(jì)方法。
背景技術(shù)：
基于UML建模方法存在一些問題從而限制了其在面向?qū)ο蠹夹g(shù)中的進(jìn)一步應(yīng)用， 其主要表現(xiàn)在
(1)在面向?qū)ο蠹夹g(shù)中，UML是半形式化建模語言，其形式化表達(dá)不強(qiáng)。
(2)UML對(duì)系統(tǒng)的定義容易產(chǎn)生模糊和二義性。發(fā)明內(nèi)容
本發(fā)明針對(duì)現(xiàn)有技術(shù)不足，提供一種基于UML和PN的天車調(diào)度系統(tǒng)建模方法，即 基于UML(Unified Modeling Language)和PN(Petri Nets)的天車調(diào)度系統(tǒng)建模方法。
為實(shí)現(xiàn)以上目的，本發(fā)明基于UML和PN的天車調(diào)度系統(tǒng)建模方法采用的技術(shù)方案 是
該方法采用UML和PN相結(jié)合的方法，實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的建模，建立模型步驟 為
第一步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的需求建模，需求建模需要對(duì)用戶需求做 深入細(xì)致的了解，力求對(duì)用戶需求實(shí)現(xiàn)全面準(zhǔn)確的把握，通過用例圖可以分析系統(tǒng)的內(nèi)部 功能和外界環(huán)境，從而確定系統(tǒng)邊界；
第二步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的靜態(tài)建模，靜態(tài)建模包括通過類圖，對(duì)象 圖，包圖等表達(dá)系統(tǒng)靜態(tài)特性；
第三步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的動(dòng)態(tài)建模，動(dòng)態(tài)建模包括通過時(shí)序圖，交 互圖，活動(dòng)圖，狀態(tài)圖等表達(dá)系統(tǒng)動(dòng)態(tài)特性；
第四步，利用PN建立天車調(diào)度系統(tǒng)的PN模型，并利用PN分析方法和工具對(duì)天車 調(diào)度系統(tǒng)PN模型進(jìn)行分析，改進(jìn)和優(yōu)化UML對(duì)天車調(diào)度系統(tǒng)的設(shè)計(jì)，使系統(tǒng)能真正的反映 用戶的需求，滿足天車調(diào)度的要求。
天車調(diào)度系統(tǒng)需求模型的建立，是解決軟件需求階段的問題，通過和客戶的交流， 分析、理解、整理、合并用戶的需求，在理解需求的基礎(chǔ)上，繪制出系統(tǒng)的藍(lán)圖，統(tǒng)一認(rèn)識(shí)。
系統(tǒng)靜態(tài)模型的建立，是在需求模型建立的基礎(chǔ)上，通過用例圖來分辨系統(tǒng)的參 與者和用例，確定系統(tǒng)的邊界，通過類圖來分析和描述現(xiàn)實(shí)世界中各種事物之間的關(guān)系。
系統(tǒng)動(dòng)態(tài)模型的建立，是在靜態(tài)模型建立的基礎(chǔ)上，描述系統(tǒng)的動(dòng)態(tài)行為，顯示對(duì) 象在系統(tǒng)運(yùn)行期間不同時(shí)刻的動(dòng)態(tài)交互。
天車調(diào)度系統(tǒng)的底層使用面向?qū)ο蟪绦蛟O(shè)計(jì)語言Java實(shí)現(xiàn)。
天車調(diào)度系統(tǒng)來說，包括以下三個(gè)用例天車控制器，天車，數(shù)據(jù)收集分析器。
天車控制器用例的功能是接收生產(chǎn)訂單，根據(jù)產(chǎn)品規(guī)范和工藝要求確定適當(dāng)?shù)奶燔囋O(shè)備，排出澆次計(jì)劃和爐次計(jì)劃中天車的運(yùn)行軌跡；天車用例負(fù)責(zé)保證設(shè)備和相關(guān)資源 符合生產(chǎn)的要求，并按照生產(chǎn)指令要求時(shí)間下發(fā)到具體設(shè)備，對(duì)于生產(chǎn)中的異常情況，本用 例識(shí)別出現(xiàn)的問題，采用適當(dāng)措施重新進(jìn)行調(diào)度，調(diào)整的情況要向天車用例匯報(bào)，請(qǐng)求更新 生產(chǎn)計(jì)劃；數(shù)據(jù)收集分析器用例的功能是監(jiān)測生產(chǎn)系統(tǒng)的設(shè)備狀況，以及收集和分析生產(chǎn) 信息，為生產(chǎn)和系統(tǒng)優(yōu)化提供支持。
天車調(diào)度系統(tǒng)的外部環(huán)境包括運(yùn)輸滿鋼包臺(tái)車，操作員，連鑄機(jī)，運(yùn)輸空鋼包臺(tái) 車。
該方法應(yīng)用于鋼廠天車調(diào)度系統(tǒng)。
鋼廠天車負(fù)責(zé)精煉爐到連鑄機(jī)之間的運(yùn)輸、搬運(yùn)，裝卸等任務(wù)，其連接上游精煉爐 鋼水，有些不需要精煉工序的則為轉(zhuǎn)爐來的鋼水，下游為連鑄機(jī)，天車的任務(wù)是把來自精煉 爐或轉(zhuǎn)爐的鋼水吊運(yùn)到連鑄機(jī)，把連鑄機(jī)的空鋼包吊運(yùn)到臺(tái)車，臺(tái)車返回維修點(diǎn)對(duì)鋼包維 修。
天車調(diào)度系統(tǒng)需求模型的建立，是解決軟件需求階段的問題，通過和客戶的交流， 分析、理解、整理、合并用戶的需求，在理解需求的基礎(chǔ)上，繪制出系統(tǒng)的藍(lán)圖，統(tǒng)一認(rèn)識(shí)。系 統(tǒng)靜態(tài)模型的建立，是在需求模型建立的基礎(chǔ)上，通過用例圖來分辨系統(tǒng)的參與者和用例， 確定系統(tǒng)的邊界，通過類圖來分析和描述現(xiàn)實(shí)世界中各種事物之間的關(guān)系。系統(tǒng)動(dòng)態(tài)模型 的建立，是在靜態(tài)模型建立的基礎(chǔ)上，描述系統(tǒng)的動(dòng)態(tài)行為，顯示對(duì)象在系統(tǒng)運(yùn)行期間不同 時(shí)刻的動(dòng)態(tài)交互。天車調(diào)度系統(tǒng)的底層使用面向?qū)ο蟪绦蛟O(shè)計(jì)語言Java實(shí)現(xiàn)。該方法應(yīng) 用于鋼廠天車調(diào)度系統(tǒng)。鋼廠的天車負(fù)責(zé)精煉爐到連鑄機(jī)之間的運(yùn)輸、搬運(yùn)，裝卸等任務(wù)， 其連接上游精煉爐鋼水，有些不需要精煉工序的則為轉(zhuǎn)爐來的鋼水，下游為連鑄機(jī)，天車的 任務(wù)是把來自精煉爐或轉(zhuǎn)爐的鋼水吊運(yùn)到連鑄機(jī)，把連鑄機(jī)的空鋼包吊運(yùn)到臺(tái)車，臺(tái)車返 回維修點(diǎn)對(duì)鋼包維修。
PN是形式化建模語言，利用PN對(duì)UML建模的模型進(jìn)行分析驗(yàn)證，可以有效發(fā)現(xiàn) UML模型的設(shè)計(jì)缺陷和表達(dá)不準(zhǔn)確的地方，實(shí)現(xiàn)對(duì)系統(tǒng)模型的驗(yàn)證和分析，有利于模型的修 改和完善，避免UML語言本身缺陷所帶來的問題。
本發(fā)明專利基于UML和PN的天車調(diào)度系統(tǒng)建模方法的優(yōu)點(diǎn)在于⑴利用面向?qū)?象建模語言UML對(duì)天車調(diào)度系統(tǒng)建模，可以增強(qiáng)系統(tǒng)的擴(kuò)展性、通用性和移植性；(2)把PN 和UML結(jié)合，能有效避免UML半形式化語言給系統(tǒng)設(shè)計(jì)帶來的模糊和二義性。


下面結(jié)合附圖以實(shí)例進(jìn)一步說明本發(fā)明的實(shí)質(zhì)內(nèi)容，但本發(fā)明的內(nèi)容并不限于 此。
圖1為本發(fā)明專利天車調(diào)度系統(tǒng)用例圖。
圖2為本發(fā)明專利天車執(zhí)行一次任務(wù)活動(dòng)圖。
圖3為本發(fā)明專利天車調(diào)度系統(tǒng)交互圖。
圖4為本發(fā)明專利天車調(diào)度系統(tǒng)活動(dòng)圖。
圖5為本發(fā)明專利天車調(diào)度系統(tǒng)PN模型圖。
圖6為本發(fā)明專利天車調(diào)度系統(tǒng)類圖。
具體實(shí)施方式
第一步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的需求建模，需求建模需要對(duì)用戶需求做 深入細(xì)致的了解，力求對(duì)用戶需求實(shí)現(xiàn)全面準(zhǔn)確的把握，本發(fā)明通過用例圖實(shí)現(xiàn)對(duì)天車調(diào) 度系統(tǒng)環(huán)境和邊界的確定；
第二步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的靜態(tài)建模，靜態(tài)建模包括通過類圖，對(duì)象 圖，包圖等表達(dá)系統(tǒng)靜態(tài)特性，本發(fā)明通過類圖實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)靜態(tài)模型建模并表達(dá) 系統(tǒng)靜態(tài)結(jié)構(gòu)關(guān)系；
第三步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的動(dòng)態(tài)建模，動(dòng)態(tài)建模包括通過時(shí)序圖，交 互圖，活動(dòng)圖，狀態(tài)圖等表達(dá)系統(tǒng)動(dòng)態(tài)特性，本發(fā)明通過交互圖實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)動(dòng)態(tài)建 模并表達(dá)現(xiàn)實(shí)中對(duì)象在系統(tǒng)運(yùn)行期間不同時(shí)刻的動(dòng)態(tài)特征；
第四步，利用PN建立天車調(diào)度系統(tǒng)的PN模型，并利用PN分析方法和工具對(duì)天車 調(diào)度系統(tǒng)PN模型進(jìn)行分析，改進(jìn)和優(yōu)化UML對(duì)天車調(diào)度系統(tǒng)的設(shè)計(jì)，使系統(tǒng)能真正的反映 用戶的需求，滿足天車調(diào)度的要求。
實(shí)施例1 如圖1所示使用基于UML和PN的天車調(diào)度系統(tǒng)建模方法，對(duì)于天車調(diào) 度系統(tǒng)來說，主要包括以下三個(gè)用例天車控制器，天車，數(shù)據(jù)收集分析器。
(1)天車控制器用例的功能是接收生產(chǎn)訂單，根據(jù)產(chǎn)品規(guī)范和工藝要求確定適當(dāng) 的天車設(shè)備，排出澆次計(jì)劃和爐次計(jì)劃中天車的運(yùn)行軌跡。
(2)天車用例負(fù)責(zé)保證設(shè)備和相關(guān)資源符合生產(chǎn)的要求，并按照生產(chǎn)指令要求時(shí) 間下發(fā)到具體設(shè)備，對(duì)于生產(chǎn)中的異常情況，本用例識(shí)別出現(xiàn)的問題，采用適當(dāng)措施重新進(jìn) 行調(diào)度，調(diào)整的情況要向天車控制器用例匯報(bào)，請(qǐng)求更新生產(chǎn)計(jì)劃。
(3)數(shù)據(jù)收集分析器用例的功能是監(jiān)測生產(chǎn)系統(tǒng)的設(shè)備狀況，以及收集和分析生 產(chǎn)信息，為生產(chǎn)和系統(tǒng)優(yōu)化提供支持。
天車調(diào)度系統(tǒng)的外部環(huán)境包括運(yùn)輸滿鋼包臺(tái)車，操作員，連鑄機(jī)，運(yùn)輸空鋼包臺(tái) 車。
運(yùn)輸滿鋼包臺(tái)車臺(tái)車把鋼包運(yùn)輸?shù)教燔嚳?，包括等待轉(zhuǎn)爐倒鋼水入鋼包，鋼水脫 硫和扒渣處理等工序。
操作員實(shí)現(xiàn)天車調(diào)度系統(tǒng)的管理和維護(hù)等。
連鑄機(jī)接收天車吊運(yùn)過來的鋼包，實(shí)現(xiàn)鋼水澆注，包括轉(zhuǎn)臺(tái)旋轉(zhuǎn)，鋼水澆注等工序。
運(yùn)輸空鋼包臺(tái)車接收天車吊運(yùn)過來的空鋼包，實(shí)現(xiàn)運(yùn)輸空鋼包到維修點(diǎn)處理。
如圖6所示，由天車調(diào)度系統(tǒng)用例圖可以建立系統(tǒng)對(duì)應(yīng)的類圖
天車控制器類，天車類，數(shù)據(jù)收集分析類構(gòu)成系統(tǒng)的主類，根據(jù)天車調(diào)度系統(tǒng)的外 部環(huán)境，構(gòu)建如下連鑄機(jī)類，運(yùn)輸滿鋼包臺(tái)車類，運(yùn)輸空鋼包臺(tái)車類，實(shí)現(xiàn)天車調(diào)度系統(tǒng)和 外部環(huán)境的交互。天車調(diào)度系統(tǒng)的主要處理對(duì)象是鋼包，所以系統(tǒng)引入一個(gè)鋼包類，為表示 天車的任務(wù)，定義一個(gè)任務(wù)類，并定義一個(gè)擴(kuò)展類任務(wù)代碼表示任務(wù)的種類。天車調(diào)度系 統(tǒng)中，任務(wù)的完成主要依靠天車的移動(dòng)實(shí)現(xiàn)，為更好的表達(dá)天車的位置，反映天車的運(yùn)動(dòng)軌 跡，系統(tǒng)中通過移動(dòng)類來表達(dá)。
如圖3所示，當(dāng)天車調(diào)度系統(tǒng)執(zhí)行一次調(diào)度任務(wù)時(shí)，其對(duì)象間協(xié)作關(guān)系為
1)當(dāng)轉(zhuǎn)爐把鋼水倒入鋼包后，臺(tái)車運(yùn)輸鋼包到精煉爐，經(jīng)過精煉處理后，臺(tái)車運(yùn)輸鋼包到達(dá)天車跨，運(yùn)輸滿鋼包臺(tái)車實(shí)例發(fā)送任務(wù)到達(dá)消息給天車控制器實(shí)例，天車控制器 實(shí)例執(zhí)行添加任務(wù)函數(shù)并使任務(wù)數(shù)增加；
2)天車控制器實(shí)例根據(jù)任務(wù)，掃描天車當(dāng)前狀態(tài)，在空閑天車中查找合適的天車， 執(zhí)行
1. 1 查找天車函數(shù)(f indCrane ())，找到則選定天車；
3)當(dāng)找到天車時(shí)，執(zhí)行3. 1)，否則跳到4)；
3. 1)天車控制器實(shí)例分析任務(wù)目的地
3. 1. 1)如果目的地為連鑄機(jī)，則調(diào)用查找連鑄機(jī)(findCCMO)函數(shù)，查找合適的 連鑄機(jī)，如果找到，返回連鑄機(jī)的編號(hào)和位置，執(zhí)行3. 1. 1. 1)，否則跳到4)；
3. 1. 1. 1)發(fā)送FOUND消息，對(duì)狀態(tài)表函數(shù)(statechart ())進(jìn)行點(diǎn)火，調(diào)用移動(dòng) (MoveTo ())函數(shù)；
3. 1. 2)如果目的地為運(yùn)送空罐的臺(tái)車，則調(diào)用查找運(yùn)輸空鋼包(findOTO)函數(shù)， 查找合適的臺(tái)車，如果找到，返回臺(tái)車的編號(hào)和位置，執(zhí)行3. 1.2. 1)，否則跳到4)；
3. 1. 2. 1)發(fā)送FOUND消息，對(duì)1. 5 狀態(tài)表函數(shù)(statechart ())進(jìn)行點(diǎn)火，調(diào)用移 動(dòng)(MoveToO)函數(shù)；
3. 1. 3)如果目的地為某個(gè)坐標(biāo)，則返回坐標(biāo)值，調(diào)用移動(dòng)(MoveTo ())函數(shù)；
4)在任務(wù)單中查詢下一個(gè)任務(wù)執(zhí)行
圖4中顯示了天車調(diào)度系統(tǒng)如何根據(jù)任務(wù)尋找滿足條件的天車，在天車滿足系統(tǒng) 的情況下，如何根據(jù)任務(wù)目的地的不同選擇連鑄機(jī)和臺(tái)車的一系列活動(dòng)情況。
圖5顯示天車實(shí)例執(zhí)行一次運(yùn)輸任務(wù)的活動(dòng)圖，其過程可以描述為
While (get (New-Task)) {//當(dāng)天車接收到新的任務(wù)時(shí)，天車首先向任
//源A移動(dòng)為節(jié)省移動(dòng)時(shí)間，把移動(dòng)分解為兩步
MoveTo (fStMoveToTargetl) ；//計(jì)算天車橫向和縱向移動(dòng)到目的地
//A最小時(shí)間，按照這個(gè)時(shí)間天車橫向和縱向所到達(dá)的坐
//標(biāo)就是第一次移動(dòng)的目的地B
MoveTo (sndMoveToTargetl) ；//然后從B沿縱向或橫向移動(dòng)到A
If (taskCode = = TaskCode. T0_CCM | | taskCode = = TaskCode. T0_TRANSCAR)
{
LoadO;//裝載鋼包
Init_loadStarttime () ；//計(jì)算開始裝載時(shí)間
Init_loadTimeouttime () ；//計(jì)算裝載時(shí)間
MoveTo (fstMoveToTarget2) ；//鋼包裝載結(jié)束后，同樣分兩步移
Il動(dòng)到目的C，首先天車移動(dòng)到目的D，D和B的求法相同
MoveTo (sndMoveToTarget2) ；// 天車從 D 移動(dòng)到 C
UnloadO;//卸載
Init_unloadStarttime () ；//記錄開始卸載時(shí)間
Init_unloadTimeouttime () ；//記錄卸載時(shí)間
}
}
如圖2所示，通過對(duì)天車調(diào)度系統(tǒng)用例圖和系統(tǒng)靜態(tài)模型和動(dòng)態(tài)模型分析，可以 建立天車調(diào)度系統(tǒng)PN結(jié)構(gòu)。MPO 任務(wù)到達(dá)消息；MPl 任務(wù)類別顏色消息；Tl 查找天車； Pl 天車找到；T2 查找連鑄機(jī)；T3 查找返回空罐臺(tái)車；P2 連鑄機(jī)找到；P3 臺(tái)車找到； T4 天車、連鑄機(jī)、臺(tái)車初始化；P4 天車就緒；T5 天車橫向移動(dòng)；T6 天車縱向移動(dòng)；P5 天 車到達(dá)預(yù)定位置；T7 天車?yán)^續(xù)向原目的地移動(dòng)；P6 天車到達(dá)源目的；T8 吊起鋼包；P7 鋼包吊起就緒；T9 天車縱向移動(dòng)；TlO 天車橫向移動(dòng)；P8 天車到達(dá)預(yù)定位置；Tll 天車 橫向或縱向移動(dòng)；P9 天車到達(dá)目的地；T12 鋼包下放；PlO 鋼包就緒；MP2 天車空閑消息
利用PN分析工具可以對(duì)天車調(diào)度系統(tǒng)PN模型進(jìn)行分析，通過分析其靜態(tài)結(jié)構(gòu)和 動(dòng)態(tài)特性，可以反映出UML對(duì)天車調(diào)度系統(tǒng)建模的正確性和有效性，以PN分析為指導(dǎo)，對(duì) UML模型不斷修改和完善，使所開發(fā)系統(tǒng)能正確表達(dá)用戶的需求。
權(quán)利要求
1.一種基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于該方法采用UML和PN相 結(jié)合的方法，實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的建模，建立模型步驟為第一步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的需求建模，需求建模需要對(duì)用戶需求做深入 細(xì)致的了解，力求對(duì)用戶需求實(shí)現(xiàn)全面準(zhǔn)確的把握，通過用例圖可以分析系統(tǒng)的內(nèi)部功能 和外界環(huán)境，從而確定系統(tǒng)邊界；第二步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的靜態(tài)建模，靜態(tài)建模包括通過類圖，對(duì)象圖， 包圖等表達(dá)系統(tǒng)靜態(tài)特性；第三步，利用UML實(shí)現(xiàn)對(duì)天車調(diào)度系統(tǒng)的動(dòng)態(tài)建模，動(dòng)態(tài)建模包括通過時(shí)序圖，交互 圖，活動(dòng)圖，狀態(tài)圖等表達(dá)系統(tǒng)動(dòng)態(tài)特性；第四步，利用PN建立天車調(diào)度系統(tǒng)的PN模型，并利用PN分析方法和工具對(duì)天車調(diào)度 系統(tǒng)PN模型進(jìn)行分析，改進(jìn)和優(yōu)化UML對(duì)天車調(diào)度系統(tǒng)的設(shè)計(jì)，使系統(tǒng)能真正的反映用戶 的需求，滿足天車調(diào)度的要求。
2.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于天車 調(diào)度系統(tǒng)需求模型的建立，是解決軟件需求階段的問題，通過和客戶的交流，分析、理解、整 理、合并用戶的需求，在理解需求的基礎(chǔ)上，繪制出系統(tǒng)的藍(lán)圖，統(tǒng)一認(rèn)識(shí)。
3.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于系統(tǒng) 靜態(tài)模型的建立，是在需求模型建立的基礎(chǔ)上，通過用例圖來分辨系統(tǒng)的參與者和用例，確 定系統(tǒng)的邊界，通過類圖來分析和描述現(xiàn)實(shí)世界中各種事物之間的關(guān)系。
4.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于系統(tǒng) 動(dòng)態(tài)模型的建立，是在靜態(tài)模型建立的基礎(chǔ)上，描述系統(tǒng)的動(dòng)態(tài)行為，顯示對(duì)象在系統(tǒng)運(yùn)行 期間不同時(shí)刻的動(dòng)態(tài)交互。
5.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于天車 調(diào)度系統(tǒng)的底層使用面向?qū)ο蟪绦蛟O(shè)計(jì)語言Java實(shí)現(xiàn)。
6.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于天車 調(diào)度系統(tǒng)來說，包括以下三個(gè)用例天車控制器，天車，數(shù)據(jù)收集分析器。
7.根據(jù)權(quán)利要求6所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于天車 控制器用例的功能是接收生產(chǎn)訂單，根據(jù)產(chǎn)品規(guī)范和工藝要求確定適當(dāng)?shù)奶燔囋O(shè)備，排出 澆次計(jì)劃和爐次計(jì)劃中天車的運(yùn)行軌跡；天車用例負(fù)責(zé)保證設(shè)備和相關(guān)資源符合生產(chǎn)的要 求，并按照生產(chǎn)指令要求時(shí)間下發(fā)到具體設(shè)備，對(duì)于生產(chǎn)中的異常情況，本用例識(shí)別出現(xiàn)的 問題，采用適當(dāng)措施重新進(jìn)行調(diào)度，調(diào)整的情況要向天車用例匯報(bào)，請(qǐng)求更新生產(chǎn)計(jì)劃；數(shù) 據(jù)收集分析器用例的功能是監(jiān)測生產(chǎn)系統(tǒng)的設(shè)備狀況，以及收集和分析生產(chǎn)信息，為生產(chǎn) 和系統(tǒng)優(yōu)化提供支持。
8.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于天車 調(diào)度系統(tǒng)的外部環(huán)境包括運(yùn)輸滿鋼包臺(tái)車，操作員，連鑄機(jī)，運(yùn)輸空鋼包臺(tái)車。
9.根據(jù)權(quán)利要求1所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于該方 法應(yīng)用于鋼廠天車調(diào)度系統(tǒng)。
10.如權(quán)利要求9所述的基于UML和PN的天車調(diào)度系統(tǒng)建模方法，其特征在于鋼廠 天車負(fù)責(zé)精煉爐到連鑄機(jī)之間的運(yùn)輸、搬運(yùn)，裝卸等任務(wù)，其連接上游精煉爐鋼水，有些不 需要精煉工序的則為轉(zhuǎn)爐來的鋼水，下游為連鑄機(jī)，天車的任務(wù)是把來自精煉爐或轉(zhuǎn)爐的鋼水吊運(yùn)到連鑄機(jī)，把連鑄機(jī)的空鋼包吊運(yùn)到臺(tái)車，臺(tái)車返回維修點(diǎn)對(duì)鋼包維修。
全文摘要
本發(fā)明是公開了一種基于UML和PN的天車調(diào)度系統(tǒng)建模方法。建立模型步驟為第一步，利用UML建立天車調(diào)度系統(tǒng)的需求模型；第二步，利用UML建立天車調(diào)度系統(tǒng)的靜態(tài)模型；第三步，利用UML建立天車調(diào)度系統(tǒng)的動(dòng)態(tài)模型；第四步，利用PN實(shí)現(xiàn)對(duì)UML天車調(diào)度系統(tǒng)模型的PN建模，并分析和驗(yàn)證天車調(diào)度系統(tǒng)PN模型的靜態(tài)和動(dòng)態(tài)特性，以指導(dǎo)和完善天車調(diào)度系統(tǒng)UML模型。本發(fā)明與基于UML建模方法相比，能夠避免由于UML建模語言形式化表達(dá)不強(qiáng)和對(duì)系統(tǒng)定義易產(chǎn)生模糊和二義性，利用PN工具實(shí)現(xiàn)系統(tǒng)PN模型的靜態(tài)和動(dòng)態(tài)分析，從而有效實(shí)現(xiàn)對(duì)UML語言建模過程的指導(dǎo)作用。
文檔編號(hào)G06F17/50GK102033986SQ201010559560
公開日2011年4月27日 申請(qǐng)日期2010年11月25日 優(yōu)先權(quán)日2010年11月25日
發(fā)明者朱道飛, 畢貴紅, 王 華, 趙業(yè)清 申請(qǐng)人:昆明理工大學(xué)