Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Chongqing Normal University(Natural Science Edition)》 2006-03
Add to Favorite Get Latest Update

The Application of Real-time System Based on Temporal Logic XYZ/E

LIU Shan-Yan ZHANG Guang-quan (College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China)  
Formal method is an important approach to guarantee the correctness of real-time system,due to the importance when applying it into the computer system,and the temporal logic is an important theoretical foundation of real-time system research.This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.
【Fund】: 重庆市教委科学技术研究项目(No.040803);; 中国科学院计算机重点实验室开放科题(No.SYSKF0303)
【CateGory Index】: TP316.2
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 1 Hits
1 LIU Shanyan1,2,RONG Mei3,ZHANG Guangquan2,4(1(Department of Computer Science,Jingchu University Science&Engineering,Jingmen 448200,China)(2College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China)(3Tourism College,Jinan University,Shenzhen 518053,China)(4School of Computer Science and Technology,Soochow University,Suzhou 2l5006,China);Mapping from Real-time Temporal Logic Language XYZ/RE to Timed Automata[J];Microcomputer Applications;2008-06
【Citations】
Chinese Journal Full-text Database 4 Hits
1 ZHANG Guang quan 1,2 ,ZHENG Jian dan 2,SU Ming 2 (1.Dept.of Mathematics and Computer Science,Chongqing Normal University , Chongqing 400047 ,China; 2.Lab.of Computer Science,The Chinese Academy of Sciences,Beijing 100080,China);Research of Software Architecture Based on the Temporal Logic Language XYZ/E(I)——Description of Components and Connectors[J];Journal of Chongqing Teachers College(Natural Science Edition);2001-03
2 Hou Jianmin Li Xuandong Zheng Guoliang ( Department of Computer Science, Nanjing University, Nanjing 210093);THE ROLE OF RORMAL METHOD IN SOFTWARE DEVELOPMENT OF REAL-TIME SYSTEMS[J];Computer Applications and Software;2002-04
3 Gong Jie; Tang Ruoying; Wang Xiao and Tang Zhisong(Institute of Sofhtware, The Chinese Academp of Sciences, Beijing 100080);XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS[J];JOURNAL OF SOFTWARE;1994-08
4 Zhang Guangquan (Dept.of Mathematics and Computer Science,Chongqing Teachers'College,Chongqing,400047)Sun Min (Dept.of Information,Management Institute of Sichuan Economic Cadres, Chengdu,610000);Comparison and Analysis of Temporal Logic[J];JOURAL OF YUZHOU UNIVERSITY(NATURAL SCIENCES EDITION);1999-02
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 ZHANG Guang-quan 1,2 , ZHU Xue-yang 2 , ZHENG Jian-dan 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 );Research of Software Architecture Based on the Temporal Logic Language XYZ/E (Ⅱ)──A description of typical architecture styles[J];Journal of Chongqing Teachers College(Natural Science Edition);2002-01
2 ZHANG Guang-quan 1,2,3, LIU Yan2 (1.College of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047; 2.Jiangsu Key Lab. of Information Processing Technology, Soochow University, Suzhou Jiangsu 215006; 3.State Key Lab. of Computer Science, The Chinese Academy of Sciences, Beijing 100080);Modeling Software Architecture and Their Implement Based on UML of Library Management System[J];Journal of Chongqing Teachers College(Natural Science Edition);2005-02
3 ZHANG Guang-quan~(1,2), LIU Jian-yun~3, HUANG Zheng-bao~2(1.College of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047;2.Institute of Software, the Chinese Academy of Sciences, Beijing 100080;3.Dept.of Information Engineering, Wuxi Institute of Commerce, Wuxi Jiangsu 214063, China);Description of the CA System Architecture Based on XYZ/E[J];Journal of Chongqing Teachers College(Natural Science Edition);2005-03
4 YUE Quan-min, DONG Zhi-yun, ZHENG Hua-zhen, YU Wei-yong, ZHANG Pei-chao, WANG Zhong-min, ZHANG Qi-ming (Shanghai Jiaotong University, Shanghai 200240, China);Fault Diagnosis Based on Temporal Logic Technology in HV Transmission System[J];Automation of Electric Power Systems;2006-09
5 Li Weijie Chen Zhongyu Zheng Yuheng (College of Mathematics,Physics and Information Engineering,Zhejiang Normal University,Jinhua 321004,Zhejiang);Modeling of the POS Software Architecture Based on UML[J];Computer & Telecommunication;2008-07
6 LIU Xiao-na,et al(Henan Mechanical and Electrical Engineering College,Xinxiang 453002,China);The Summarize of Software Architecture[J];Journal of Henan Mechanical and Electrical Engineering College;2007-05
7 ZHAO Xiao-fang WANG Yu-ling (School of Information & Electronic Engineering,Shandong Institute of Business and Technology,Yantai 264005,China);Research on data types of DFL programming language[J];Journal of Changchun University of Technology(Natural Science Edition);2008-01
8 Liu Jianyun1,2 Rong Mei3 Zhang Guangquan1,41(School of Computer Science and Technology,Soochow University, Suzhou,Jiangsu 215006)2(Dept. of Information Engineering,Wuxi Institute of Commerce,Wuxi,Jiangsu 214063)3(Shenzhen Tourism College,Jinan University, Shenzhen 518053)4(School of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047);A Preliminary Application of XYZ/E in the Certificate Authority[J];Computer Engineering and Applications;2005-26
9 RONG Mei;ZHANG Guang-Quan ShenZhen Tourism College, Jinan University, Shenzhen 518053 Computer Science and Technology School, Suzhou University, Suzhou 215006 Computer Science School, Chongqing Normal University, Chongqing 400047;Software Architecture Description Approach Integrating Formal Methods and Visual Methods[J];Computer Science;2005-04
10 HUANG Zheng-Bao~1 ZHANG Guang-Quan~ 1,2 (School of Computer Science and Technology, Soochow University, Suzhou 215006)~1 (Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080)~2;Semantics of UML 2.0 Sequence Diagrams in XYZ/E[J];Computer Science;2006-08
【Co-references】
Chinese Journal Full-text Database 2 Hits
1 GUO Liang, TANG Zhi-song (Key Laboratory for Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) E-mail: gls@ios.ac.cn http://www.ios.ac.cn;To Specify and Verify Fault-Tolerant Systems in XYZ/E[J];Journal of Software;2002-05
2 TANG Xiao ping 1,3 TANG Zhi song 1 MA Hua dong 2,3 ZHAO Chen 1 1(Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080) 2(Department of Computer Engineering\ Beijing University of Posts and Telecommunications\;The Application of XYZ System in the Animation Field[J];JOURNAL OF SOFTWARE;1998-01
【Secondary References】
Chinese Journal Full-text Database 2 Hits
1 Jin Qiming1,2,Zhang Guangquan1(1.School of Computer Science and Technology,Suzhou University,Suzhou 215006,China;2.Suzhou Post Bureau,Suzhou 215004,China);A Method of the Description and Refinement of Real-time System of Selling Tickets Based on Temporal Logic[J];Journal of Suzhou University(Engineering Science Edition);2009-04
2 He Yali1,Zhang Guangquan1,2,Wang Sheng1(1.School of Computer Science and Technology,Suzhou Univ.,Suzhou 215006,China;2.State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China);Refinement checking for web service composition based on XYZ/ADL[J];Journal of Suzhou University(Natural Science Edition);2010-01
【Secondary Citations】
Chinese Journal Full-text Database 4 Hits
1 ZHENG Jiang dan 1, ZHANG Guang quan 1,2 (1.Lab.of Computer Science,Institute of Software,The Chinese Academy of Sciences,Beijing,100080,China; 2.Dept.of Mathematics and Computer Science,Chongqing Normal University,Chongqing,400047,China);Software Architecture Description Languages ADL[J];Journal of Chongqing Teachers College(Natural Science Edition);2000-04
2 ZHANG Guang quan 1,2 ,LUO Hua jun 2,ZHENG Jian dan 2 (1.Dept.of Mathematics and Computer Science,Chongqing Normal University , Chongqing , 400047,China 2.Lab.of Computer Science,The Chinese Academy of Sciences,Beijing,100080,China);The Design and Implementation of a Visual Software Architecture Description Tool XYZ/ADL[J];Journal of Chongqing Teachers College(Natural Science Edition);2001-02
3 Zhang Guangquan Zheng Jiandan Luo Huajun (Lab.of Computer Science,The Chinese Academy of Sciences,Beijing 100080);An Architecture Description Language Based on Temporal Logic and Its Visual Support Environment[J];Computer Engineering and Applications;2001-05
4 JIAO Wen pin SHI Zhong zhi(Institute of Computing Technology The Chinese Academy of Sciences Beijing 100080);Formalizing Architectural Styles with XYZ/E[J];JOURNAL OF SOFTWARE;2000-03
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved