The research problem is to create method for run-time composition, formal modeling (specification, validation) with immediate automated implementing of new run-time changes and dynamicity properties of distributed software, which realize collaborative services in ubiquitous environments. ”РАДУГА” is a proposed service dynamicity modeling method, with run-time composition language: a) expressive and universal to grasp run-time dynamicity in ubiquitous scenarios; b) intuitive for end-users, easily extendable, evolvable, open-ended, with colorful representation; c) hiding (encapsulating) complexity of all details, necessary for automated implementation of dynamicity changes and for formal reasoning about properties; d) compact (light-weight), interpreted (cross-platform), collaborating with external systems.