关键词: 中间件，事件，线程，Applet构件，形式化规范

Abstract: Event driven middleware has becomes research focus due to its asynchronous, onto-many communication properties. This paper proposed a self-adaptive middleware architecture consisting of basclevcl and metes level. The meta-level was partitioned into three independent models, namely interface metes-model, assembly metes-model and event driven perception metes-model. This paper focused on the design and implementation of perception model, which serves for the data exchange between objects and provides environments for running applications. A formal specification of systerns based on finite state machine and linear temporal logic was proposed. The design combined aspects of threads and event to manage the system-level and application-level concurrency. The application example of GUI system implementation proves that the platform is well suitable for developing complicated concurrent applications.

Key words: Middleware, Event, Thread, Applet component, Formal specification