异构的动态分布式实时系统的面向方面的形式化方法

摘要

形式化方法是在严格的数学基础上建立的,具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的,不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性,可以根据系统开发的不同方面采用不同的形式化语言进行实现,然后再把这些方面编织到系统中去。