UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES

EZEQUIEL ZAMORA
UNELLEZ

SUBPROYECTO:
Arquitectura del Software
ING. I NFORMATICA
SECCION 3ES01N

BARINAS, ABRIL 2015.

TSU:
RODRGUEZ EDGAR
C.I: 20.101.552
BOTIA DARWIN
C.I.: 20.961.938
CAMACHO GENESSIS
C.I.: 20.961.727
HERRERA JUNIOR
C.I: 23.913.009
MANTILLA JUAN
C.I.: 16.694.631

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

CUADRO EXPLICATIVO LDA

LDA

Acme

Caractersticas

Ventajas

Desventajas

Capaz de soportar el
mapeo de especificaciones
arquitectnicas entre
diferentes ADLs, o en
otras palabras, como un
lenguaje de intercambio de
arquitectura.

Su cdigo se encuentra
disponible tanto en C++
como en Java, y puede ser
invocada por lo tanto
desde cualquier lenguaje la
plataforma clsica de
Microsoft o desde el
framework de .NET.

No existe garanta de que

se alcanzar una solucin.

Define 4 tipos dentro de la

arquitectura y 7 elementos Soporta una variedad de
front-ends de carcter
fundamentales.
grfico, que se componen
por: AcmeStudio que es
Tipos
un entorno grfico basado

La
estructura: en Windows y Linux,
Organizacin de un susceptible de ser
sistema en sus partes configurado para soportar
visualizaciones especficas
constituyentes.
de estilos e invocacin de

Las propiedades de herramientas auxiliares

inters: informacin
que permite razonar

Es una arquitectura
ineficiente, puesto que no
existe una cota respecto al
tiempo de cmputo
necesario para resolver el
problema.
Es difcil obtener una traza
de los pasos que llevaron a
la solucin, es decir, no
ofrece explicaciones

Investigador

David Garlan
(Ao 1990)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
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.

Elementos

Componentes

Conectores

Sistemas

Puertos

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

Roles

Representaciones

Aesop

Mapas
representacin.

de

El nombre oficial es Aesop

Software
Architecture
Design
Environment
Generator.
Su
objetivo
es
la
exploracin de las bases
formales de la arquitectura
de software, el desarrollo
del concepto de estilo
arquitectnico
y
la
produccin
de
herramientas tiles a la
arquitectura.
Es una herramienta para

El ambiente de desarrollo
de Aesop System se basa
en el estilo de tubera y
filtros propio de UNIX.

Aesop no est disponible

en plataforma Windows,
aunque
naturalmente
puede
utilizarse para modelar
Un diseo en Aesop sistemas implementados
requiere manejar toda una en cualquier
jerarqua de lenguajes plataforma.
especficos, y en particular
FAM Command Language No incluye ningn soporte
(FCL, a pronunciar como nativo para la descripcin
fickle), que a su vez es de la semntica de un
una extensin de TCL estilo o configuracin,
orientada
a
soportar sino que apenas presenta
modelado arquitectnico.
unos cuadros vacantes
para
colocar
esa

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

ArTek

construir ambientes de
diseo de software basada
en
principios
de
arquitectura
Se lo conoce tambin
como
ARDEC/Teknowledge
Architecture Description
Language.
Es reconocidamente un
lenguaje especfico de
dominio y siempre fue
presentado como un caso
testigo de generacin de
un modelo a partir de una
instancia particular de uso.

informacin
comentario.

Aunque pueda no ser un

ADL en sentido estricto,
se
le
reconoce
la
capacidad de modelar
ciertos aspectos de una
arquitectura.

como

No es un genuino ADL,
por
cuanto
la
configuracin es modelada
implcitamente mediante
informacin
de
interconexin
que
se
distribuye
entre
la
definicin
de
los
componentes individuales
y los conectores.
Hoy en da ArTek no se
encuentra disponible en
ningn
sitio y para ninguna
plataforma.

Se
constituy en un Es un lenguaje puramente No hace referencia alguna
lenguaje de tipo ADL, declarativo que describe la a la generacin del sistema
especializado
en
la estructura del sistema y las o a la verificacin de sus

Desarrollado por
Teknowledge

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

Armani

C2 SADL

descripcin
de
la restricciones a respetar
estructura de un sistema y
su evolucin en el tiempo.

propiedades
funcionales
consistencia.

Armani se basa en siete

entidades para describir las
instancias del diseo:
componentes, conectores,
puertos, roles, sistemas,
representaciones
y
propiedades.
C2 o Chiron-2 no es
estrictamente un ADL sino
un estilo de arquitectura de
software que se ha
impuesto como estndar
en el modelado de
sistemas que requieren
intensivamente pasaje de
mensajes y que suelen
poseer una interfaz grfica
dominante.

