| CORBA规范的形式化描述及分析 |
| |
| 引用本文： | 郑红,李师贤.CORBA规范的形式化描述及分析[J].电子与信息学报,2004,26(11):1830-1836. |
| |
| 作者姓名： | 郑红 李师贤 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237;中山大学计算机科学系,广州,510275 |
| |
| 基金项目： | 国家自然科学基金委员会，香港研究资助局联合科研资助基金(79910161989)，教育部科学技术研究重点项目(01077)，教育部优秀青年资助计划(EYTP)资助课题 |
| |
| 摘 要： | CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范，其规范主要以IDL语言编写，只提供对象的静态行为描述．提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析，结果表明扩展有色Pctri网模型不仅能够清楚描述对象的静态行为，同时也能较好地模拟对象分布性和动态行为．
|
| 关 键 词： | CORBA CORBA规范 Petri网 |
| 文章编号： | 1009-5896(2004)11-1830-07 |
| 收稿时间： | 2003-1-29 |
| 修稿时间： | 2003年1月29日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
|
