Introduccin a la Arquitectura de Software

Carlos Reynoso

UNIVERSIDAD DE BUENOS AIRES

Billyreyno@hotmail.com

Temario
Contexto Estereotipos Antecedentes histricos Definicin Corrientes principales Conceptos fundamentales Estilos arquitectnicos Lenguajes de Descripcin Arquitectnica (ADLs) Mtodos clsicos, arquitectnicos y giles Situacin & Roadmap http://www.microsoft.com/spanish/msdn/arquitectur a Paper

Contexto
Los 3 grandes temas de ingeniera de software
Patrones
Design patterns (GoF) - 1995 Erich Gamma, Richard Helm, Ralph Johnson y John Vlissides Architectural patterns (POSA) - 1996 Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad y Michael Stal Organizational patterns (Coplien)

Arquitectura de Software Mtodos heterodoxos (eXtreme Programming, Scrum, Evo, FDD, DSDM, RUP, AM, Crystal, LD, ASD)

Otros:
Refactorizacin (Fowler)

AOP..

Estereotipos
Arquitectura como normativa madura Herramientas de diseo arquitectnico Lenguajes arquitectnicos iguales en la academia y la industria UML como lenguaje formal de modelado Arquitectura vinculada con ingeniera & ciclo de vida Arquitectura vinculada a metodologa (RUP) La AS tiene que ver con modelado OO Hay vnculo natural entre requerimientos (casos de uso) y clases Las herramientas arquitectnicas generan el cdigo de la aplicacin

Antecedentes histricos
Edsger Dijkstra, 1968
Ciencias de la computacin como rama aplicada de las matemticas Niveles de abstraccin

NATO, 1969
P. I. Sharp, Arquitectura de software

Fred Brooks, 1975 MMM

Arquitectura como interfaz usuario

David Parnas
1972: Mdulos Ocultamiento de informacin 1974: Estructuras de software 1976: Familias de programas (rbol de decisin)

Antecedentes histricos
Dewayne Perry, Alexander Wolf 1992
Foundations for the study of software architecture
La dcada de 1990, creemos, ser la dcada de la arquitectura de software. Usamos el trmino arquitectura en contraste con diseo, para evocar nociones de codificacin, de abstraccin, de estndares, de entrenamiento formal (de los arquitectos de software) y de estilo. Es tiempo de re-examinar el papel de la arquitectura de software en el contexto ms amplio del proceso de software y de su administracin, as como sealar las nuevas tcnicas que han sido adoptadas.

Escuela de Carnegie Mellon (CMU-SEI)

Bibl

Mary Shaw, David Garlan, Paul Clements, Robert Allen

Definicin
http://www.sei.cmu.edu/architecture/definitions.html
(1) Proceso dentro del ciclo de vida, (2) Topologa, (3) Disciplina.

Arquitectura - IEEE 1471-2000:

La Arquitectura de Software es la organizacin fundamental de un sistema encarnada en sus componentes, las relaciones entre ellos y el ambiente y los principios que orientan su diseo y evolucin.

Ingeniera - IEEE 610.12.1990:

La aplicacin de una estrategia sistemtica, disciplinada y cuantificable al desarrollo, aplicacin y mantenimiento del software; esto es, la aplicacin de la ingeniera al software.

Otras definiciones
Clements, 1996:
La AS es, a grandes rasgos, una vista del sistema que incluye los componentes principales del mismo, la conducta de esos componentes segn se la percibe desde el resto del sistema y las formas en que los componentes interactan y se coordinan para alcanzar la misin del sistema. La vista arquitectnica es una vista abstracta, aportando el ms alto nivel de comprensin y la supresin o diferimiento del detalle inherente a la mayor parte de las abstracciones. * Vista - * Componente

Corrientes principales
Arquitectura como etapa de la ingeniera de software orientada a objetos
James Rumbaugh, Grady Booch, Ivar Jacobson (los 3 amigos), Craig Larman

Arquitectura estructural SEI

Garlan, Shaw, Clements Variantes con modelos de datos (Medvidovic), variantes radicales, formales (Moriconi-SRI), etc

Arquitectura basada en patrones SEI Arquitectura procesual

Kazman, Bass (SEI)

Vistas
1977, anlisis estructurado (Douglas Ross)
Separacin de incumbencias Habitualmente 2 (funcional y de datos ninguna aparece en AS)

