摘要
事件驱动具有异步多点通信的优点,引起了广泛的研究兴趣。提出了一个由基层和元层两层结构组成的自适应中间件框架,元层主要由接口元模型、组装元模型和感知元模型3个相互独立的模型组成。感知元模型负责数据在对象间流动,为应用提供运行时的环境。给出了感知元模型的设计和实现方法,基于有限状态自动机和时序逻辑提出了系统的形式化规范。为兼顾系统和应用两级并发,系统设计结合了事件和线程。图形用户接口系统在平台上的实现证明了平台在开发复杂的并发应用方面有着广阔的前景。
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.
出处
《计算机科学》
CSCD
北大核心
2010年第5期107-111,共5页
Computer Science