A TWO-LEVEL OBJECT-ORIENTED CONCURRENT MODEL
一个面向对象的二级并发模型

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.