狀態轉換圖簡介

狀態轉換圖(簡稱為狀態圖)通過描繪系統的狀態及引起系統狀態轉換的事件,來表示系統的行為。此外,狀態圖還指明了作為特定事件的結果系統將做哪些動作。

(一)狀態

狀態是任何可以被觀察到的系統行為模式,一個狀態代表系統的一種行為模式。狀態規定了系統對事件的響應方式。

在狀態圖中定義的狀態主要有:初態(即初始狀態)、終態(即最終狀態)和中間狀態。在一張狀態圖中只能有一個初態,而終態則可以有0至多個。

狀態圖既可以表示系統循環運行過程,也可以表示系統單程生命期。

(二)事件

事件是在某個特定時刻發生的事情,它是對引起系統做動作或(和)從一個狀態轉換到另一個狀態的外界事件的抽象。

事件就是引起系統做動作或(和)轉換狀態的控制信息。

(三)符號

在狀態圖中,初態用實心圓表示,終態用一對同心圓(內圓為實心圓)表示。
中間狀態用圓角矩形表示,可以用兩條水平橫線把它分成上、中、下3個部分。上面部分為狀態的名稱,這部分是必須有的;中間部分為狀態變量的名字和值,這部分是可選的;下面部分是活動表,這部分也是可選的。

活動表的語法格式如下:
事件名(參數表)/動作表達式其中,“事件名”可以是任何事件的名稱。
在活動表中經常使用下述3種標準事件:entry, exit和do。entry事件指定進入該狀態的動作,exit事件指定退出該狀態的動作,而do事件則指定在該狀態下的動作。需要時可以為事件指定參數表。活動表中的動作表達式描述應做的具體動作。

狀態圖中兩個狀態之間帶箭頭的連線稱為狀態轉換,箭頭指明了轉換方向。狀態變遷通常是由事件觸發的,在這種情況下應在表示狀態轉換的箭頭線上標出觸發轉換的事件表達式;如果在箭頭線上未標明事件,則表示在源狀態的內部活動執行完之后自動觸發轉換。
事件表達式的語法如下:
事件說明[守衛條件]/動作表達式其中,事件說明的語法為:事件名(參數表)。




?(四) 簡例



本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/452584.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/452584.shtml
英文地址,請注明出處:http://en.pswp.cn/news/452584.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

C#常用單元測試框架比較:XUnit、NUnit和Visual Studio(MSTest)

做過單元測試的同學大概都知道以上幾種測試框架,但我一直很好奇它們到底有什么不同,然后搜到了一篇不錯的文章清楚地解釋了這幾種框架的最大不同之處。 地址在這里:http://www.tuicool.com/articles/F3eEn2j 簡而言之,三者是非常相…

實驗五 類和對象-3

1.ex3.cpp 1 #include <iostream>2 #include <vector>3 #include <string>4 using namespace std;5 6 // 函數聲明 7 void output1(vector<string> &); 8 void output2(vector<string> &); 9 10 int main() 11 { 12 vector<st…

Vector用法詳解

這篇文章的目的是為了介紹std::vector&#xff0c;如何恰當地使用它們的成員函數等操作。本文中還討論了條件函數和函數指針在迭代算法中使用&#xff0c;如在remove_if()和for_each()中的使用。通過閱讀這篇文章讀者應該能夠有效地使用vector容器&#xff0c;而且應該不會再去…

linux 共享移動硬盤,隨時登陸上QQ 自帶Linux移動硬盤實戰

在以往我們的觀念中&#xff0c;移動硬盤頂多就是個移動存儲設備&#xff0c;根本談不上有什么功能&#xff0c;但今天這款一盤通卻將我們原始的觀念打了一個180大轉彎&#xff01;如果你的電腦支持USB設備啟動&#xff0c;那么只需要在BIOS進行一下更改&#xff0c;一盤通就可…

需求分析的圖形工具(層次方框 warnier IPO)

1 層次方框圖 層次方框圖用樹形結構的一系列多層次的矩形框描繪數據的層次結構。 例如&#xff0c;描繪一家計算機公司全部產品的數據結構可以用下圖層次方框圖表示。 這家公司的產品由硬件、軟件和服務3類產品組成&#xff0c;軟件產品又分為系統軟件和應用軟件&#xf…

如何處理錯誤信息 Pricing procedure could not be determined

2019獨角獸企業重金招聘Python工程師標準>>> 當給一個SAP CRM Quotation文檔的行項目維護一個產品時&#xff0c;遇到如下錯誤信息&#xff1a;Pricing procedure could not be determined 通過調試得知錯誤消息在function module CRM_PRIDOC_COM_PRCPROC_DET_SEL第…

Flask愛家租房--訂單(下訂單)

文章目錄0 、效果展示1、思路總結2、后端代碼3、前端js4、前端html0 、效果展示 detail.html booking.html 1、思路總結 1&#xff09;用戶打開房屋詳情頁detail.html之后&#xff0c;后端detail.js會判斷此訪問用戶是否為房東&#xff0c;若不是房東&#xff0c;則在詳情…

