系统模型开发的形式化技术

本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言cml可用来描述系统模型,并可用cma对模型描述进行静态一致性和动态时序特性的检查。