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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
Wei, D., Wei, L.: Application of Java and XML schema in data validity verification. Comput. Eng. Des. 24(3), 65–68 (2003)
Yuxiang, L., Dafang, Z.: Design of general template for data validation. Comput. Appl. Res. 22(12), 73–75 (2005)
Youneng, H.: Research on Safety Processing and Verification Methods of Urban rail CBTC System Data. Beijing Jiaotong University, Beijing (2014)
Jian, W., Anna, Y., Chun, Y.: Data quality evaluation index system of command information system. Command Inf. Syst. Technol. 11(2), 85–88 (2020)
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)
Hua, C., Hui, R.: Design and implementation of simple data cleaning rule base. Command Inf. Syst. Technol. 3(5), 79–84 (2012)
Erfeng, Z., Gailing, T.: Semantic based sensor observation service system. J. Xi'an Univ. Posts Telecommun. 19(4), 63–69 (2014)
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)
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)
Huifen, D., Huihua, W., Dehua, Z., et al. Application of rule engine in command display system. Ordnance Autom. 36(8), 80–83 (2017)
Object Management Group: Semantics of Business Vocabulary and Business Rules (SBVR), v1. 0. OMG Document dtc/08-01-02 (2008) Google Scholar
Miller, J., Mukerji, J., et al.: Mda guide version 1.0. OMG Document: omg/200305-01 (2003). http://www.omg.org/mda/mda_les/MDAGuideVersion1-0.pdf
Linehan, M.: Ontologies and rules in business models. In: Eleventh International IEEE EDOC Conference Workshop, EDOC 2007, pp. 149–156. IEEE, Los Alamitos (2008).
Kleiner, M., Albert, P., Bézivin, J.: Parsing SBVR-based controlled languages. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 122–136. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04425-0_10
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
Goedertier, S., Mues, C., Vanthienen, J.: Specifying process-aware access control rules in SBVR. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 39–52. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75975-1_4
ShapeChange Technical Documentation (2022). https://shapechange.net
Acknowledgment
This work was sponsored by National Key Research and Development program (NO. 2018YFE0208700).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Wang, X., Tian, Y., Fu, S., Musila, C.M. (2023). Research on Semantic Verification Method of AIXM Data Based on SBVR. In: Liang, Q., Wang, W., Mu, J., Liu, X., Na, Z. (eds) Artificial Intelligence in China. AIC 2022. Lecture Notes in Electrical Engineering, vol 871. Springer, Singapore. https://doi.org/10.1007/978-981-99-1256-8_31
Download citation
DOI: https://doi.org/10.1007/978-981-99-1256-8_31
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-1255-1
Online ISBN: 978-981-99-1256-8
eBook Packages: Computer ScienceComputer Science (R0)