%0 Journal Article
%T CORBA规范的形式化描述及分析
%A 郑红
%A 李师贤
%J 电子与信息学报
%D 2004
%I 
%X CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。
%K CORBA
%K CORBA规范
%K Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=A5A8436ED5D88BE2&yid=D0E58B75BFD8E51C&vid=96C778EE049EE47D&iid=708DD6B15D2464E8&sid=1BEFBCC38D61DE62&eid=F44FBAC0FA4347E5&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=0&reference_num=11