摘要:狀態機作為一種描述實體間交互或者單個實體行為的建模圖,它具有豐富的直觀圖形化的符號。在許多模型的設計階段都采用它來建模。但是因為缺乏精確完整的語義定義,給它的形式化驗證帶來困難。本文給出一種形式化操作語義,并概述基于形式化規則的驗證技術。
關鍵詞:狀態機;操作語義;建模;驗證技術
中圖分類號:TP331 文獻標識碼:A 文章編號:1009-3044(2008)13-20720-03
電腦知識與技術2008年13期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網