计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
5期
107-111
,共5页
中间件%事件%线程%Applet构件%形式化规范
中間件%事件%線程%Applet構件%形式化規範
중간건%사건%선정%Applet구건%형식화규범
Middleware%Event%Thread%Applet component%Formal specification
事件驱动具有异步多点通信的优点,引起了广泛的研究兴趣.提出了一个由基层和元层两层结构组成的自适应中间件框架,元层主要由接口元模型、组装元模型和感知元模型3个相互独立的模型组成.感知元模型负责数据在对象间流动,为应用提供运行时的环境.给出了感知元模型的设计和实现方法,基于有限状态自动机和时序逻辑提出了系统的形式化规范.为兼顾系统和应用两级并发,系统设计结合了事件和线程.图形用户接口系统在平台上的实现证明了平台在开发复杂的并发应用方面有着广阔的前景.
事件驅動具有異步多點通信的優點,引起瞭廣汎的研究興趣.提齣瞭一箇由基層和元層兩層結構組成的自適應中間件框架,元層主要由接口元模型、組裝元模型和感知元模型3箇相互獨立的模型組成.感知元模型負責數據在對象間流動,為應用提供運行時的環境.給齣瞭感知元模型的設計和實現方法,基于有限狀態自動機和時序邏輯提齣瞭繫統的形式化規範.為兼顧繫統和應用兩級併髮,繫統設計結閤瞭事件和線程.圖形用戶接口繫統在平檯上的實現證明瞭平檯在開髮複雜的併髮應用方麵有著廣闊的前景.
사건구동구유이보다점통신적우점,인기료엄범적연구흥취.제출료일개유기층화원층량층결구조성적자괄응중간건광가,원층주요유접구원모형、조장원모형화감지원모형3개상호독립적모형조성.감지원모형부책수거재대상간류동,위응용제공운행시적배경.급출료감지원모형적설계화실현방법,기우유한상태자동궤화시서라집제출료계통적형식화규범.위겸고계통화응용량급병발,계통설계결합료사건화선정.도형용호접구계통재평태상적실현증명료평태재개발복잡적병발응용방면유착엄활적전경.
Event-driven middleware has becomes research focus due to its asynchronous,one-to-many communication properties.This paper proposed a self-adaptive middleware architecture consisting of base-level and meta-level.The meta-level was partitioned into three independent models,namely interface mets-model,assembly meta-model and eventdriven perception meta-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 implemenration proves that the platform is well suitable for developing complicated concurrent applications.