Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications

Aspect-oriented Formal Specification Modeling of Air Traffic Control System

Authors
Shihang Guo, LiChen Zhang
Corresponding Author
Shihang Guo
Available Online May 2016.
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)

Volume Title
Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications
Series
Advances in Engineering Research
Publication Date
May 2016
ISBN
978-94-6252-195-7
ISSN
2352-5401
DOI
10.2991/wartia-16.2016.109How to use a DOI?
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/).

Cite this article

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  -