La AS clsica no habla de vistas

Se basa en vista nica e implcita, de carcter estructural Muchos arquitectos evitan hablar de vistas Cuando las vistas proliferan, se requieren lenguajes formales especficos para cada clase de vista Las vistas son una abstraccin conveniente, pero su abundancia involucra problemas de sincronizacin

Lista corta (3 a 6) Lista larga (8 o 9) Viewpoints96

Conceptos fundamentales Vistas & frameworks

Zachman (Niveles) Alcance Empresa Sistema lgico Tecnologa Representacin Funcionamiento TOGAF (Arquitecturas) Negocios Datos Aplicacin Tecnologa 4+1 (Vistas) Lgica Proceso Fsica Desarrollo Casos de uso [BRJ99] (Vistas) Diseo Proceso Implementacin Despliegue Casos de uso POSA (Vistas) Lgica Proceso Fsica Desarrollo Microsoft (Vistas) Lgica Conceptual Fsica

Tabla 1 - Vistas en los marcos de referencia

Vistas de UML
rea Estructural Vista Vista esttica Vista de casos de uso Vista de implementacin Vista de despliegue Dinmica Vista de mquinas de estados Vista de actividad Vista de interaccin Diagramas Diagrama de clases Diagramas de casos de uso Diagrama de componentes Diagrama de despliegue Diagrama de estados Diagrama de actividad Diagrama de secuencia Diagrama de colaboracin Diagrama de clases Conceptos principales Clase, asociacin, generalizacin, dependencia, realizacin, interfaz Caso de uso, actor, asociacin, extensin, inclusin, generalizacin de casos de uso Componente, interfaz, dependencia, realizacin Nodo, componente, dependencia, localizacin Estado, evento, transicin, accin Estado, actividad, transicin de terminacin, divisin, unin Interaccin, objeto, mensaje, activacin Colaboracin, interaccin, rol de colaboracin, mensaje Paquete, subsistema, modelo

Gestin del modelo

Vista de gestin del modelo Tabla 2 - Vistas y diagramas de UML, basado en [RJB00: 22]

Vistas de UML
Vistas y puntos de vista no estn homogeneizados en textos y autores Cuando los 3 hablan de AS, las vistas no se refieren a viewpoints o concerns, sino a niveles de abstraccin Definicin diferente de arquitectura
Interfaces en vez de conectores Objetos en lugar de componentes

Estilos Arquitectnicos
Perry & Wolf, 1992 Rumbaugh & al 1991
(1) transformaciones en lote, (2) transformaciones continuas, (3) interfaz interactiva, (4) simulacin dinmica de objetos del mundo real, (5) sistemas de tiempo real, (6) administrador de transacciones con almacenamiento y actualizacin de datos Pero: estilos arquitectnicos, arquitecturas comunes, marcos de referencia arquitectnicos prototpicos, formas comunes, clases de sistemas

Incluyen:
Componentes Conectores Estructuras (topologas) Restricciones (constraints)

Estilos

Flujo de datos
Secuencial en lotes Red de flujo de datos (tuberas & filtros) Bucle de control cerrado

Llamada y Retorno
Programa principal / subrutinas Ocultamiento de informacin (ADT, objeto, cliente/servidor elemental)

Procesos interactivos
Procesos comunicantes Sistemas de eventos (invocacin implcita, eventos puros)

Repositorio Orientado a Datos

Bases de datos transaccionales (cliente/servidor genuino) Pizarra Compilador moderno

Datos Compartidos
Documentos compuestos Hipertexto Fortran COMMON Procesos LW

Jerrquicos - En capas (intrpretes)

Tubera y filtros
Pizarra

Modelo-Vista-Controlador

Arquitectura en Capas

Mquina virtual

Modelo REST

Estilos
Presentacin especfica el segundo cuatrimestre Documento sobre Estilos Arquitectnicos Billyr@microsoft.com.ar http://www.microsoft.com/spanish/msdn/a rquitectura
Estilos

