Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Presentacion
Presentacion
SPADE.
El entorno SPADES es un SPEE diseñado para dar soporte al análisis, diseño y ejecución de los procesos software. Para el
modelado de los procesos utiliza el formalismo SLANG, que es un LMP basado en una extensión de redes Petri a alto
nivel.
Las actividades y estados de actividad en SLANG son representados como redes Petri, mientras que los
datos de proceso se representan como tokens. Un modelo de procesos en SLANG esta compuesto por
los siguientes elementos:
Process types. Que Es un conjunto de definiciones de tipos organizadas de forma jerárquica de acuerdo a
un estilo en SLANG todos los datos del proceso son caracterizados como tipos y organizados en jerarquías
de herencia
Process activitties. Es un conjunto de definiciones de actividad. Una definición de actividad es una red de
Petri a alto nivel donde se incluyen lugares, arcos y transiciones. Cada lugar tiene un nombre y un tipo y se
comporta como un repositorio que únicamente contiene tokens de su tipo o cualquiera de sus subtipos.
la arquitectura de SPADE esta constituida
por tres elementos fundamentales