... Runtime Environment (IDRE) aimed at overcoming the ULS impact on software system development. Formally grounded abstractions and models enable reasoning about the properties, both functional and non-functional, of ULS choreographies. Dynamic choreography-centric development process allows the fusion of the user/developer/system roles, while managing the ULS service base, and supports the synthesi ...