Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

First Step towards a Semantics of CORBA/IIOP

Du Liyuan, Chen Weijie, Fu Yuxi Department of Computer Science & Engineering, Shanghai Jiaotong University, China  
This paper investigates the semantic modelling of distributed object computing under the CORBA/IIOP environment and concentrates on the interoperation between multiple ORBs. By constructing a π calculus model of highly simplified CORBA/IIOP, the property is demonstrated that CORBA/IIOP supports distributed object computing.
【Fund】: 国家自然科学基金
【CateGory Index】: TP311,
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 2 Hits
1 WANG Yong-bin1,2,MENG Qing-long2 ,LIU Jing1(1.School of Information Engineering, Beijing Broadcasting Institute, Beijing100024, China;2.Research Institute of Electric Equipment, Hebei Univ. of Technology, Tianjin300130, China);π-Calculus Model of Query Process in Multi-Data-Source Integration System[J];Computer Integrated Manufacturing Systems;2003-01
2 ZHOU Jia-Qing, NIE Hong-Mei (Department of Computer Science & Engineering of Zhejiang Normal University, Jinhua, Zhejiang, 321004);Research and Implementation of Housing Public Reserve Funds Management System Based-on CORBA[J];Journal of Western Chongqing University;2002-03
Chinese Journal Full-text Database 10 Hits
1 Wu Jieming Yang Wenlong (Institute of ComputerApplications ) ( Beijing Institute of Aero-nautics and Astronautics );UTILIZING PETRI NETS FOR DESCRIPTION AND ANALYSIS OF PARALLEL SYSTEMS[J];Journal of North China University of Technology;1991-03
2 Ren Aihua\ Niu Jinzhong\ Zhang Yongming (Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering);Object Oriented Petri Net Based Method for the Concurrent Program Modeling[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1998-04
3 Wang Huanqiu Gao Jinzhong Xu Fengzhan(Department of Economic & Management, Beijing Institute of Light Industry, Beijing 100037);SYSTEM RELIABILITY ANALYSIS BASED ON PETRI NETS[J];JOURNAL OF BEIJING INSTITUTE OF LIGHT INDUSRY;1998-02
4 ZHANG Guang quan 1,2 (1.Dept. of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047; 2.Key Lab. of Computer Science, The Chinese Academy of Sciences,Beijing 100080, China );Formal Methods for Software[J];Journal of Chongqing Teachers College(Natural Science Edition);2002-02
5 Wang Yun Gu Guanqun (Department of Computer Science and Engineering, Southeast University, Nanjing 210018);CORBA Specification and Its Implementation[J];Journal of Southeast University;1997-02
6 LIU Ting,LIN Chuang,LIU Wei dong(Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China);Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models[J];Acta Electronica Sinica;2002-02
7 Guo Changguo Liu Jiangning Zou Peng (Department of Computer Science, NUDT,Changsha,410073);The Study and Implementation of Active Service Based on CORBA Event Service[J];JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY;1999-04
9 LIU Jian-hong(Aeronautical Computing Technique Research Institute, Xi′an 710068, China);The Design and Implementation of Pension Insurance Management System[J];Aeronautical Computer Technique;2001-01
10 TIAN Jian-chuang,ZHU Jing (Electrical Engineering College,Zhejiang University, Hangzhou, 310027 China);Application of CORBA in the Robot Control System Based on Network[J];Mechanical & Electrical Engineering Magazine;2005-03
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 WANG Yongbin MENG Yuejin MENG Qinglong Hebei University of Technology (300130);Collaborative Design of Electrical Apparatus Products[J];Low Voltage Apparatus;2003-03
2 LI Jian-jun~1 ZHU Min~2 LIU Xiao-juan~1 SHAO Pei-nan~1 (1.East China Institute of Computer Technology,Shanghai 200233;2.PLA Representatives Office of Naval Electronic Equipment in Shanghai District,Shanghai 200233);Generation of Test Cases Based on UML Sequence Diagrams[J];Computer Engineering;2008-21
3 Wang Yongbin 1) Liu Jing 2) Meng Yuejin 3) Meng Qinglong 3) 1) (Computer & Software School, Beijing Broadcasting Institute, Beijing 100024) 2) (Science School, Beijing Broadcasting Institute, Beijing 100024) 3) (Research Institute of Electric Equipment, Hebei University of Technology, Tianjin 300130);Model of Synchronous Computer Supported Collaborative Design in Enterprise Dynamic Alliance[J];Journal of Computer Aided Design & Computer Graphics;2004-07
4 WANG Yong-bin~1, MENG Yue-jin~2, ZHOU Chun-lai~2, MENG Qing-long~2, ZHANG Li~1(1.Coll. of Computer & Software, Beijing Broadcasting Inst., Beijing100024, China; 2. Inst. of Electric Apparatus, Hebei Univ. of Tech., Tianjin300130, China)Received 21 Apr. 2003; accepted 25 Jul. 2003.Foundation item:Project supported by the Univ. S&T Fund of State Administration of Radio Film & Television, China (No. BG0110).;Organization Model and System Architecture of Collaborative Design in Dynamic Alliance[J];Computer Integrated Manufacturing Systems;2004-04
5 LI Fei,LIU Fang.HE Lan;Research about integrating the speed signal into the overload alarm system[J];Manufacturing Automation;2012-14
6 SHU Yuan-zhong,LIU Yan-pei,PENG Xiao-hong,CHEN Zhi-yong(School of Information Engineering,Nanchang Hangkong University,Nanchang 330063,China);Survey on object-oriented Petri net modeling[J];Computer Engineering and Design;2010-15
7 LI Li (Institute of Computer Science and Technology, Shandong Economic University, Jinan 250014);Research on Applications of Object-Oriented Petri Nets[J];Modern Computer;2008-08
8 HONG Zhi-guo 1,WANG Yong-bin 1,SHI Min-yong 2,LIU Jing 3(1.School of Computer and Software,Communication University of China,Beijing 100024,China;2.School of Animation,Communication University of China,Beijing 100024,China;3.School of Science,Communication University of China,Beijing 100024,China);SPN-based Performance Analysis of Asymmetric Animation Rendering System[J];Journal of System Simulation;2008-S2
9 HONG Zhi-guo1,WANG Yong-bin1,SHI Min-yong2 (1. School of Computer and Software,Communication University of China,Beijing 100024,China; 2. School of Animation,Communication University of China,Beijing 100024,China);SPN-Based Analysis of Distributed Rendering System's Infrastructures[J];Journal of System Simulation;2009-21
10 LIU Gang1,WU Xiang-hu2,QU Ming-cheng2,CHEN Chao2,HAO Jing-jing2 1.Medical Engineering Department,First Clinical Hospital of Harbin Medical University,Harbin Heilongjiang 150001,China;2.Computer College of Harbin Institute of Technology,Harbin Heilongjiang 150001,China;Application Research of HL7 in HIS[J];China Medical Devices;2011-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved