Ir al contenido

Documat


Desde el lenguaje de especificación orientado a objetos Tesoro y Lotos.

  • Autores: Jesús Torres Valderrama Árbol académico, José Antonio Troyano Jiménez Árbol académico, José Miguel Toro Bonilla Árbol académico
  • Localización: Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 27, Nº. 2, 1994, págs. 22-31
  • Idioma: español
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • español

      En este trabajo se presenta el Lenguaje de Especificación 00 TESORO. En este lenguaje, un Objeto va a estar compuesto de un estado, un comportamiento y unas reglas de transición. Estas componentes se pueden describir mediante Especificaciones Algebraicas de Tipos de Datos y Algebra de Procesos. Establecemos la semántica de nuestro lenguaje en términos de la traducción a LOTOS, al integrar esta TDF un lenguaje de especificación algebraica (ACT ONE) y un lenguaje de descripción de procesos (basado en CCS).

    • English

      In this paper we show TESORO, an Object-Oriented Specification Language. In this language, an Object consist of a state, a behaviour and a set of transition rules between states. These components can be described by means of Algebraic Specification of Data Types and Process Algebra. We stablish the semantics of our language in terms of the translation to LOTOS, since this FDT is made up by a algebraic specification language (ACT ONE) and a process description language (based on CCS).


Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno