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

• 作者: 冯玉琳 钱军
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 动态行为 语义模型 形式描述 交互 并发 分布
• 年，卷（期）: 1999,（8）
• 所属期刊栏目: 综述
• 页码范围: 907-914
• 分类号: TP311|TP311.1|TP311.5
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯玉琳	中国科学院软件研究所对象技术中心	12	588	7.0	12.0
2	钱军	中国科学院软件研究所计算机科学开放研究实验室	10	29	2.0	5.0