Resumen:
This article describes a systematic approach that allows architectural models with structural descriptions and behaviour to be derived from TeleoReactive (TR) programs. The work is integrated in C-Forge [1], a toolchain for the development of reactive systems based on the use of frameworks, design patterns and code generation through model transformations, which has been used as the target for the integration of TR-specifications. This toolchain revolves around a modelling language for component-based applications, where component behaviour is modelled by means of state-machines, which decide the code the component will execute in response to messages coming from other application components and to internal computations.