-
题名并发系统模型研究
- 1
-
-
作者
贾国平
郑国梁
-
机构
南京大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
1996年第5期7-9,共3页
-
文摘
1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。
-
关键词
并发系统模型
软件开发
数学模型
-
Keywords
Model, Concurrent system, Finite-state machine, Hierarchy of functions, Statecharts,Petri-Net,Graph model of computation,Fair transition system.
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
