New approach to typified microservice composition and discovery

• Autorzy: Gerasimov Nikita

Identyfikatory

DOI

10.14313/JAMRIS_1-2019/10

• Języki publikacji: EN

Abstrakty

EN

Several problems related to work reliability appear while building service-oriented systems. The first problem consists of the lack of static typing and the lack of interservice data type checking. The second one consists of the high connectivity of services. The article shows an example of the strong and static polymorphic type system and the type check algorithm. The service-contract and the contract discovery concepts for universal service linking and type verification are described. After theoretic results had been realized in a service form, they were applied in practice in the real system, which improved its reliability. Also, technical realization decreased services connectivity, which promoted system quality increase. However, the increased complexity of the resulting system leveled advanced reliability.

Słowa kluczowe

EN

micro-service architecture; static typing; SOA; service composition; service contract

PL

architektura mikrousług; SOA; świadczenie usług

• Wydawca: Łukasiewicz Industrial Research Institute for Automation and Measurements PIAP
• Czasopismo: Journal of Automation Mobile Robotics and Intelligent Systems
• Rocznik: 2019
• Tom: Vol. 13, No. 1
• Strony: 79--83
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Gerasimov Nikita

• Mathematics and Mechanics Faculty, Saint Petersburg University, Universitetsky prospekt, 28, Peterhof, St. Petersburg, Russia

Bibliografia

• [1] Apache Software Foundation, “Apache Avro™ 1.9.0 Documentation”, http://avro.apache.org/docs/current/, Accessed on: 2018-11-10.
• [2] Google, “Developer Guide | Protocol Buffers”, https://developers.google.com/protocolbuffers/docs/overview, Accessed on: 2018-11-10.
• [3] W3C, “Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language”, https://www.w3.org/TR/wsdl, Accessed on: 2018-04-26.
• [4] OpenAPI Initiative, “The OpenAPI Specification”, https://github.com/OAI/OpenAPISpecification/blob/master/versions/3.0.1.md,Accessed on: 2018-04-26.
• [5] N. Dragoni, S. Giallorenzo, A. L. Lafuente, M. Mazzara, F. Montesi, R. Mustafin, and L. Safina. “Microservices: Yesterday, Today, and Tomorrow”. In: M. Mazzara and B. Meyer, eds., Present and Ulterior Software Engineering, 195–216. Springer International Publishing, Cham, 2017.
• [6] N. Gerasimov. “Contract checker”,http://github.com/tariel-x/cc, Accessed on: n2018-05-07.
• [7] N. Gerasimov, “Static typing and dependency management for SOA”. In: Annals of Computer Science and Information Systems, vol. 16, 2018, 105–107.
• [8] K. Honda, V. T. Vasconcelos, and M. Kubo. “Language primitives and type discipline for structured communication-based programming”. In: G. Goos, J. Hartmanis, J. van Leeuwen, and C. Hankin, eds., Programming Languages and Systems, volume 1381, 122–138. Springer Berlin Heidelberg,Berlin, Heidelberg, 1998.
• [9] A. L. Lemos, F. Daniel, and B. Benatallah, “Web Service Composition: A Survey of Techniques and Tools”, ACM Comput. Surv., vol. 48, no. 3, 2015, 33:1–33:41, DOI: 10.1145/2831270.
• [10] B. C. Pierce, Types and Programming Languages, The MIT Press: Cambridge, 2002.
• [11] R. Rodger, The Tao of Microservices, Manning Publications: Shelter Island, New York, 2017.
• [12] Q. Z. Sheng, X. Qiao, A. V. Vasilakos, C. Szabo, S. Bourne, and X. Xu, “Web services composition: A decade’s overview”, Information Sciences, vol. 280, 2014, 218–238, DOI: 10.1016/j.ins.2014.04.054.
• [13] L. Sun, H. Dong, F. K. Hussain, O. K. Hussain, and E. Chang, “Cloud service selection: State-of-the-art and future research directions”, Journal of Network and Computer Applications, vol. 45, 2014, 134–150, DOI: 10.1016/j.jnca.2014.07.019.
• [14] A. Wright, H. Andrews, G. Luff, “JSON Schema Validation: A Vocabulary for Structural Validation of JSON”, http://json-schema.org/latest/jsonschema-validation.html, Accessed on: 2018-04-26