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