文献类型：期刊文献

中文题名：CORBA规范的形式化描述及分析

英文题名：Formal Description and Analysis on CORBA Specifications

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

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

年份：2004

卷号：26

期号：11

起止页码：1830

中文期刊名：电子与信息学报

外文期刊名：Journal of Electronics & Information Technology

收录：CSTPCD;;EI(收录号：2005028786099);Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

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

语种：中文

中文关键词：CORBA;CORBA规范;Petri网

外文关键词：CORBA, CORBA specification, Petri nets

摘要：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.