Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Engineering and Design》 2005-01
Add to Favorite Get Latest Update

Macro-oriented specification style based on Lotos

WANG Ji-zeng, ZHANG Jian, WANG Xiao-gang (College of Electrical and Information Engineering, Lanzhou University of Science and Technology,Lanzhou 730050, China)  
The structure of a system model can be presented by lotos specification styles in the describing specification. A new lotos specification style named macro-oriented style is conceived by introducing the idea of macro in four specification styles available, and then with the style, how to specify specification process is illuminated, and how to apply the process to the system implementation is also described. The style is found out for describing distributed systems which are layered and have similar structures.
【Fund】: 甘肃省自然科学基金项目(32204)。
【CateGory Index】: TP317
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 2 Hits
1 Jiang Chunyan(Dept.Of Comp. Sci. and Tech Xiamen Univ.of Techn, Xiamen 361005, Fujian );Structural Design of A Network Gateway Using the FDT LOTOS[J];Computer & Telecommunication;2007-06
2 WANG Ji-zeng,JIANG Chun-yan,MIAO Zhi-feng(College of Computer and Communication,Lanzhou University of Science and Technology,Lanzhou 730050,China);Application of step-wise refinement design to mutual exclusion access system based on LOTOS[J];Computer Engineering and Design;2006-14
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 Xiao Deqin Shen Yong Zhang Jianwei (College of Computer Science and Techrology . Wuhan University . Wuhan , 430072);A Research into Formularized Description and VerificationTechnique of Network Communication Protocols[J];JOURNAL OF CHONGQING TEACHERS COLLEGE(NATURAL SCIENCE EDITION);1997-02
2 WANG Yan’an1,YU Yichuan 2,ZHANG Dan 2,XIAO Dengming 1 (1. Shanghai Jiaotong University,Shanghai 200030,China; 2. XJ Electric Corporation,Xuchang 461000,China);Description method of substation communication protocol conformance test model based on EFSM[J];Electric Power Automation Equipment;2008-04
3 CHANG En-xiang1, LIU Hong-fang2(1.Hefei Railway Engineering School, Hefei 230041,China; 2.Hefei Railway Engineering School, Hefei 230021, China);A Comparison between CIDR and VLSM[J];Computer Knowledge and Technology;2008-26
4 Li Yanbo Feng Zhiyong(Tianjin University,Tianjin 300072);Research of Tetra mobile station air interface protocol stack software development[J];Electronic Measurement Technology;2007-05
5 Zhao Bao-hua Qian Lan Zhou Hao Guo Xiong -hui (Computer Science and Technology Department, Laboratory of Computer Science Institute of Software Chinese Academy of SciencesUSTC, Hefei 230027,China);Fault Diagnosis Algorithm Based on Finite State Machine[J];Journal of Electronics & Information Technology;2006-09
6 Zhao Bao-hua Qian Lan Guo Xiong-hui (Computer Science and Technology Department, USTC, Hefei 230027, China);Fault Diagnosis for UIO Test Sequence[J];Journal of Electronics & Information Technology;2006-11
7 Wang Qi,Mei Biao-chun(College of Automation,Nanjing University of Posts & Telecommunications,Jiangsu Nanjing 21003);The Test of Network Protocol Based on Node Self-similarity[J];Electronics Quality;2009-02
8 CAI Guo-yong,GU Tian-long (School of computer and control,Guilin University of Electronic Technology,Guilin 541004);Application of cooperative learning in the teaching practice of the course of protocol engineering[J];Journal of Guilin University of Electronic Technology;2008-04
9 Wen Fan Li Simin Tang Zhiling(Department of Electronic Engineering,Guilin University of Electronic Technology,Guilin 541004,China);Research on routing protocol for wireless sensor network within formalized technique[J];Foreign Electronic Measurement Technology;2009-04
10 GAO Xiang~(1,2),RONG Zhou~2,MA Xiu-fei~2,ZHOU Liang~2 (1.Department of Instrument Science and Engineering of Southeast University,Jiangsu Nanjing 210096,China; 2.Nanjing University of Posts and Communications,Jiangsu Nanjing 210003,China);Network instrument and protocol conformance testing[J];Industrial Instrumentation & Automation;2005-01
China Proceedings of conference Full-text Database 1 Hits
1 Song Yan Xu Aidong (Shen yang Institute of Automation,Chinese Academy of Sciences,Shen yang 110016,China );Test of ISO11783 communication stack[A];[C];2007
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved