Professional Documents
Culture Documents
Billy Reynoso
Billyr@microsoft.com.ar
Objetivos
Suministrar una visin estructurada de la Arquitectura de Software contempornea
No es pedagoga Arquitectura 101, sino ms bien un survey de lo que significa AS, una evaluacin de lo que ha llegado a ser y una puntualizacin sobre lo que no es
Despejar malos entendidos sobre arquitectura como diseo de aplicaciones Vincular perspectivas de la academia y la industria Privilegiar elaboraciones de la corriente terica de CMU/SEI Describir desarrollos de estado de arte, problemas pendientes y tendencias Proporcionar referencias a recursos, documentacin y herramientas
http://www.microsoft.com/spanish/msdn/arquitectura
Temario
Objetivos Contexto Errores de concepto habituales Antecedentes histricos Definicin Repositorio de definiciones Corrientes principales Conceptos fundamentales (CMU/SEI) Estilos arquitectnicos Estilos y patrones Lenguajes de Descripcin Arquitectnica (ADLs) Atributos de calidad, escenarios y tcticas Mtodos basados en arquitectura Situacin, conclusiones y referencias
Contexto 1995-2005
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)
Mtodos heterodoxos (eXtreme Programming, Scrum, Evo, FDD, DSDM, RUP, AM, Crystal, LD, ASD) Arquitectura de Software
Otros:
Refactorizacin AOP, SOA, Grid Computing, Semantic Web...
Las herramientas arquitectnicas generan la estructura de la aplicacin e incluso el cdigo (analoga con modelos CASE) El dilema del roundtrip engineering est resuelto
Hay que considerar modelo de DSL
NATO, 1968
F. L. Bauer Ingeniera de software
NATO, 1969
P. I. Sharp, Arquitectura de software
Lnea de Brooks
Ambiente humano Visin cualitativa Pensamiento no lineal Programa crtico y heterodoxo
Definicin
http://www.sei.cmu.edu/architecture/definitions.html
(1) Proceso dentro del ciclo de vida, (2) Topologa, (3) Disciplina.
Otras definiciones
Paul 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
Desarrollos paralelos
Dcada de 1990:
Metfora de patrones de C. Alexander (1977) La Banda de los Cuatro (GoF), 1995 POSA, 1996 Desarrollo de UML / OOD
Corrientes tericas en AS
Arquitectura como etapa de la ingeniera de software orientada a objetos
James Rumbaugh, Grady Booch, Ivar Jacobson (los 3 amigos), Craig Larman
Vistas
1977, anlisis estructurado (Douglas Ross)
Separacin de incumbencias Habitualmente 2 (funcional y de datos ninguna aparece en AS)
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
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 (elementos) Los conectores no son conectores de primera clase
Estilos Arquitectnicos
Rumbaugh-Booch-Jacobson 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 Definicin no exhaustiva Criterios taxonmicos no homogneos Taxones de distinto nivel de inclusin
Algunos tipos pueden incluir otros (ej. 6 y 3)
Estilos arquitectnicos
Perry & Wolf, 1992 Incluyen:
Componentes (2003, elementos) Conectores Estructuras (topologas, configuraciones) Restricciones (constraints)
Estilos Arquitectnicos
Estilos de Flujo de Datos
Tubera y filtros
Estilos heterogneos
Sistemas de control de procesos Arquitecturas Basadas en Atributos
Estilos Peer-to-Peer
Arquitecturas Basadas en Eventos Arquitecturas Orientadas a Servicios (SOA) Arquitecturas Basadas en Recursos
Estilos Derivados
C2 GenVoca REST
Arquitecturas de Pizarra
Arquitectura de Pizarra
H. Penny Nii, 1986 (Blackboard systems) Cundo se utiliza: Problemas no susceptibles de tratarse analticamente
Reconocimiento de patrones, aprendizaje de mquina, data mining Firmas, huellas digitales, reconocimiento de iris, rostro, etc
Dos formas:
Repositorio Pizarra pura o tablero de control
Procesamiento de seales Reconocimiento de habla Redes neuronales, algoritmo gentico, simulacin de templado Agentes autnomos (dbilmente acoplados)
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
Diseo inicial
Patrones de Diseo
Diseo detallado
Patrones de Anlisis
Anlisis
Planeamiento
Idiomas
Operaciones comunes bien conocidas en un nuevo ambiente, o a travs de un grupo. Legibilidad, predictibilidad.
Usos de estilos
Mary Shaw, David Garlan, 1996
Inspirado en trabajo de Parnas, 1972 (On the criteria to be used in decomposing systems into modules) Datos compartidos vs ocultamiento de informacin
Comparacin de versatilidad, dependencia, modularidad, reutilizacin, refinamiento, ventajas & desventajas Antes de escribir una lnea de cdigo Tablas de comparacin de atributos Asignacin de pesos a prioridades
Estilos - Conclusiones
Despus de 13 aos, son menos conocidos y frecuentados que los patrones Son fundamentales para la toma de decisiones del diseo, ya que se dispone de mtodos comparativos que no existen para el caso de los patterns
Metodologas SACAM, CBAM
Requerimientos no funcionales
Performance Disponibilidad Modificabilidad Seguridad Verificabilidad (Testability) Gestionabilidad (instrumentacin, management, estado) Usabilidad
Atributos de Calidad
Escenarios
Equivalente no funcional de los casos de uso No contemplados en UML / RUP Cuantificables - No hay diagramas de escenarios Estmulo, ambiente, respuesta
Escenario de caso de uso:
Un usuario remoto de web requiere un reporte de base de datos en hora pico y lo recibe dentro de los 5 segundos.
Escenario de crecimiento:
Agregar un nuevo servidor de base de datos para reducir latencia en escenario 1 a 2.5 segundos dentro de una persona-semana.
Escenario exploratorio:
La mitad de los servidores se bajar durante operacin normal sin afectar la disponibilidad del sistema.
Gneros emparentados
Lenguajes de especificacn (LARCH, Z) Lenguajes de prototipado (Modechart, PSDL) Lenguajes de modelado (UML) Lenguajes de programacin (CODE, Ada) Herramientas para definicin de ciclo de vida (UNAS/SALE)
ADL Acme Aesop ArTek Armani C2 SADL CHAM Darwin Jacal LILEANNA MetaH Rapide SADL UML UniCon Wright xADL
Fecha 1995 1994 1994 1998 1996 1990 1991 1997 1993 1993 1990 1995 1995 1995 1994 2000
Investigador - Organismo Monroe & Garlan (CMU), Wile (USC) Garlan (CMU) Terry, Hayes-Roth, Erman (Teknowledge, DSSA) Monroe (CMU) Taylor/Medvidovic (UCI) Berry / Boudol Magee, Dulay, Eisenbach, Kramer Kicillof , Yankelevich (Universidad de Buenos Aires) Tracz (Loral Federal) Binns, Englehart (Honeywell) Luckham (Stanford) Moriconi, Riemenschneider (SRI) Rumbaugh, Jacobson, Booch (Rational) Shaw (CMU) Garlan (CMU) Medvidovic, Taylor (UCI, UCLA)
Observaciones Lenguaje de intercambio de ADLs ADL de propsito general, nfasis en estilos Lenguaje especfico de dominio No es ADL ADL asociado a Acme ADL especfico de estilo Lenguaje de especificacin ADL con nfasis en dinmica Adl - Notacin de alto nivel para descripcin y prototipado Lenguaje de conexin de mdulos ADL especfico de dominio ADL & simulacin ADL con nfasis en mapeo de refinamiento Lenguaje genrico de modelado No es ADL ADL de propsito general, nfasis en conectores y estilos ADL de propsito general, nfasis en comunicacin ADL basado en XML
Acme/Armani
Wright: Communicating Sequential Processes (CSP), lgica de primer orden LILEANNA: programacin parametrizada e hiperprogramacin Rapide: Posets SAM: Redes de Petri de transicin de predicados, lgica temporal de primer orden Jacal: Redes de Petri Casi todos los ADLs tienen BNF Modelo estructural no ligado a OO
Visin positiva: necesidad de mtodos formales debido a complejidad de factores Visin negativa: ADLs obsoletos La produccin de ADLs se ha desacelerado
Metodologas arquitectnicas
Posicionamiento en ciclo de vida (AS en RUP) Atributos de calidad & escenarios [Primitivas de atributo] Architecture Based Design (ABD) Tcticas Arquitectnicas Comparacin de alternativas (SACAM) Diseo basado en atributos (ADD) Ventajas y desventajas (ATAM) Eleccin de arquitectura Anlisis de arquitectura (SAAM) Quality Attribute Workshop (QAW) Revisin activa de diseo parcial (ARID) Anlisis de costo/beneficio (CBAM) Reformulacin: UML & RUP
Campos de AS
Fundamentos formales de la AS
Bases matemticas Caracterizaciones formales de propiedades extra-funcionales tales como mantenibilidad Teoras de la interconexin
Recuperacin y reutilizacin de arquitectura Codificacin y gua arquitectnica Herramientas y ambientes de diseo arquitectnico Estudios de casos
Problemas pendientes en AS
Falta de criterio unificado No hay un modelo de proceso de punta a punta Desarrollo en paralelo de conceptos antagnicos o no coordinados
Mtodos giles Metodologas de ciclo de vida Patrones, estilos y tcticas
Apropiacin nominal de la AS por estrategias que no implementan principios arquitectnicos pero se benefician de su prestigio Poca masa crtica de herramientas y lenguajes de modelado arquitectnico (de alto nivel, con conectores de primera clase)
Beneficios
Decisiones tempranas
Barry Boehm, 1995
Si un proyecto no ha logrado una arquitectura del sistema, incluyendo su justificacin, el proyecto no debe empezar el desarrollo en gran escala. Si se especifica la arquitectura como un elemento a entregar, se la puede usar a lo largo de los procesos de desarrollo y mantenimiento [Boe95].
Anlisis de consistencia antes de elaborar el diseo (y escribir el cdigo) Sistematizacin de la experiencia Homogeneizacin del lenguaje (IEEE 1471) Herramientas para la evolucin Re-utilizacin
Conclusiones generales
Importancia de la Arquitectura de Software Criticidad de las decisiones tempranas de arquitectura Alto nivel de abstraccin Vinculada con requerimientos no funcionales Fuerte impulso en la academia y la industria Herramientas arquitectnicas an en proceso de definicin y desarrollo Metodologas arquitectnicas, en proceso de elaboracin preliminar Resta elaborar: tcticas arquitectnicas, mtodos basados en arquitectura, vnculo entre conceptos de arquitectura, DSLs, factoras, building blocks,
Referencias
Artculos de Arquitectura de Software en http://www.microsoft.com/spanish/msdn/arquitec tura Len Bass, Paul Clements, Rick Kazman. 2003. Software Architecture in Practice, 2 edicin Documentacin del SEI en Carnegie Mellon
http://www.sei.cmu.edu/publications/publications.html
Rick Kazman, Philippe Kruchten et al. 2004. Integrating Software-Architecture-centric methods into the Rational Unified Process, CMU/SEI-2004TR-011 Recomendaciones IEEE 1471/2000
Preguntas?
Billyr@microsoft.com.ar