Resumen de Un lenguaje para la especificación y validación de arquitecturas de software
A medida que aumenta la complejidad de los sistemas de software surgen aspectos de su desarrollo que hasta entonces no se habian tenido en cuenta, al menos de forma explicita, La Ingenieria del Software ha ido respondiendo a estas necesidades con el desarrollo de nuevos modelos, notaciones y metodos.
Dentro de esta tendencia se encuadra el creciente interes por los aspectos arquitectonicos del software, referidos a todo lo relativo a la estructura de alto nivel de los sistemas; su organización en subsistemas y la relacion entre estos, la construccion de aplicaciones vista como una actividad composicional en la que se reutilizan elementos creados por terceros; el desarrollo de familiares de productos caracterizadas por presentar una arquitectura comun;
el mantenimiento y la evolucion entendidos como sustitucion de componentes dentro de un marco arquitectonico, etc. En efecto, un aspecto critico a la hora de desarrollar sistemas de software complejos es el diseño de su arquitectura, representada como un conjunto de elementos computacionales y de datos interrelacionados de un modo determinado.
Desde este punto de vista se ha caracterizado recientemente la Arquitectura del Software como un campo especifico de estudio, centrado en el nivel del diseño en que se describen las propiedades estructurales del sistema que no pueden ser tratadas adecuadamente en los modulos o componentes que lo forman.
Si bien el campo de estudio de la Arquitectura del Software no es algo nuevo, tradicionalmente las arquitecturas han sido desarrolladas de forma implicita. La descripción de los aspectos arquitectonicos ha estado limitada al uso de ciertas expresiones, como arquitectura cliente/servidor o arquitectura en capas, acompañadas de diagramas informales. Estas descripciones carecen de un significado preciso, lo que limita de forma drastica su utilidad.
Existe,por tanto, una clara necesidad de notaciones de alto nivel especificamente orientadas a la d
