Navegación

Búsqueda

Búsqueda avanzada

From Teleo-Reactive specifications to architectural components: A model-driven approach

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.

Palabras Clave:

Autor(es):

  • Pedro Sánchez {pedro.sanchez@upct.es}
    División de Sistemas e Ingeniería Electrónica (DSIE) Universidad Politécnica de Cartagena, 30.202 Cartagena, España
  • Diego Alonso {}
    División de Sistemas e Ingeniería Electrónica (DSIE) Universidad Politécnica de Cartagena, 30.202 Cartagena, España
  • José Miguel Morales {}
    División de Sistemas e Ingeniería Electrónica (DSIE) Universidad Politécnica de Cartagena, 30.202 Cartagena, España
  • Pedro Navarro {}
    División de Sistemas e Ingeniería Electrónica (DSIE) Universidad Politécnica de Cartagena, 30.202 Cartagena, España

Handle:

11705/JISBD/2013/027

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.