Formal Description and Analysis on CORBA Specifications

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.