CORBA规范的形式化描述及分析  

Formal Description and Analysis on CORBA Specifications

作　　者：郑红[1] 李师贤[2] 

机构地区：[1]华东理工大学计算机科学与工程系 [2]中山大学计算机科学系

出　　处：《电子与信息学报》2004年第11期1830-1836,共7页Journal of Electronics & Information Technology

基　　金：国家自然科学基金委员会;香港研究资助局联合科研资助基金(79910161989);教育部科学技术研究重点项目(01077);教育部优秀青年资助计划(EYTP)资助课题

摘　　要：CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。CORBA has provided a set of Common Object Services (COS), which help users to build large-scale distributed applications, but Common Object Services Specifications (COSS) do not include integrated formal description. Petri nets are a powerful instrument for modeling, analyzing, and simulating dynamic systems with concurrent and non-deterministic behavior. An extended colored Petri net is introduced to express the behaviors of individual objects, the concurrency between different objects as well as the intra-object concurrency in the context of CORBA, and gives an example for formal description of CORBA objects.

关 键 词：CORBA CORBA规范 PETRI网 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]