New approach to typified microservice composition and discovery

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.