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

摘要：

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

关键词：CORBA、CORBA规范、Petri网

所属期刊栏目：26

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金委员会-香港研究资助局联合科研项目79910161989;教育部科学技术研究项目01077;教育部青年基金

在线出版日期：2004-12-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1830-1836