Formal Specification with Z Language for Mobile-agent System

Abstract

Abstract: This paper deploys the procedure from non-formalization to formalization: first specifies the mobile-agent by natural language, then refines the mobile-agent system with formal language Z and component concept. This paper provides a formal foundation of mobile-agent system and a precise and efficient development method for mobile-agent system.

摘要： 采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法。

关键词: 形式化方法, 移动代理, 组件, 软件工程, Z语言

CLC Number:

TN929.5

CHEN Jie, LI Gansheng. Formal Specification with Z Language for Mobile-agent System[J]. , 2003, 29(19): 90-92.

程劼,李赣生. 移动Agent系统的Z语言形式化描述[J]. , 2003, 29(19): 90-92.

[1]	LIN Feng, LI Chuanwei, DUAN Jianlan, JIANG Jianchun, FU Shiming. Research on C-V2X Wireless Resource Management Algorithm [J]. Computer Engineering, 2021, 47(2): 212-218.
[2]	XU Changbiao, GUO Ruibo, XIAN Yongju. Deployment Scheme of In-Band Backhaul Base Station in Heterogeneous Network [J]. Computer Engineering, 2020, 46(1): 150-156,163.
[3]	YANG Guanzhi, CHEN Pengfei, CUI Xinkai, HOU Weiyan. Overview and Performance Test of NB-IoT [J]. Computer Engineering, 2020, 46(1): 1-14.
[4]	CHEN Yuwan, JIA Xiangdong, FAN Qiaoling, XIE Mangang, JI Shanshan. Research on Physical Layer Security for Heterogeneous Network Based on Non-Optimal User Cascade Scheme [J]. Computer Engineering, 2019, 45(10): 139-143,149.
[5]	LONG Ken, QIAN Meiling, YU Xiang, CHEN Kan. A Bandwidth Resource Orchestration Algorithm Based on Network Slicing [J]. Computer Engineering, 2019, 45(10): 78-83.
[6]	JIN Yeqi, XU Youyu, ZHENG Min, TAN Chong, WANG Hong. M2M Uplink Priority Scheduling Algorithm Based on Dynamic Grouping [J]. Computer Engineering, 2019, 45(8): 129-134.
[7]	LONG Xiangyang, YAO Jianguo. SAGE Iterative Channel Estimation Algorithm for Massive MIMO Systems [J]. Computer Engineering, 2019, 45(8): 141-145.
[8]	LI Linxiao, CHENG Fang, LI Huimin. Overlapping Segmentation Detection Algorithm of Primary Synchronization Signal in LTE-A System [J]. Computer Engineering, 2019, 45(7): 103-107.
[9]	XIAN Yongju,ZHENG Jian,XU Changbiao. Clustering-based User Resource Allocation Scheme for Small Base Station [J]. Computer Engineering, 2019, 45(5): 110-115.
[10]	LIU Hai,YU Xiang,LI Jinru. Routing and QoS Scheduling Algorithm in Millimeter Wave Backhaul Networks [J]. Computer Engineering, 2019, 45(4): 56-60.
[11]	XIE Mangang,JIA Xiangdong,ZHOU Meng,YANG Xiaorong,HAN Conghui. Analysis for Outage Probability of Two-hop Relay Cooperative Heterogeneous Networks [J]. Computer Engineering, 2019, 45(4): 61-65.
[12]	WANG Yuting,ZHENG Guoqiang,MA Huahong,WU Honghai,LI Jishun. Cognitive Radio Networks Routing Protocol Based on Channel Selection [J]. Computer Engineering, 2019, 45(4): 87-92.
[13]	XU Ziwei,LIU Guangzhong. LTE Uplink Scheduling Algorithm Based on QoS Forwards Compatibility to WiMAX [J]. Computer Engineering, 2019, 45(4): 93-99.
[14]	JI Shanshan,JIA Xiangdong,XU Wenjuan,YANG Xiaorong,FAN Qiaoling,CHEN Yuwan. Maximum Harmonic Mean-based User-Pair Association Scheme for Multi-tier Heterogeneous Networks [J]. Computer Engineering, 2019, 45(1): 40-44.
[15]	WANG Tao,ZHOU Zhigang,LI Mao. User-centric Adaptive Base Station and Beam Selection Algorithm [J]. Computer Engineering, 2019, 45(1): 50-54.

Please choose a citation manager

Content to export