###
DOI:
Journal of Software:1991.2(1):35-41

系统模型开发的形式化技术
冯玉琳,桂自强,丁茂顺
(中国科学技术大学;中国科学院软件所)
THE FORMAL TECHNIQUES FOR SYSTEM MODELING DEVELOPMENT
Feng Yulin,Gui Ziqiang,Ding Maoshun
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2561   Download 2520
Received:August 20, 1989    Revised:November 20, 1989
> 中文摘要: 本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。
中文关键词:
Abstract:The paper contributes some formal techniques for the system modeling development discussed in [1]. Based on a kind of multi-sorted first order logic, the language CML is used to specify system models conceptually, and the analyser CMA is followed to check their static consistency and dynamic temporal.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

冯玉琳,桂自强,丁茂顺.系统模型开发的形式化技术.软件学报,1991,2(1):35-41

Feng Yulin,Gui Ziqiang,Ding Maoshun.THE FORMAL TECHNIQUES FOR SYSTEM MODELING DEVELOPMENT.Journal of Software,1991,2(1):35-41