Aspect-oriented Formal Specification Modeling of Air Traffic Control System

DOI

10.2991/wartia-16.2016.109How to use a DOI?

Keywords

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

Abstract

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.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Shihang Guo
AU  - LiChen Zhang
PY  - 2016/05
DA  - 2016/05
TI  - Aspect-oriented Formal Specification Modeling of Air Traffic Control System
BT  - Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications
PB  - Atlantis Press
SP  - 538
EP  - 541
SN  - 2352-5401
UR  - https://doi.org/10.2991/wartia-16.2016.109
DO  - 10.2991/wartia-16.2016.109
ID  - Guo2016/05
ER  -