分布式实时系统的一种转化设计方法

来源 :华东理工大学学报 | 被引量 : 0次 | 上传用户：adupt

【摘要】

：

介绍了实时分布式系统的一种转化设计方法.系统的形式化需求规范用时段演算DC(Duration Calculus)描述,系统的设计用规范语言SL(Specification Language)表示.一组标准的转换

【作者】

：

屠梅红虞慧群

【机构】

：

华东理工大学计算机科学与工程系

【出处】

：

华东理工大学学报

【发表日期】

：

2001年5期

【关键词】

：

分布式实时系统时段演算 SL规范语言转化设计方法转换规则需求规范设计规范 distributed real time system duration

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

介绍了实时分布式系统的一种转化设计方法.系统的形式化需求规范用时段演算DC(Duration Calculus)描述,系统的设计用规范语言SL(Specification Language)表示.一组标准的转换规则可将系统从形式化需求规范转化为设计规范.系统设计的正确性可由转换过程本身得以保证.多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程.

其他文献

碳汇与森林

碳汇是指森林吸收并储存二氧化碳的多少,或者说是森林吸收并储存二氧化碳的能力.

期刊

碳汇森林吸收系数二氧化碳汇聚作用清洁发展机制造林技术

XC型血磁机维护保养及常见故障分析

本文从血磁机维护维修实践中获取经验，简述了血磁机维护保养及常见故障的解决方案。对该设备定期保养和维护，可以顺利排除设备常见故障，保障血磁机在临床应用中正常运转。

期刊

血磁机故障分析医疗设备维护Blood magnetic machine Failure analysis Maintenance of medical

皖南大叶冬青园的管理

大叶冬青,为“苦丁茶”的一种,含有多种氨基酸、维生素和多种微量元素等对人体有益的成分,民间利用调养健身和医用治疗历史悠久,具有多种功效.近年来,城乡对“苦丁茶”的需求

期刊