Abstract
The article discusses some important aspects of designing cloud information systems based on formal grammars. The proposed approach is based on the formalization of the information exchange unit and the development of the fundamental principles of client-server interaction. The proposed universal unit of information exchange is compatible with both relational and non-relational databases. The data transfer protocol between all components of the information system is described. A transaction is chosen as an informational message, as some atomic operation consisting of a context and a descriptor. Two protocols for transferring a transaction between a client and a server are outlined, guaranteeing the integrity and security of the transmitted data. The approaches differ in the implementation of the access control system and the way the transaction is described. The advantages and disadvantages of each of the approaches are considered. As a description of the transaction, a model language is proposed, which is based on a context-free formal grammar. The language supports a full set of operations for interacting with the database, as well as control structures, and provides data type control. A translator of a model transaction description language has been implemented that generates a target code for programming languages popular with hosting providers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hatton, L.: Empirical test observations in client-server systems. Computer 40(5), 24–29 (2017)
Lenhardt, J., Chen, K., Schiffmann, W.: Energy-efficient web server load balancing. IEEE Syst. J. 11(2), 878–888 (2015)
Linthicum, D.S.: A guide to cloud-enabling your software. IEEE Cloud Comput. 3(2), 20–23 (2016)
Silva, L.M., Alonso, J., Torres, J.: Using virtualization to improve software rejuvenation. IEEE Trans. Comput. 58(11), 1525–1538 (2019)
Mitko, R.: Comparison between characteristics of NoSQL databases and traditional databases. Comput. Sci. Inf. Technol. 5, 149–153 (2017)
Han, W., Whang, K., Moon, Y.: A formal framework for prefetching based on the type-level access pattern in object-relational DBMSs. IEEE Trans. Knowl. Data Eng. 17(10), 1436–1448 (2015)
Bolognesi, T.: Toward constraint-object-oriented development. IEEE Trans. Softw. Eng. 26(7), 594–616 (2020)
Chillion, A.H., Ruiz, D.S., Molina, J.G., Morales, S.F.: A model-driven approach to generate schemas for object-document mappers. IEEE Access 7, 59126–59142 (2019)
Ermakov, N.V., Molodyakov, S.A.: A caching model for a quick file access system. J. Phys: Conf. Ser. 1864(1), 012095 (2020)
Unger, A.Y.: A formal pattern of information system design. J. Phys: Conf. Ser. 2094(3), 032045 (2021)
Korablin, Y.P.: Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages. Russ. Technol. J. 10(1), 18–27 (2022)
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 Switzerland AG
About this paper
Cite this paper
Unger, A.Y., Asadova, Y.S., Gololobov, A.A. (2023). Transaction-Oriented Approach to the Design of Information Systems Based on Formal Grammar. In: Jordan, V., Tarasov, I., Shurina, E., Filimonov, N., Faerman, V. (eds) High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production. HPCST 2022. Communications in Computer and Information Science, vol 1733. Springer, Cham. https://doi.org/10.1007/978-3-031-23744-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-031-23744-7_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-23743-0
Online ISBN: 978-3-031-23744-7
eBook Packages: Computer ScienceComputer Science (R0)