Andere Kunden interessierten sich auch für
![Identificación de Modelos Difusos y Control de Sistemas No Lineales]( "Identificación de Modelos Difusos y Control de Sistemas No Lineales")
Identificación de Modelos Difusos y Control de Sistemas No Lineales29,99 €![Ciencia y tecnología de la transformación agroindustrial del anacardo]( "Ciencia y tecnología de la transformación agroindustrial del anacardo")
Ciencia y tecnología de la transformación agroindustrial del anacardo43,99 €![Modelos de explotación de embalses para sistemas de múltiples embalses]( "Modelos de explotación de embalses para sistemas de múltiples embalses")
Modelos de explotación de embalses para sistemas de múltiples embalses32,99 €![Conceptos de modelos de aprendizaje automático: Una guía completa]( "Conceptos de modelos de aprendizaje automático: Una guía completa")
Conceptos de modelos de aprendizaje automático: Una guía completa32,99 €![Tecnologías de búsqueda e IA: Transformación de la recuperación de información]( "Tecnologías de búsqueda e IA: Transformación de la recuperación de información")
Tecnologías de búsqueda e IA: Transformación de la recuperación de información43,99 €![Un estudio sobre los modelos de colaboración en la producción de software]( "Un estudio sobre los modelos de colaboración en la producción de software")
Un estudio sobre los modelos de colaboración en la producción de software39,99 €![Transformación de los sistemas de infraestructuras Parte 3]( "Transformación de los sistemas de infraestructuras Parte 3")
Transformación de los sistemas de infraestructuras Parte 326,99 €
Los sistemas de software actuales están aumentando enormemente de tamaño. Esto hace que la verificación y validación de estos sistemas sea una tarea cada vez más difícil. No sólo aumenta el tamaño de los sistemas, sino que también es necesario desarrollar y admitir un número cada vez mayor de características y formalismos para modelar y analizar aplicaciones de la vida real. Cada sistema se representa en forma de modelo. Existen muchas notaciones de modelado, como BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language), etc. BPMN es capaz de representar todos los aspectos de un gran proceso empresarial concreto. Por tanto, BPMN es un estándar emergente para representar procesos empresariales e indirectamente sistemas de software. BPMN es una notación visual de modelado de procesos fácilmente comprensible para los analistas de negocio. Pero BPMN va por detrás de la semántica formal de los sistemas. A la hora de verificar un sistema concreto, estas notaciones de modelado no bastan para garantizar la corrección semántica del sistema. Por lo tanto, para la verificación y validación de sistemas, según el enfoque propuesto, el modelo BPMN del sistema se convierte en un modelo REO y, a continuación, en mCLR, un lenguaje de especificación formal.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.