Static typing and dependency management for SOA

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.

---

1. Track 4: Software Systems Development & Applications

---

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