The static constructsare used, together with descriptions of the dynamic behavior of the architectureto obtain the executable operational X-architecture (X = executable property)