Estilos y patrones
POSA 96, Shaw 96 Patrones: Christopher Alexander 1977
Elementos que se repiten
Como un elemento en el mundo, cada patrn es una relacin entre cierto contexto, cierto sistema de fuerzas que ocurre repetidas veces en ese contexto y cierta configuracin espacial que permite que esas fuerzas se resuelvan. Como un elemento de lenguaje, un patrn es una instruccin que muestra la forma en que esta configuracin espacial puede usarse, una y otra vez, para resolver ese sistema de fuerzas, donde quiera que el contexto la torne relevante El patrn es, en suma, al mismo tiempo una cosa que pasa en el mundo y la regla que nos dice cmo crear esa cosa y cundo debemos crearla. Es tanto un proceso como una cosa; tanto una descripcin de una cosa que est viva como una descripcin del proceso que generar esa cosa.

Comentario

Problemas

Soluciones Patrones de llamadas entre objetos (similar a los patrones de diseo), decisiones y criterios arquitectnicos, empaquetado de funcionalidad

Fase de Desarrollo

Patrones de Arquitectura

Relacionados a la interaccin de objetos dentro o entre niveles arquitectnicos

Problemas arquitectnicos, adaptabilidad a requerimientos cambiantes, performance, modularidad, acoplamiento

Diseo inicial

Patrones de Diseo

Conceptos de ciencia de computacin en general, independiente de aplicacin

Claridad de diseo, multiplicacin de clases, adaptabilidad a requerimientos cambiantes, etc

Modelado del dominio, completitud, integracin y equilibrio de objetivos mltiples, planeamiento para capacidades adicionales comunes

Comportamiento de factora, ClaseResponsabilidadContrato (CRC)

Modelos de dominio, conocimiento sobre lo que habr de incluirse (p. ej. logging & reinicio) Armado de equipo, ciclo de vida del software, asignacin de roles, prescripciones de comunicacin

Diseo detallado

Patrones de Anlisis

Usualmente especficos de aplicacin o industria

Anlisis

Patrones de Proceso o de Organizacin

Desarrollo o procesos de administracin de proyectos, o tcnicas, o estructuras de organizacin

Productividad, comunicacin efectiva y eficiente

Planeamiento

Idiomas

Estndares de codificacin y proyecto

Operaciones comunes bien conocidas en un nuevo ambiente, o a travs de un grupo. Legibilidad, predictibilidad.

Sumamente especficos de un lenguaje, plataforma o ambiente

Implementacin, Mantemimiento, Despliegue

Lenguajes de Descripcin Arquitectnica (ADLs)

Lenguajes para el modelado, la descripcin y (eventualmente) la prueba de la arquitectura Presentacin especfica el segundo cuatrimestre

ADLs

Mtodos Clsicos, Arquitectnicos y giles

1. Modelos de proceso y diseo 1.1. Mtodos tradicionales y de peso completo CMM, UPM 1.2. Mtodos basados en arquitectura 1.2.1. Mtodos de anlisis y diseo en el ciclo de vida Visin general 1.2.2. Arquitectura basada en escenarios (FAAM, ALMA) 1.2.3. El diseo arquitectnico en el ciclo de vida: ABD 1.2.4. Active Review for Intermediate Design (ARID) 1.2.5. Quality Attribute Workshops (QAW) - QASAR 1.2.6. Attribute-Driven Design (ADD) 1.2.7. Evaluacin: Architecture Tradeoff Analysis Method (ATAM) 1.2.8. Mtodos de evaluacin de opciones arquitectnicas (SACAM) 1.2.9. Derivacin de tcticas arquitectnicas 1.2.10. Economa de la arquitectura: Cost-Benefits Analysis Method (CBAM) 1.2.11. Documentacin de la Arquitectura 1.3. Mtodos heterodoxos y de peso ligero: Mtodos Agiles, Programacin Extrema Concepcin cardica de los sistemas complejos

Metodologa Adaptive Software Development Agile Modeling Crystal Methods Agile RUP Dynamic Solutions Delivery Model Evolutionary Project Management Extreme Programming Feature-driven development Lean Development Rapid Development Rational Unified Process Scrum

Acrnimo ASD AM CM dX DSDM Evo XP FDD LD RAD RUP Scrum

Creacin Highsmith 2000 Ambler 2002 Cockburn 1998 Booch, Martin, Newkirk 1998 Stapleton 1997 Gilb 1976 Beck 1999 De Luca & Coad 1998 Palmer & Felsing 2002 Charette 2001, Mary y Tom Poppendieck McConnell 1996 Kruchten 1996 Sutherland 1994 Schwaber 1995

