| 摘要: |
| 本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ． |
| 关键词: 面向对象，需求规范，并发，实时系统 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金 |
|
| A TWO-LEVEL OBJECT-ORIENTED CONCURRENT MODEL |
|
Wang Ji,Chen Huowang
|
| Abstract: |
| his paper presents a two- level object -oriented concurrent model, called FORCE - Model, which combines object orientation and concurrence from requirements specification point of view and provides an effective framework for modeling real-time reactive systems. Intra -object concurrence and inter -object parallelism can be exploited effectively. Based on the model, a family of multi-view visual specification languages are developed. |
| Key words: Object orientation, requirements specification, concurrence, real -time reactive systems. |