El modelo semntico de
C2 es algo ms primitivo
que el de Rapide, por
ejemplo.

C2 SADL
Architecture

Soporte de lenguajes C2
soporta desarrollos en C+
+, Ada y Java, pero en
realidad no hay limitacin
en cuanto a los lenguajes
propios
de
la
implementacin.

no
de

Los componentes
semnticos se expresan en
trminos de relaciones
Modelos
de causales entre mensajes de
interoperabilidad
de entrada y salida de una
componentes como OLE y interfaz.
ms recientemente COM+
(Simulation no son ni perturbados ni En algn momento C2
Description reemplazados por C2, que SADL (que nunca pas de

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

CHAM

Language) es un ADL que

permite
describir
arquitecturas en estilo C2.
SADEL es otra variante; la
herramienta de modelado
cannica de este ltimo es
DRADEL
Llegado el
momento del auge de
XML. Se asegura que
SADL permiti formalizar
la
arquitectura
de
referencia y asegurar su
consistencia
con
la
arquitectura
de
implementacin.
Es usado para describir la
arquitectura
de
un
compilador. Se argumenta,
en efecto, que CHAM
proporciona una base til
para la descripcin de una
arquitectura debido a su
capacidad de componer
especificaciones para las
partes
y
describir

los ha integrado
naturalidad.

con la 22 fase de prototipo

alfa) fue reemplazado por
C2SADEL, cuya sintaxis
Disponibilidad
de es diferente y ya no se
plataforma

Existen articula en la misma clase

extensiones de Microsoft de mdulos declarativos e
Visio para C2 y x ADL.
imperativos.

El modelo de CHAM
reposa en una metfora
qumica en la cual la
conducta
de
una
arquitectura se especifica
definiendo mol- culas y
soluciones de molculas.
Tambin contiene reglas
de transformacin que
dictan las formas en que

La
formalizacin
mediante
CHAM
es
idiosincrtica y (por as
decirlo) hecha a mano, de
modo que no hay criterios
claros para analizar la
consistencia
y
la
completitud
de
las
descripciones
de
configuracin. Convendr

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

Darwin

explcitamente las reglas pueden evolucionar las

de composicin.
soluciones (o sea, en que
pueden
cambiar
los
Se basa en la tcnica de estados).
especificacin en lgebra
de procesos que utiliza
como fundamento terico
los sistemas de rescritura
de trminos para capturar
la conducta comunicativa
de
los
componentes
arquitectnicos.
Describe un tipo de Como su nombre lo indica,
componente mediante una Darwin est orientado ms
interfaz consistente en una que nada al diseo de
coleccin de servicios que arquitecturas dinmicas y
son ya sea provistos cambiantes.
(declarados
por
ese
componente) o requeridos Proporciona una semntica
(o sea, que se espera para
sus
procesos
ocurran en el entorno).
estructurales mediante el
clculo . Cada servicio
Soporta la descripcin de se modeliza como un
arquitecturas
que
se nombre de canal, y cada
reconfiguran
declaracin de enlace

contar entonces con alguna

herramienta
de
verificacin.

No proporciona una base

adecuada para el anlisis
de la conducta de una
arquitectura, debido a que
el modelo no dispone de
ningn
medio
para
describir las propiedades
de un componente o de sus
servicios ms que como
comentario.
Carece de la capacidad de
definir
nuevos
tipos,

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
dinmicamente a travs de
dos
construcciones:
instanciacin tarda y
construcciones dinmicas
explcitas.

LILEANNA

(binding) se entiende soportando

slo
una
como un proceso que amplia variedad de tipos
trasmite el nombre de ese de servicio predefinidos.
canal a un componente
que requiere el servicio

Utilizando instanciacin
laxa, se describe una
configuracin
y
se
instancian
componentes
slo en la medida en que
los servicios que ellos
provean sean utilizados
por otros componentes.
Es un lenguaje de
Se utiliza para producir
conexin de mdulos.
software de navegacin de
helicpteros.
LILEANNA es un ADL
ligado a desarrollos que
Permite la capacidad de
guardan relacin
modelar ciertos aspectos
especfica con helicpteros de una arquitectura.
La configuracin es
LILEANNA soporta
modelizada implcitamente diferentes estilos de
mediante informacin de comunicacin

No estn en lnea con

el estilo de
arquitectura orientada
a servicios o con
modelos igualmente
robustos.

Tracz (Loral Federal)

