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