Tipo de modelo Prcticas + Ciclo de vida Metodologa basada en la prctica Familia de metodologas Framework / Disciplina Framework / Modelo de ciclo de vida Framework adaptativo Disciplina en prcticas de ingeniera Metodologa Forma de pensar Modelo logstico Survey de tcnicas y modelos Proceso unificado Proceso (framework de management)

Caracterstica Inspirado en sistemas adaptativos complejos Suministra modelado gil a otros mtodos MA con nfasis en modelo de ciclos XP dado vuelta con artefactos RUP Creado por 16 expertos en RAD Primer mtodo gil existente Mtodo gil radical Mtodo gil de diseo y construccin Metodologa basado en procesos productivos Seleccin de best practices, no mtodo Mtodo (gil?) con modelado Complemento de otros mtodos, giles o no

Manifesto gil (2001)

Estamos poniendo al descubierto formas mejores de desarrollo de software, hacindolo y ayudando a otros a que lo hagan. A travs de este trabajo hemos llegado a valorar: Los individuos y la interaccin por encima de los procesos y herramientas. El software que funciona por encima de la documentacin abarcadora. La colaboracin con el cliente por encima de la negociacin contractual. La respuesta al cambio por encima del seguimiento de un plan. Aunque hay valor en los elementos a la derecha, valorizamos ms los de la izquierda. Documento

Campos de AS
Fundamentos formales de la AS (bases matemticas, caracterizaciones formales de propiedades extrafuncionales tales como mantenibilidad, teoras de la interconexin, etc). Tcnicas de anlisis arquitectnicas Mtodos de desarrollo basados en arquitectura Recuperacin y reutilizacin de arquitectura Codificacin y gua arquitectnica Herramientas y ambientes de diseo arquitectnico Estudios de casos

Situacin
Academia La arquitectura se define explcitamente Industria Prevalece una comprensin conceptual de la arquitectura. Las definiciones explcitas son mnimas, eventualmente mediante notaciones No hay conectores explcitos de primera clase (a veces hay soluciones ad hoc de binding en tiempo de ejecucin) Se utilizan lenguajes de programacin

La arquitectura consiste en componentes y conectores de primera clase Los lenguajes de descripcin de arquitectura (ADLs) describen la arquitectura explcitamente y a veces la generan Los componentes reutilizables son entidades de caja negra Los componentes tienen interfaces con un solo punto de acceso

Se otorga prioridad a la funcionalidad y la verificacin formal

Los componentes son grandes piezas de software de estructuras interna compleja, no necesariamente encapsulados Las interfaces se proporcionan mediante entidades (clases en los componentes). Las entidades de interfaz no tienen diferencias explcitas de entidades que no son de interfaz La funcionalidad y los atributos de calidad (performance, robustez, tamao, reusabilidad, mantenibilidad) tienen igual importancia

Problemas de AS
Falta de criterio unificado Desarrollo en paralelo de conceptos antagnicos o no coordinados
Mtodos giles Metodologas de ciclo de vida Patrones

Poca masa crtica de herramientas y lenguajes de modelado arquitectnico (de alto nivel, con conectores de primera clase)

Beneficios
Decisiones tempranas Anlisis de consistencia Anlisis de tradeoff antes de escribir cdigo
Mary Shaw y David Garlan [1996] comparan una misma solucin de indexacin de palabras claves en cuatro estilos diferentes (datos compartidos, tubera y filtro, tipos abstractos de datos e invocacin implcita). El modelo permite estimar relaciones de dependencia, modularidad, refinamiento, reutilizacin, ventajas y desventajas de cada arquitectura antes de escribir una sola lnea de cdigo; demuestra tambin de qu manera los diferentes estilos definen tcticas especficas de descomposicin funcional y establecen la pauta que habr de seguirse en el desarrollo. Finalmente, SG aplican diversas tablas de comparacin de atributos, en un ejercicio de evaluacin de decisiones estilsticas que se ha convertido en un modelo en su gnero

Re-utilizacin

Oportunidades de carrera
-Programacin .NET -Arquitectura de Software .NET
http://carlosreynoso.com.ar
http://www.microsoft.com/spanish/msdn/arquitect ura

Preguntas?