Static typing and dependency management for SOA

• Autorzy: Gerasimov N.

Identyfikatory

DOI

10.15439/2018F240

• Konferencja: Federated Conference on Computer Science and Information Systems (09-12.09.2018 ; Poznań, Poland)
• Języki publikacji: EN

Abstrakty

EN

Several problems related to work reliability appear while building service-oriented systems. The first problem consists in lack of static typing and lack of inter-service data type checking. The second one consists in high services connectivity. The article shows an example of strong and static polymorphic type system and a type check algorithm. Type system syntax and service-contract concept are described. Theoretic results were realized in a service form and were applied in practice in a real system, which improved its reliability. Also, technical realization decreased services connectivity which promoted system quality increase.

Słowa kluczowe

EN

microservice; SOA; static typing

PL

mikrousługi; SOA; statyczna kontrola typu

• Wydawca: Polskie Towarzystwo Informatyczne
• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2018
• Tom: Vol. 16
• Strony: 105--107
• Opis fizyczny: Bibliogr. 9 poz., wz.

Twórcy

autor

Gerasimov N.

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

Bibliografia

• [1] A. Wright, H. Andrews, G. Luff “JSON Schema Validation: A Vocabulary for Structural Validation of JSON”, http://jsonschema.org/latest/json-schema-validation.html
• [2] B. Pierce “Types and Programming Languages”, London: MIT Press, 2002, pp. 251-254.
• [3] H. Kohei, V. T. Vasconcelos, M. Kubo “Language primitives and type discipline for structured communication-based programming” Programming Languages and Systems, Lecture Notes in Computer Science, vol 1381, Springer, Berlin, 1998
• [4] L. Sun, H. Dong, F. Hussain, O. Hussain, E. Chang “Cloud service selection: State-of-the-art and future research directions” Journal of Network and Computer Applications, Austria, October 2014.
• [5] N. Dragoni et al “Microservices: Yesterday, Today, and Tomorrow” Present and Ulterior Software Engineering, pp. 195-216, Springer, Cham, 2017
• [6] Contract checker, http://github.com/tariel-x/cc
• [7] OpenAPI Specification, https://github.com/OAI/OpenAPISpecification/blob/master/versions/3.0.1.md
• [8] R. Rodger “The tao of microservices”, Manning publications, 2017, unpublished, pp. 17-19.
• [9] Web Services Description Language (WSDL), https://www.w3.org/TR/wsdl

Uwagi

1. Track 4: Software Systems Development & Applications

2. Technical Session: 5th Doctoral Symposium on Recent Advances in Information Technology