摘要：CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述.提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为.

关键词：corba corba规范 petri网 

单位：华东理工大学计算机科学与工程系; 上海; 200237; 中山大学计算机科学系; 广州; 510275