軟件工程(第3版)第14章-人民郵電出版社-在線瀏覽
2024-09-24 11:11本頁(yè)面
【正文】 S(d,e， f) S(d,e,f)：電梯 e停在 f層并且移動(dòng)方向由 d確定為向上 (d=U)或向下 (d=D)或待定(d=N) 這個(gè)謂詞實(shí)際上是一個(gè)狀態(tài)，形式化 使用謂詞 S(d,e,f)，形式化轉(zhuǎn)換規(guī)則 FBOFF(d,f)+FBP(d,f)+not S(d,1n,f)[JX*9]FBON(d,f) FBON(d,f)+EAF(1n,f)+S(d,1n,f)[JX*9]FBOFF(d,f) 其中， d=UorD 也就是說(shuō)，如果在 f層請(qǐng)求電梯向 d方向運(yùn)動(dòng)的樓層按鈕處于關(guān)閉狀態(tài)，現(xiàn)在該按鈕被按下，并且當(dāng)時(shí)沒(méi)有正停在 f層準(zhǔn)備向 d方向移動(dòng)的電梯，則該樓層按鈕打開(kāi)。現(xiàn)在轉(zhuǎn)向討論電梯的狀態(tài)及其轉(zhuǎn)換規(guī)則，就會(huì)出現(xiàn)一些復(fù)雜的情況。 其中 S(d,e,f)狀態(tài)已在討論樓層按鈕時(shí)定義過(guò)，但是，現(xiàn)在的定義更完備一些。注意，三個(gè)電梯停止?fàn)顟B(tài) S(U,e,f)、 S(N， e,f)和S(D， e,f)已被組合成一個(gè)大的狀態(tài)，這樣做的目的是減少狀態(tài)總數(shù)以簡(jiǎn)化流圖。 RL：電梯按鈕或樓層按鈕被按下進(jìn)入 最后，給出電梯的狀態(tài)轉(zhuǎn)換規(guī)則。第二條和第三條規(guī)則，分別對(duì)應(yīng)于電梯即將下降或者沒(méi)有待處理的請(qǐng)求的情況。事實(shí)上，可以開(kāi)發(fā)一個(gè)CASE工具把一個(gè)有窮狀態(tài)機(jī)規(guī)格說(shuō)明直接轉(zhuǎn)變?yōu)樵创a。不過(guò)，它也有缺點(diǎn)：在開(kāi)發(fā)一個(gè)大系統(tǒng)時(shí)三元組 (即狀態(tài)、事件、謂詞 )的數(shù)量會(huì)迅速增長(zhǎng)。下節(jié)將介紹的 Petri網(wǎng)技術(shù)，是一種可處理定時(shí)問(wèn)題的 Petri網(wǎng) Petri網(wǎng)包含 4種元素：一組位置 P、一組轉(zhuǎn)換 T、輸入函數(shù) I以及輸出函數(shù) O。 一組位置 P為｛ P1， P2， P3， P4｝，在 一組轉(zhuǎn)換 T為｛ t1， t2｝，在圖中用 圖 Petri網(wǎng)的組成 兩個(gè)用于轉(zhuǎn)換的輸入函數(shù)，用由位置 I(t1)=｛ P2,P4 I(t2)=｛ P2 兩個(gè)用于轉(zhuǎn)換的輸出函數(shù)，用由轉(zhuǎn)換 O(t1)=｛ P1 O(t2)=｛ P3， P3 注意，輸出函數(shù) O(t2)中有兩個(gè) P3，是因?yàn)橛袃蓚€(gè)箭頭由 t2指向 P3 更形式化的 Petri網(wǎng)結(jié)構(gòu)，是一個(gè)四元組 C=(P,T,I,O) P=｛ P1， ……,Pn｝是一個(gè)有窮位置集，n≥0 T=｛ t1,……,tm｝是一個(gè)有窮轉(zhuǎn)換集， m≥0 ，且 T和 P I： T→P ∞ 為輸入函數(shù)，是由轉(zhuǎn)換到位置無(wú)序單位組 (bags) O： T→P ∞ 為輸出函數(shù)，是由轉(zhuǎn)換到位 一個(gè)無(wú)序單位組或多重組是允許一個(gè) Petri網(wǎng)的標(biāo)記是在 Petri網(wǎng)中令牌(token)的分配。上述標(biāo)記可以用向量 (1， 2， 0， 1)表示。 通常，當(dāng)每個(gè)輸入位置所擁有的令牌數(shù)等于從該位置到轉(zhuǎn)換的線數(shù)時(shí)，就允許轉(zhuǎn)換。 Petri網(wǎng)中令牌總數(shù)不 是固定的，在這個(gè)例子中兩個(gè)令牌被移出，而 P1上只能增加一個(gè)令牌。當(dāng) t2被激發(fā)時(shí)， P2上將移走一個(gè)令牌，而 P3上新增加兩個(gè)令牌。 圖 Petri網(wǎng)的標(biāo)記為 (1， 2， 0，1)， t1和 t2都可以被激發(fā)。 此時(shí)，只有 t2可以被激發(fā)。 圖 帶標(biāo)記的 Petri網(wǎng) 圖 圖 Petri網(wǎng)在轉(zhuǎn)換 t1被激發(fā)后的情況 圖 圖 Petri網(wǎng)在轉(zhuǎn)換 t2被激發(fā)后的情況 更形式化地說(shuō)， Petri網(wǎng) C=(P,T,I,O)中的標(biāo)記 M，是由一組位置 P到一組非負(fù)整數(shù) M： P→ ｛ 0， 1， 2， …… 這樣，帶有標(biāo)記的 Petri網(wǎng)成為一個(gè)五元組 (P， T， I， O， M)。如圖 ，禁止線是用一個(gè)小圓圈而不是用箭頭標(biāo)記的輸入線。在圖 ， P3上有一個(gè)令牌而 P2上沒(méi)有令牌，因此轉(zhuǎn)換 t1可以被激發(fā)。當(dāng)用 Petri網(wǎng)表示電梯系統(tǒng)的規(guī)格說(shuō)明時(shí)，每個(gè)樓層用一個(gè)位置 Ff代表(1≤f≤m) ，在 Petri網(wǎng)中電梯是用一個(gè)令牌代表的。電梯中樓層 f的按鈕，在 Petri網(wǎng)中用位置EBf表示 (1≤f≤m) 。圖 Petri網(wǎng)準(zhǔn)確地描述了電梯按鈕的行為規(guī)律。 假設(shè)現(xiàn)在按下按鈕，則轉(zhuǎn)換被激
化學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1