Faultless web services for building complex systems based on formal theory "Session types"