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

Research of Software Architecture Based on the Temporal Logic Language XYZ/E (Ⅱ)──A description of typical architecture styles

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 )  
XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.This characteristic can be applied to describe software architecture in different levels. In , XYZ/E is used to describe basic components and connectors of software architecture.This paper discusses the specific combination of the components and connectors to show several important styles of software architecture.
【Fund】: 国家自然科学基金项目 ( 6 0 0 730 2 0 ) ;; 国家 86 3高科技项目 ( 2 0 0 1AA1132 0 0 ) ;; 中科院计算机重点实验室青年科学基金课题 ( 2k0 5 )
【CateGory Index】: TP311.52
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 3 Hits
1 ZHANG Guang-quan,YANG Jing-zhong(College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China);Research into Aspect-Oriented Modeling Based on Software Architecture[J];Journal of Chongqing Normal University(Natural Science Edition);2008-01
2 WANG Bao-Jie,WANG Ru-Long (Software School,Hunan University,Changsha 410082,China);A Mixed Architecture Style Suited to Web Environment[J];Computer Systems & Applications;2010-04
3 LI Jun-e1, ZHOU Dong-ru2 1 (Computer Center,Wuhan University, Wuhan 430072, China) 2 (Computer School,Wuhan University, Wuhan 430072, China);The Platform/Plug-in Software Architecture Style[J];Journal of Chinese Computer Systems;2007-05
【Citations】
Chinese Journal Full-text Database 2 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 LUO Hua\|jun\ TANG Zhi\|song\ ZHENG Jian\|dan(Laboratory of Computer Science\ Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080);Visual Architecture Description Language XYZ/ADL[J];JOURNAL OF SOFTWARE;2000-08
【Co-citations】
Chinese Journal Full-text Database 10 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 LIU Shan-Yan ZHANG Guang-quan (College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China);The Application of Real-time System Based on Temporal Logic XYZ/E[J];Journal of Chongqing Normal University(Natural Science Edition);2006-03
4 ZHANG Wen-juan,ZHAO Jun-feng,XIE Bing,YANG Fu-qing (Dept.of Computer Science & Technology,Peking University,Beijing 100871,China);A Component Model to Support Variability[J];Acta Electronica Sinica;2003-06
5 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
6 Li Xiangyang Lian Xiaoqi(College of Information Science and Engineering,Huaqiao University,362021,Quanzhou,China);An Engineering Oriented Component Software Architecture Model[J];Journal of Huaqiao University(Natural Science);2006-03
7 ZHANG Guang-quan, TANG Zhi song (Key Lab. of Computer Science, Institute of Software,The Chinese Academy of Sciences, Beijing 100080 ,China);A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E[J];Journal of Huaiyin Teachers College;2002-01
8 Liu Xia 1,2, Li Mingshu1, Wang Qing1, and Zhou Jinhui1 1(Institute of Software, Chinese Academy of Sciences, Beijing 100080) 2(Graduate School of the Chinese Academy of Sciences, Beijing 100039);Review of Software Architecture Analysis and Evaluation Methods[J];Journal of Computer Research and Development;2005-07
9 He Jian~1,2 and Qin Zheng~2~1(School of Software Engineering, Beijing University of Technology, Beijing 100022)~2(E-Commerce Institute, School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049);Modeling and Checking the Behavior of Software Architecture[J];Journal of Computer Research and Development;2005-11
10 Tan Liang1,2 and Zhou Mingtian11(School of Computer Science & Engineering, University of Electronic Science & Technology of China, Chengdu 610054)2(Software Key Laboratory of Sichuan, Sichuan Normal University, Chengdu 610066);XSSA/ADL:An XML-Based Security Requirement Architecture Description Language[J];Journal of Computer Research and Development;2007-05
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Lü Guangxian 1)PAN Mao 1),3)WU Huanping 2)CONG Weiqing 1)WU Zixing 1)(1)The Laboratory of Orogenic Belts and Crustal Evolution,School of Earth and Space Sciences,Peking University,Beijing,100871;2)National Meteorological Center,Beijing,100081);Research on Large Virtual Octree Model for True Three Dimensional Geo-Science Modeling[J];Acta Scientiarum Naturalium Universitatis Pekinensis;2007-04
2 XIONG Lei,YANG Peng,LI HeyingKey Lab of the Ministry of Education for High-Efficient Mining of Metal Deposit ,Beijing 100083,China;Mine model of volume visualization based on irregular tetrahedral[J];Journal of University of Science and Technology Beijing;2006-08
3 HU Jin-shan①②,HE Zong-yi①,KANG Jian-rong②,LIU Peng-cheng①,WANG Zhong-yuan①(①School of Resource and Environment Science, Wuhan University, Wuhan 430079,China; ②Territory Resource Information and Surveying engineering Department, Xuzhou Normal University, Xuzhou 221116,China);Data organization and uncertainty analysis in digital mine[J];Science of Surveying and Mapping;2007-03
4 Han Guojian. Guo Dazhi Jin. Xuelin(China Universitg of Mining and Technology);STORAGE AND INDEXING OF OREBODYINFORMATION USING OCTREES[J];Acta Geodaetica Et Cartographic Sinica;1992-01
5 CHENG Peng-gen 1,2,GONG Jian-ya1 (1.Wuhan Technical University of surveying and Mapping Wuhan 430079,China; 2. Department of surveying, East China Geologic Institute,Linchuan 344000,China);Design of Three-Dimensional Spatial Data Model and Its Data Structure in Geological Exploration Engineering[J];Acta Geodaetica Et Cartographic Sinica;2001-01
6 LIU Xue-jun1, GONG Jian-ya2 (1. Changsha Communications University, Changsha 410076,China; 2. Wuhan Technical University of Surveying and Mapping, Wuhan 430079,China);Delaunay Triangulation of Constrained Data Set[J];Acta Geodaetica Et Cartographic Sinica;2001-01
7 Li Deren, Li Qingquan (Wuhan Technical University of Surveying and Mapping, 430070);STUDY ON A HYBRID DATA STRUCTURE IN 3D GIS[J];ACTA GEODAETICA ET CARTOGRAPHICA SINICA;1997-02
8 ZHANG Guang-quan~(1,2), ZHANG Ling-hong~2 (1.College of Mathematics and Computer Science, Chongqing Nse Academy of Sciences, Beijing 100080, China);The Application of UML and ADL in Modeling Software Architecture[J];Journal of Chongqing Teachers College(Natural Science Edition);2004-04
9 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
10 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
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 CAO Jin-ming1,2,ZHANG Guang-quan1(1.College of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047;2.Shanghai Municipal Luwan District State Taxation Bureau,Shanghai 200023,China);Design and Realization on SOA for SMEs'IT System[J];Journal of Chongqing Normal University(Natural Science);2008-04
2 LI Zhong-hui1,2,ZHANG Guang-quan1(1.College of Mathematics & Computer Science,Chongqing Normal University,Chongqing 400047;2.College of Information Science and Technology,Yancheng Teachers University,Yancheng Jiangsu 224002,China);Model Checking of the NS Cryptographic Protocol and Analysis Based on the UPPAAL[J];Journal of Chongqing Normal University(Natural Science);2009-04
3 ZHANG Jun,WU Jian-ping(Key Lab of Geographic Information Science,Ministry of Education,East China Normal University,Shanghai 200062,China);The Application of Plug-in Technology in ArcGIS Engine Development[J];Geomatics & Spatial Information Technology;2009-03
4 FU Chunhe,WANG Junfeng (The 45th Research Institute of CETC,Beijing 101601,China);Research on Software Architecture Module of Platform/Plug-in[J];Equipment for Electronic Products Manufacturing;2011-04
5 LUO Zhi-yong①②,LUO Juan①,LAI De-jun①(①Sichuan Institute of Nuclear Geology,Chengdu 610066,China;②Chengdu University of Technology,Chengdu 610059,China);Architecture design of plug-in WebGIS using RIA technology[J];Science of Surveying and Mapping;2012-06
6 YU Chao, LI Xin, KONG Zhen, LU Sha (State Grid Electric Power Research Institute, Nanjing 211100, China);XML-based Dynamic Plug-in Mechanism[J];Electric Power Information Technology;2012-11
7 QIN Feng-lin,LI Xiao-ming,WANG Song-jie(Faculty of Mechanical Engineering & Automation,Zhejiang Sci-Tech University,Hangzhou 310018,China);Open simulation for the robot soccer[J];Mechanical & Electrical Engineering Magazine;2009-12
8 FU De-xiao,LI Xiao-ming(Faculty of Mechanical Engineering & Automation,Zhejiang Sci-Tech University,Hangzhou 310018,China);Development of open simulation system for robot soccer[J];Journal of Mechanical & Electrical Engineering;2011-01
9 ZHANG Yi1,LI Guo-qing2,ZHAO Jun-xi1,SUN Qing-hui1 (1.Institute of Surveying and Mapping,Information Engineering University,Zhengzhou 450052,China;2.Zhengzhou Supply and Saving Water Office,Zhengzhou 450052,China);Key Technology of Plugin-Based GIS Application Framework[J];Journal of Geomatics Science and Technology;2010-04
10 WU Liang-qiao(Yozosoft Corporation Limited,Wuxi 214135,China);Java Plug-In Technology Suitable for Yozo Office Redevelopement[J];Journal of Jiangnan University(Natural Science Edition);2011-05
【Secondary Citations】
Chinese Journal Full-text Database 4 Hits
1 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
2 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
3 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
4 ZHOU Ying xin\ AI Bo(College of Computer Science and Technology\ Beijing University of Posts and Telecommunications\ Beijing\ 100088);A Study of Software Architecture Modeling[J];JOURNAL OF SOFTWARE;1998-11
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved