| 摘要: |
| 本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| THE FORMAL TECHNIQUES FOR SYSTEM MODELING DEVELOPMENT |
|
Feng Yulin,Gui Ziqiang,Ding Maoshun
|
| 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. |
| Key words: |
