Laboratorio matlab

El articulo describe, que la arquitectura de software juega un papel vital en el diseño de sistemas

de software de alto nivel, y el soporte de verificación dificulta el desarrollo de modelos

arquitectónicos de calidad.

La ventaja de tales verificaciones es que para determinar si una estructura modelada

puede satisfacer un conjunto de propiedades dadas derivadas de los requisitos de un sistema

capturan las propiedades y estructuras de sistemas mediante la introducción de componentes

que interactuan a través de conectores. Por ejemplo, Wright es considerado como el lenguaje

prominente en el modelado de componentes y la estructura del conector.

Puede describir sistemas concurrentes y distribuidos y tiene su propio modelo de verificacion

LTSA. El lenguaje puede manejar la reconfiguración del comportamiento, bueno pero no puede abordar

los problemas de interacciones complejas.

El enfoque mejoró con el rendimiento de la verificación, sin embargo, los gastos generales

de la descomposición del modelo, así como los problemas de dependencia entre los submodelos

durante la fase de verificación paralela aún permanece como desafíos. La estructura es clara

y está diseñada precisamente para dar a los usuarios representación topológica de cómo

se compone el sistema.

El nuevo lenguaje es capaz de describir ambos comportamientos del sistema estáticos y dinámicos,

así como apoyar la configuración de estilo de arquitectura. Los sistemas de software grandes y

complejos a menudo se representan usando una combinación de diferentes patrones arquitectónicos.

A la luz de esta observación, construimos una arquitectura biblioteca de estilos en la herramienta

para facilitar la reutilización de patrones de arquitectura comunes con extensión. La biblioteca

contiene un conjunto de estilos de arquitecturas de software de uso común, como el cliente-servidor,

peer-to-peer, pipe-filter, publishsubscriber,datos compartidos, etc.

Un componente tiene dos elementos para expresarse: uno es número de puertos, el otro es la

computación. Puertos que sirven como las interfaces para que el componente se comunique con su

ambiente. La especificación de cada puerto indica qué interacción en la que ha participado el

componente. La sintaxis para definir los comportamientos de los componentes y los conectores

se basan en un subconjunto de lenguaje CSP. Se propone una sintaxis más completa para modelar

componentes y conectores. Un estado del sistema se compone de dos componentes (V, P) donde V es una función mapeando un nombre de variable a su

valor, a lo que nos referimos como una función de valoración, y P es un proceso de arquitectura.

...