(Ao: 1.993)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
interconexin
Es un ADL (o ms
estrictamente un MIL) que
utiliza el lenguaje Ada
para la implementacin y
Anna para la
especificacin.
Es visto como ADL,
estructural y
sintcticamente distinto a
todos los dems.

MetaH

Modela arquitecturas en
los dominios de gua,
navegacin y control
(GN&C) y en el diseo
aeronutico.

Garantiza la puesta en
marcha, la confiabilidad y
la seguridad de los
sistemas modelados.

Considera
la
Est exclusivamente
disponibilidad
y
las
ligado a desarrollos hechos propiedades
de
los
en Ada en el dominio de recursos de hardware.
referencia.
Permite
una

Binns, Englehart
(Honeywell)
(Ao: 1.993)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
Disponibilidad
de
plataforma en Diferentes
Sistemas Operativos
Provee
un
conjunto
extenso de herramientas
visuales y de edicin de
texto

Rapide

Se caracteriza como un
lenguaje de descripcin de
sistemas de propsito
general que permite
modelar interfaces de
componentes y su
conducta observable.

La estructura de Rapide es
sumamente compleja.

Simula y determina la
conformidad
de
una Falta de caractersticas
Arquitectura.
de escalabilidad.

Rapide permite modelar la

de
sus
Los puntos de interfaz de conducta
los componentes se llaman componentes.
Constituyentes
El monitoreo de eventos y
Las interfaces de Rapide las herramientas nativas de
definen el comportamiento filtrado facilitan el anlisis
de arquitectura.
computacional de un
componente vinculando la

No es posible poner
nombre,
sub-tipear
o
reutilizar un conector.

Luckham (Stanford)
(Ao: 1.990)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
observacin de acciones
externas con la iniciacin
de acciones pblicas

Implementa verificacin
de consistencia y anlisis
mediante simulacin.

Toda la arquitectura es
simulada, generando un
conjunto de eventos que se
supone es compatible con
las especificaciones de
interfaz, conducta y

La simulacin es til para

detectar alternativas de
ejecucin.
Rapide soporta notacin
grfica.

restricciones.
Soporta construccin de
sistemas
ejecutables
especificados en VHDL,
C. C++, Ada y Rapide
mismo.
Puede generar cdigo C,
C++ y Ada

Soportaherencia,
anlogaaladelos
lenguajesOOP.

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

Jacal

JACAL es un lenguaje
grfico
multipropsito
para la descripcin de
arquitecturas de software
(ADL). Rene ventajas de
otros lenguajes existentes
y tiene la virtud de
permitir
la
ejecucin
(animacin)
de
las
arquitecturas
descritas.
Mediante
este
procedimiento se puede
comprobar
o
refutar
propiedades deseables de
los diseos y recopilar
mtricas dinmicas. Se
basa en una semntica
denotacin que traduce
arquitecturas a redes de
Petri, que a su vez poseen
una semntica operacional.
UniCon
(Universal
Connector Support) es un
ADL desarrollado por
Mary Shaw y otros

Una de las Caractersticas

deseables en un ADL, es
como por ejemplo contar
con una representacin
grfica que permita a
simple vista transmitir la
arquitectura del sistema,
sin necesidad de recurrir a
informacin adicional.
Para este fin, se cuenta con
un conjunto predefinido
(extensible) de conectores,
cada uno con una
representacin distinta.

Tambin hay un ambiente

de diseo y ejecucin de
sistemas descriptos en
JACAL.
La
versin
original fue implementada
en forma unipersonal
JACAL no puede o no
tiene la
capacidad de
reformular la arquitectura
de software, o de describir
sistemas de tiempo real.

JACAL est la aplicacin

fue desarrollada en C++
para plataformas Win32

UniCon es generar cdigo

ejecutable a partir de una
descripcin, a partir de
componentes primitivos

UniCon
(igual
que
Darwin) carece de la
capacidad
de
definir
nuevos tipos, soportando

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

UniCon

[SDK+95].
Proporciona
una herramienta de diseo
para
construir
configuraciones
ejecutables basadas en
tipos de componentes,
implementaciones
y
conexiones expertas que
soportan tipos particulares
de conectores.
UniCon se asemeja a
Darwin en la medida en
que
proporciona
herramientas
para
desarrollar
configuraciones
ejecutables de caja negra y
posee un nmero fijo de
tipos de interaccin, pero
el modelo de conectores
de ambos ADLs es
distinto.

adecuados.
UniCon se destaca por
su capacidad de manejo de
mtodos de anlisis de
tiempo real a travs de
RMA (Rate Monotonic
Analysis).

slo una amplia variedad

de tipos predefinidos.

Los tipos de componente

