Aspect-oriented Formal Specification Modeling of Air Traffic Control System

被引：0

作者：

Guo Shihang ^{[1
]}

Zhang Lichen ^{[1
]}

机构：

[1] Guangdong Univ Technol, Sch Comp Sci & Technol, Guangzhou 510000, Guangdong, Peoples R China

来源：

PROCEEDINGS OF THE 2016 2ND WORKSHOP ON ADVANCED RESEARCH AND TECHNOLOGY IN INDUSTRY APPLICATIONS | 2016年 / 81卷

关键词：

Aspect-oriented; ATCS; Formal specification; Object-Z;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Because of lack of aspect-oriented programing technology during the early stage of soft programing, this paper developed a method which combines the aspect-oriented programing technology with formal specification language. Aspect-oriented programing technology separates the different concerns of system. Formal specification language is a language based on logic and mathematics, so it is good to redundancy of ambiguity and reliability of system. This paper is going to extend the Object-Z to have the ability of aspect-oriented programing technology and use it to model the air traffic control system at the end.

引用

页码：540 / 543

页数：4