机构地区: 中国科学院软件研究所
出 处: 《小型微型计算机系统》 2003年第7期1293-1296,共4页
摘 要: CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范 .本文利用 Petri网模型可表现系统分布、并发、异步等特性来描述 CORBA事件服务 ,不仅能反映 CORBA事件服务的静态行为 ,也反映其动态行为 。 OMG has provided a set of Common Object Services (COS), which help users build large scale distributed CORBA applications, but Common Object Services Specifications (COSS) don't contain integrated formal descriptions. Hierarchical Object oriented Petri Nets(HOONets) can express the behaviors of individual objects as well as the concurrency between different objects and concurrency internal to an object. This paper applies HOONets to model CORBA Event Service, and gives a formal description of CORBA Event Service .
领 域: [自动化与计算机技术] [自动化与计算机技术]