Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Traffic Flow Prediction Based on ACO-BI-LSTM Read chapter Read first chapter

2023 | OriginalPaper | Chapter

Research on Semantic Verification Method of AIXM Data Based on SBVR

Authors : Xiaowen Wang, Yungang Tian, Shenghao Fu, Charity Muthoni Musila

Published in: Artificial Intelligence in China

Publisher: Springer Nature Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Correct and complete aviation data is a prerequisite for SWIM cross-domain information sharing, which will affect the correct operation of the application program of the air traffic control system. The current syntax-based data verification method can verify the good structure of AIXM exchange documents. And rule constraints are usually in raw textual form and cannot be automatically enforced in computerized systems. This paper proposes an automated data semantic verification method for business rules based on SBVR, constructs the semantic rules meta-model of AIXM data, forms a set of AIXM business rules writing methods, and realizes the coding conversion path for implementing this method into system development, which supports automatic verification of more complex business logic and rule constraints.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Deep Learning-Enhanced ICA Algorithm for Sub-Gaussian Blind Source Separation
next chapter A Clustering-Based Anomaly Detection for Unstable Approach in Terminal Airspace
Literature
1.
Rui, Z., Ling, G.: Tian MI Research on client data validation method based on JS and regular expression. J. Yan'an Univ. Nat. Sci. Edn. 27(1), 21–24 (2008)
2.
Wei, D., Wei, L.: Application of Java and XML schema in data validity verification. Comput. Eng. Des. 24(3), 65–68 (2003)
3.
Yuxiang, L., Dafang, Z.: Design of general template for data validation. Comput. Appl. Res. 22(12), 73–75 (2005)
4.
Youneng, H.: Research on Safety Processing and Verification Methods of Urban rail CBTC System Data. Beijing Jiaotong University, Beijing (2014)
5.
Jian, W., Anna, Y., Chun, Y.: Data quality evaluation index system of command information system. Command Inf. Syst. Technol. 11(2), 85–88 (2020)
6.
Guangyu, Z., Qiuhui, Y., Cong, Z., Xinyu, G., Shu, Q.: Quality analysis method of open XML data. Comput. Appl. Res. 30(7), 2082–2086 (2013)
7.
Hua, C., Hui, R.: Design and implementation of simple data cleaning rule base. Command Inf. Syst. Technol. 3(5), 79–84 (2012)
8.
Erfeng, Z., Gailing, T.: Semantic based sensor observation service system. J. Xi'an Univ. Posts Telecommun. 19(4), 63–69 (2014)
9.
Dedong, M., Rui, F., Bin, Z.: Research on rule expression and verification of IEC 61850 model information. Power Syst. Prot. Control 43, (3), 131–136 (2015)
10.
Yan, C.: Application of rule engine in configuration data verification of train control products. Railway Commun. Sig. Eng. Technol. (RSCE) 17(7), 29–34 (2020)
11.
Huifen, D., Huihua, W., Dehua, Z., et al. Application of rule engine in command display system. Ordnance Autom. 36(8), 80–83 (2017)
12.
Object Management Group: Semantics of Business Vocabulary and Business Rules (SBVR), v1. 0. OMG Document dtc/08-01-02 (2008) Google Scholar
13.
14.
Linehan, M.: Ontologies and rules in business models. In: Eleventh International IEEE EDOC Conference Workshop, EDOC 2007, pp. 149–156. IEEE, Los Alamitos (2008).
15.
16.
Kamada, A., Governatori, G., Sadiq, S.: Transformation of SBVR compliant business rules to executable FCL rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) Semantic Web Rules. RuleML 2010. Lecture Notes in Computer Science, vol. 6403, pp. 153–161. Springer, Berlin (2010). https://​doi.​org/​10.​1007/​978-3-642-16289-3_​14
17.
18.
Metadata
Title
Research on Semantic Verification Method of AIXM Data Based on SBVR
Authors
Xiaowen Wang
Yungang Tian
Shenghao Fu
Charity Muthoni Musila
Copyright Year
2023
Publisher
Springer Nature Singapore
Book
Artificial Intelligence in China

Print ISBN: 978-981-9912-55-1

Electronic ISBN: 978-981-9912-56-8

Copyright Year: 2023

DOI
https://doi.org/10.1007/978-981-99-1256-8_31

Premium Partner

    Image Credits