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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.