|
|||||
|
|
| 分布式实时系统的一种转化设计方法 | |
| 引用本文： | 屠梅红,虞慧群.分布式实时系统的一种转化设计方法[J].华东理工大学学报(社会科学版),2001(5). |
| 作者姓名： | 屠梅红 虞慧群 |
| 作者单位： | 华东理工大学计算机科学与工程系 |
| 摘 要： | 介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算 DC( Duration Calculus)描述 ,系统的设计用规范语言 SL( Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程 |
| 关 键 词： | 分布式实时系统 时段演算 SL规范语言 转化 |
| 本文献已被 维普 等数据库收录！ | |