系统动态行为语义模型及其形式描述

被引：3

作者：

钱军

冯玉琳

机构：

[1] 不详

[2] 中国科学院软件研究所计算机科学开放研究实验室

[3] 不详

[4] 中国科学院软件研究所对象技术中心

[5] 不详

来源：

计算机研究与发展 | 1999年 / 08期

关键词：

动态行为，语义模型，形式描述，交互，并发，分布;

D O I：

暂无

中图分类号：

TP301.2 [形式语言理论];

学科分类号：

摘要：

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文中还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互、并发和分布等．文中是以一个全新的角度去审视那些主要的、较为成熟的模型和方法，针对分布对象计算系统的动态行为特点加以分析和比较，为系统地建立分布对象计算系统的计算模型和语义理论打下一定基础．

引用

页码：12 / 19

页数：8