| 异构的动态分布式实时系统的面向方面的形式化方法 |
| |
| 引用本文： | 陈惠源,张立臣.异构的动态分布式实时系统的面向方面的形式化方法[J].现代计算机,2008(12). |
| |
| 作者姓名： | 陈惠源 张立臣 |
| |
| 作者单位： | 广东工业大学计算机学院,广州510090 |
| |
| 摘 要： | 形式化方法是在严格的数学基础上建立的．具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的．不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性，可以根据系统开发的不同方面采用不同的形式化语言进行实现．然后再把这些方面编织到系统中去。
|
| 关 键 词： | 面向方面 形式化方法 分布式实时系统 时间方面 |
Aspect-Oriented Formal Method of Heterogeneons Dynamic Distributed Real-Time Systems |
| |
| CHEN Hui-yuan,ZHANG Li-chen.Aspect-Oriented Formal Method of Heterogeneons Dynamic Distributed Real-Time Systems[J].Modem Computer,2008(12). |
| |
| Authors: | CHEN Hui-yuan ZHANG Li-chen |
| |
| Affiliation: | CHEN Hui-yuan,ZHANG Li-chen(Faculty of Computer Science,Guangdong University of Technology,Guangzhou 510090) |
| |
| Abstract: | 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 the... |
| |
| Keywords: | Aspect-Orientation Formal Method Distributed Real-Time System Time-Aspect |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