linux下各權限的細分

PS&#xff1a;有時候你發現用root權限都不能修改某個文件&#xff0c;大部分原因是曾經用chattr命令鎖定該文件了。chattr命令的作用很大&#xff0c;其中一些功能是由Linux內核版本來支持的&#xff0c;不過現在生產絕大部分跑的linux系統都是2.6以上內核了。通過chattr命令修…

紅帽linux lnmp搭建,Linux(redhat5.4)下lnmp環境的搭建

在前面我們已經實現了lamp架構的創建&#xff0c;今天就讓我們來看一看lnmp架構是如何實現的。計劃的實驗步驟如下&#xff1a;1. 數據庫mysql的安裝2. Nginx的安裝&#xff0c;libevent(編譯庫代碼)的安裝&#xff0c;pcre的安裝3. Php的安裝4. 測試1. Mysql 的安裝//注意:小編…

為什么借助開源學習是最有效的?

導讀&#xff1a;盛大創新院高級研究員莊表偉近日編撰系列文章《借助開源項目&#xff0c;學習軟件開發》活動&#xff0c;引起業界關注。莊表偉認為&#xff0c;通過編撰這些文章&#xff0c;希望更多開發者能夠借助開源項目提高開發效率&#xff0c;減少重復勞動并從開源軟件…

redux middleware 源碼分析

原文鏈接 middleware 的由來 在業務中需要打印每一個 action 信息來調試&#xff0c;又或者希望 dispatch 或 reducer 擁有異步請求的功能。面對這些場景時&#xff0c;一個個修改 dispatch 或 reducer 代碼有些乏力&#xff0c;我們需要一個可組合的、自由增減的插件機制&…

Flsak愛家租房--訂單(獲取用戶訂單、用戶評論)

文章目錄0.頁面效果1.思路總結2.后端代碼3.前端js4.前端html0.頁面效果 1.思路總結 1&#xff09;用戶點擊“我的訂單”&#xff0c;js向后端獲取數據&#xff0c;并加載在前端的模板中&#xff1b; 2&#xff09;用戶點擊相應訂單的“去支付”按鈕&#xff0c;js向引導用戶…

【SCOI2005】【BZOJ1087】互不侵犯King(狀壓dp)

problem 在NN的棋盤里面放K個國王每個國王會攻擊它周圍的一圈共8個格子使他們互不攻擊&#xff0c;共有多少種擺放方案N < 9solution 用01串表示某一行放置的情況 首先枚舉當前做到第幾行&#xff0c;以及當前一共放了幾顆棋子。于是狀態f[i][j][k]表示到第i行&#xff0c;一…

軟件工程形式化技術簡介

形式化技術在軟件工程中有效的提高了開發的效率、改進了軟件開發的質量、減少了開發費用。形式化的技術容易在軟件的規約上取得一致性&#xff0c;它屬于一種非常有效的交流方式。 (一)非形式化的缺點 用自然語言書寫的系統規格說明書&#xff0c;可能存在矛盾、二義性、含糊性…

華為榮耀筆記本linux怎么下載軟件,華為magic book筆記本怎么下載軟件

大家好&#xff0c;我是時間財富網智能客服時間君&#xff0c;上述問題將由我為大家進行解答。華為magic book筆記本下載軟件的方法如下&#xff1a;1、首先&#xff0c;點擊桌面開始圖標&#xff0c;找到應用商店&#xff0c;并點擊。2、進入應用商店&#xff0c;點擊搜索欄&a…

國內外軟件開發上的差距與分析

提高自己&#xff0c;迎接好的未來。 在開始任何其他文字之前&#xff0c;首先有必要正視一個根本現實&#xff1a;國內外軟件開發的水平是有差距的。 這一結論的最直接證據是每一輪新技術的發起者基本上都是國外的人或公司&#xff1a; 從方法論&#xff08;CMMI&#xff0…

Flask愛家租房--訂單(房東接單、拒單)

文章目錄0.效果展示1.效果展示2.后端接口3.前端js4.前端html0.效果展示 1.效果展示 1&#xff09;當房東點擊“客戶訂單”&#xff0c;js向后端接口get_user_orders()獲取數據&#xff0c;訂單頁面開始加載&#xff1b; 2&#xff09;當房東確定接單時&#xff0c;js會向后端…

WebView性能優化--獨立進程

Android允許一個app同時存在多個進程&#xff0c;可以根據需要把不同的模塊放到不同進程中處理。 一、WebView獨立進程的好處 1.有效增大App的運存&#xff0c;減少由webview引起的內存泄露對主進程內存的占用。 2.避免WebView的Crash影響App主進程的運行。 3.擁有對WebView獨立…

linux修改python默認版本

linux修改python默認版本 update-alternatives --config pythonposted on 2018-05-24 22:42 psycheman 閱讀(...) 評論(...) 編輯 收藏 轉載于:https://www.cnblogs.com/psycheman/p/9085576.html