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

作者：陈惠源 张立臣面向方面形式化方法分布式实时系统时间方面

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社