Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: statyczna kontrola typu

Sortuj według:

Ogranicz wyniki do:

Static typing and dependency management for SOA

Gerasimov N.

Annals of Computer Science and Information Systems

2018

Vol. 16

105--107

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.