摘要
形式化方法是在严格的数学基础上建立的,具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的,不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性,可以根据系统开发的不同方面采用不同的形式化语言进行实现,然后再把这些方面编织到系统中去。
Formal Method is based on the mathematical, it contents precise mathematical meaning that can be used as methods of scientific research and verification. The development of Distributed Real-Time Systems is very complicated and can＇t use one development method for analysis, design and implementation. Because of Formal Method contents characteristics of mathematical analysis and certification, we can develop the system under different aspects which can use different formal languages to achieve, and then weave these areas into the system.
出处
《现代计算机》
2008年第12期67-70,74,共5页
Modern Computer
关键词
面向方面
形式化方法
分布式实时系统
时间方面
Aspect-Orientation
Formal Method
Distributed Real-Time System
Time-Aspect
