Event—B语言的建模  

Modeling in Event-B

作　　者：琼-雷蒙德·阿布里亚尔 

出　　处：《国外科技新书评介》2011年第2期15-16,共2页Scientific & Technology Book Review

摘　　要：在Event-B中进行形式开发的一个基本概念就是模型的概念。一个模型包含了一个离散转换的完整数学开发。它由两种类型的构件，即机器和语境组成。机器包含了一个模型的动态部分，即变量、不变量、定理、异体和事件。而语境则包含一个模型的静态部分，

关 键 词：EVENT B语言 建模 模型 不变量 开发 语境 机器 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]