电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2008年
13期
720-722
,共3页
状态机%操作语义%建模%验证技术
狀態機%操作語義%建模%驗證技術
상태궤%조작어의%건모%험증기술
状态机作为一种描述实体问交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号.在许多模型的设计阶段都采用它来建模.但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难.本文给出一种形式化操作语义.并概述基于形式化规则的验证技术.
狀態機作為一種描述實體問交互或者單箇實體行為的建模圖,它具有豐富的直觀圖形化的符號.在許多模型的設計階段都採用它來建模.但是因為缺乏精確完整的語義定義,給它的形式化驗證帶來睏難.本文給齣一種形式化操作語義.併概述基于形式化規則的驗證技術.
상태궤작위일충묘술실체문교호혹자단개실체행위적건모도,타구유봉부적직관도형화적부호.재허다모형적설계계단도채용타래건모.단시인위결핍정학완정적어의정의,급타적형식화험증대래곤난.본문급출일충형식화조작어의.병개술기우형식화규칙적험증기술.
