Actividad 2.

Lenguaje descriptor de arquitectura

1. Identifica y describe qu es un lenguaje descriptor de arquitecturas.
La definicin de ADL que habr de aplicarse en lo sucesivo es la de un lenguaje descriptivo de modelado que se focaliza en la estructura de alto nivel de la aplicacin antes que en los detalles de implementacin de sus mdulos concretos La definicin ms simple es la de Tracz [Wolf97] que define un ADL como una entidad consistente en cuatro Cs: componentes, conectores, configuraciones y restricciones (constraints

2. Elabora una lista de manera tabular al menos 5 lenguajes descriptores de arquitectura, incluyendo sus principales caractersticas.
ADL Fecha Investigador Organismo Monroe & Garlan (CMU), Wile (USC) Observaciones Lenguaje intercambio ADLs de de Caractersticas Acme soporta la definicin de cuatro tipos de arquitectura: la estructura (organizacin de un sistema en sus partes constituyentes); las propiedades de inters (informacin que permite razonar sobre el comportamiento local o global, tanto funcional como no funcional); las restricciones (lineamientos sobre la posibilidad del cambio en el tiempo); los tipos y estilos. La estructura se define utilizando siete tipos de entidades: componentes, conectores, sistemas, puertos, roles, representaciones y rep-mapas (mapas de representacin). Se basa en el estilo de tubera y filtros propio de UNIX. Capacidad de modelar ciertos aspectos de una arquitectura,

Acme

1995

Garlan (CMU) Aesop 1994 Terry, Hayes-Roth, Erman (Teknowledge, DSSA) Monroe (CMU)

ArTek

1994

ADL de propsito general, nfasis en estilos Lenguaje especfico de dominio No es ADL ADL asociado a Acme

Armani

1998

Taylor/Medvidovic (UCI) C2 SADL 1996

ADL especfico de estilo

Berry / Boudol CHAM 1990

Lenguaje de especificacin

Es un lenguaje puramente declarativo que describe la estructura del sistema y las restricciones a respetar, pero no hace referencia alguna a la generacin del sistema o a la verificacin de sus propiedades no funcionales o de consistencia Los conectores trasmiten mensajes entre componentes, los cuales mantienen el estado, ejecutan operaciones e intercambian mensajes con otros componentes a travs de dos interfaces (llamadas top y bottom). Proporciona una base til para la descripcin de una arquitectura debido a su capacidad de componer especificaciones para las partes y describir explcitamente las reglas de composicin

ADL

Fecha

Investigador Organismo Magee, Dulay, Eisenbach, Kramer

Observaciones ADL con nfasis en dinmica

Caractersticas Soporta la descripcin de arquitecturas que se reconfiguran dinmicamente a travs de dos construcciones: instanciacin tarda [lazy] y construcciones dinmicas explcitas, est orientado ms que nada al diseo de arquitecturas dinmicas y cambiantes El objetivo principal de Jacal es lo que actualmente se denomina animacin de arquitecturas. Esto es, poder visualizar una simulacin de cmo se comportara en la prctica un sistema basado en la arquitectura que se ha representado Utiliza el lenguaje Ada para la implementacin y Anna para la especificacin. Diseado para garantizar la puesta en marcha, la confiabilidad y la seguridad de los sistemas modelados, y tambin considera la disponibilidad y las propiedades de los recursos de hardware Lenguaje de descripcin de sistemas de propsito general que permite modelar interfaces de componentes y su conducta observable. Simulacin y determinacin de la conformidad de una arquitectura.

Darwin

1991

Jacal

1997

Kicillof , Yankelevich (Universidad de Buenos Aires)

ADL - Notacin de alto nivel para descripcin y prototipado

LILEANNA

1993

Tracz Federal)

(Loral

Binns, Englehart (Honeywell) MetaH 1993

Lenguaje de conexin de mdulos ADL especfico de dominio

Luckham (Stanford) Rapide 1990

ADL simulacin

&

SADL

1995

UML

1995

Moriconi, Riemenschneider (SRI) Rumbaugh, Jacobson, Booch (Rational) Shaw (CMU)

UniCon

1995

ADL con nfasis en mapeo de refinamiento Lenguaje genrico de modelado No es ADL ADL de propsito general, nfasis en conectores y estilos

Garlan (CMU)

ADL de propsito general, nfasis en comunicacin

Wright

1994

Proporciona una herramienta de diseo para construir configuraciones ejecutables basadas en tipos de componentes, implementaciones y conexiones expertas que soportan tipos particulares de conectores Integracin de una metodologa formal con una descripcin arquitectnica y la aplicacin de procesos formales tales como lgebras de proceso y refinamiento de procesos a una verificacin automatizada de las propiedades de las arquitecturas de software.

xADL

2000

Medvidovic, Taylor (UCI, UCLA)

ADL basado en XML

REFERENCIA: Lenguajes de Descripcin de Arquitectura (ADL) Versin 1.0 Marzo de 2004 Carlos Reynoso Nicols Kicillof UNIVERSIDAD DE BUENOS AIRES