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

郑红; 李师贤

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

郑红^{①;李师贤},
李师贤

计量
- 文章访问数: 2184
- HTML全文浏览量: 107
- PDF下载量: 693
- 被引次数: 0
出版历程
- 收稿日期: 2003-01-29
- 修回日期: 2003-07-22
- 刊出日期: 2004-11-19

Formal Description and Analysis on CORBA Specifications

Zheng Hong^{①;李师贤},
Li Shi-xian

摘要

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

HTML全文

参考文献(1)

The Object Management Group. The Common Object Request Broker: Architecture and Specification,Version 2.4.2, 2000.The object Management Group, CORBA Specification, 2000[2]Slama D, Garbis J, Russell P. Enterprise CORBA, Prentice Hall PTR, 1999: 67-120.[3]Walker D. Objects in the -calculus[J].Information and Computation.1995, 116(2):253-271[4]Swatman P A, Swatman P M C, Duke R. Electronic data interchange: A high-level formal specification in object-Z, Proceedings of 6th Australian Software Engineering Conference, Sydney,Australia, Springer-Verlag, July 1991: 341-354.[5]Gaspari M, Zavattaro G. A process algebraic specification of the new asynchronous CORBA messaging service. ECOOP99, LNCS 1628, Lisbon, Portugal, Springer-Verlag, June 1999: 495-518.[6]Hong Zheng, Shi-xian Li. The description of CORBA objects based on Petri nets. Lecture Notes in Computer Science LNCS 2495, Springer-Verlag, Shanghai China, Oct. 2002, 48-57.[7]Jang-Eui Hong, Doo-Hwan Bae. Software modeling and analysis using a hierachical objectoriented Petri net, Journal of Information Science, 2000, 130(1-4): 133-164.[8]Bastide R. Approaches in unifying Petri nets and the object-oriented approach, Proceeding of the International Workshop on Objected-Oriented Programming and Models of Concurrency,1st Workshop on Object-Oriented Programming and Models of Concurrency, OO-MC95, 16th International Conference on Applications and Theory of Petri Nets, ICATPN95, Torino, Italy,June 1995: 238-257.[9]Kilov H, Ross J. Information Modeling-An Objected Oriented Approach, Prentice-Hall, 1994,Chapter 7. Standards.[10]袁崇义.Petri网原理.北京:电子工业出版社,1998:88-95.

施引文献

资源附件(0)

访问统计