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

Jesús Torres Valderrama , José Antonio Troyano Jiménez , José Miguel Toro Bonilla

• 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).