论文部分内容阅读
文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型，逻辑模型，基于进程代数的模型和方法，Ｉ／Ｏ自动化，Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地本质上分析和比较它们在描述系统动态行为方面的特点和优劣。文事还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互，并发和分布等。