| 分布式实时系统的一种转化设计方法 |
| |
| 引用本文： | 屠梅红,虞慧群.分布式实时系统的一种转化设计方法[J].华东理工大学学报(自然科学版),2001,27(5):463-467,492. |
| |
| 作者姓名： | 屠梅红 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系 |
| |
| 基金项目： | 教育部高等学校骨干教师资助计划，国家自然科学基金资助项目 ( 6 970 30 0 8，6 990 30 0 4)，国防科技重点实验室基金资助项目 ( 99JS94.10 .1.DZ42 0 1) |
| |
| 摘 要： | 介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。
|
| 关 键 词： | 分布式实时系统 时段演算 SL规范语言 转化设计方法 转换规则 需求规范 设计规范 |
| 文章编号： | 1006-3080(2001)05-0463-05 |
A Transformational Approach to the Design of Distributed Real-time Systems |
| |
| Abstract: | This paper presents a transformational approach to the design of distributed real time systems. The starting point of the development is formal requirement specification in the DC (Duration Calculus). The target is a system specification described in SL (Specification Language). A set of standard transformation rules are applied to refine requirements to design specification. The case of study of the multi user multi media system demonstrates the processes of our method in detail. |
| |
| Keywords: | distributed real time system duration calculus SL transformation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