son
definidos
por
enumeracin, no siendo
posible definir sub-tipos y
careciendo por lo tanto de
Oficialmente se define capacidad de evolucin.
como un ADL cuyo foco
apunta a soportar la
variedad
de partes y
estilos que se encuentra en
la vida real y en la
construccin de sistemas a
partir de sus descripciones
arquitectnicas.
UniCon es el ADL propio
del proyecto Vitruvius,
cuyo objetivo es elucidar
un nivel de abstraccin de
modo tal que se pueda
capturar,
organizar
y
tornar
disponible
la

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ

UML

Forma parte de los

lenguajes semi-formales
de modelado
- Es un estndar para
modelado de sistemas.
-No es un estndar para
procesos de software.
Debe aplicarse en el
contexto de un proceso de
software.
Es una notacin, no es un
proceso.

experiencia
colectiva
exitosa de los arquitectos
de software.
Permite
visualizar,
especificar, construir y
documentar cada una de
las partes que comprende
el desarrollo del software.

No es una metodologa, es
una notacin.
No es un lenguaje de
programacin,
se
complementan.

Tiene una gran capacidad

de diagramacin.
No determina un proceso
definido.
Posee
una
buena No se presta con facilidad
flexibilidad para admitir al diseo de sistemas
cambios no previstos distribuidos.
durante el diseo o el
rediseo.
No es un mtodo de
desarrollo.
Promueve la reutilizacin
Es independiente al ciclo
Se puede usar para de desarrollo al no ser un
distintos tipos de sistemas. mtodo de desarrollo.
Es fcilmente entendible.

Rumbaugh, Jacobson,
Booch (Rational)
(Ao: 1.995)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
Es una herramienta de
Proporciona una base No aplica verificaciones
formalizacin de
formal para la descripcin de consistencia a travs de
conexiones arquitectnicas arquitectnica
la simulacin.

Wright

Define un conjunto de
Permite analizar tanto la No
define
el
controles de consistencia y arquitectura
de
los comportamiento
del
completitud estndar
sistemas
de
software mismo sino sus relaciones.
individuales y de las
Tiene como objetivo ser
familias de sistemas.
integrado de una
metodologa formal con
Sirve como un vehculo
una descripcin
para la exploracin de la
arquitectnica y la
naturaleza de las propias
aplicacin de procesos
abstracciones
formales tales como
arquitectnicas.
lgebras de proceso y
refinamiento de procesos a Permite
una
gran
una verificacin
confianza al diseador en
automatizada de las
el diseo de un sistema.
propiedades de las
arquitecturas de software. Se concentra en el
concepto de tipos de
conectores explcitos.
Permite el uso de la

Garlan (CMU)
(Ao: 1.994)

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
comprobacin
automatizada
caractersticas
arquitectnicas.

xADL

Se construye como
un lenguaje modular. Es
decir, no se define como
un lenguaje monoltico en
una sola descripcin, sino
ms bien como un
conjunto de mdulos
Es un LDA basado en
XML diseado para ser
usado por s mismo, as
como para ser extendido
soportando nuevas
aplicaciones y dominios

de

Wright permite declarar

propiedades que deben ser
obedecidas por cualquier
configuracin dentro del
estilo.
Fcilmente
extensible Esta falta de un conjunto
(mdulos)
esttico
de
etiquetas
permitidas por lo cual
Incorpora
soporte
de deben introducir un metamodelado para tiempo de lenguaje, para as definir
ejecucin y tiempo de idiomas.
diseo de elementos de un
sistema
Los cdigos pueden llegar
a ser muy complicado.
Integra apoyo a los tipos
arquitectnicos
Los usuarios son libres de
elegir los elementos de
este conjunto o crear sus

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ
Dispone un amplio
conjunto de herramientas
fcilmente adaptables (e
incluso directamente) a las
extensiones hechas de
xADL

propias extensiones

Al contrario de los
lenguajes anteriores, este
permite la especializacin
semntica a travs de
Se puede ampliar mediante mdulos de idiomas.
la adicin de nuevos
esquemas
Se construy desde el
principio para poder
ampliarse.
Consta de un conjunto
creciente de mdulos que
aaden nuevas
construcciones de
modelizacin o extienden
los ya existentes

No est destinado a hacer

frente a un dominio
semntico especfico, sino
ms bien para servir de
base para experimentar
con la creacin de nuevos
dominios la combinacin
de los dominios existentes,
experimentando
con
diferentes construcciones
de modelado en dominios
existentes, o el modelado
de dominios existentes en
un nuevo y ms formato
abierto.

UNIVERSIDAD NACIONAL EXPERIMENTAL

DE LOS LLANOS OCCIDENTALES
EZEQUIEL ZAMORA
UNELLEZ