一级黄色片免费播放|中国黄色视频播放片|日本三级a|可以直接考播黄片影视免费一级毛片

高級搜索

留言板

尊敬的讀者、作者、審稿人, 關(guān)于本刊的投稿、審稿、編輯和出版的任何問題, 您可以本頁添加留言。我們將盡快給您答復。謝謝您的支持!

姓名
郵箱
手機號碼
標題
留言內(nèi)容
驗證碼

CORBA規(guī)范的形式化描述及分析

鄭紅 李師賢

鄭紅, 李師賢. CORBA規(guī)范的形式化描述及分析[J]. 電子與信息學報, 2004, 26(11): 1830-1836.
引用本文: 鄭紅, 李師賢. CORBA規(guī)范的形式化描述及分析[J]. 電子與信息學報, 2004, 26(11): 1830-1836.
Zheng Hong, Li Shi-xian. Formal Description and Analysis on CORBA Specifications[J]. Journal of Electronics & Information Technology, 2004, 26(11): 1830-1836.
Citation: Zheng Hong, Li Shi-xian. Formal Description and Analysis on CORBA Specifications[J]. Journal of Electronics & Information Technology, 2004, 26(11): 1830-1836.

CORBA規(guī)范的形式化描述及分析

Formal Description and Analysis on CORBA Specifications

  • 摘要: CORBA為構(gòu)建大規(guī)模分布式應用程序提供了一套公共對象服務規(guī)范,其規(guī)范主要以IDL語言編寫,只提供對象的靜態(tài)行為描述.提出并應用擴展有色Petri網(wǎng)對CORBA對象進行形式化模擬和分析,結(jié)果表明擴展有色Pctri網(wǎng)模型不僅能夠清楚描述對象的靜態(tài)行為,同時也能較好地模擬對象分布性和動態(tài)行為.
  • 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網(wǎng)原理.北京:電子工業(yè)出版社,1998:88-95.
  • 加載中
計量
  • 文章訪問數(shù):  2214
  • HTML全文瀏覽量:  112
  • PDF下載量:  693
  • 被引次數(shù): 0
出版歷程
  • 收稿日期:  2003-01-29
  • 修回日期:  2003-07-22
  • 刊出日期:  2004-11-19

目錄

    /

    返回文章
    返回