分布式系统的LOTOS规范及其实现  

LOTOS Specification and Implementation for Distributed System

作　　者：谢冰[1] 张晨东[1] 陈火旺[1] 

机构地区：[1]国防科技大学计算机系,长沙410073

出　　处：《计算机科学》1998年第1期72-76,共5页Computer Science

摘　　要：分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。LOTOS is a standard specification language designed for open system interconnection by ISO.This paper discusses about its use in the area of distributed system design,and the methodlo-gy for its implementation.

关 键 词：分布式系统 LOTOS语言 规范语言 分布式计算机 

分 类 号：TP338.8[自动化与计算机技术—计算机系统结构]