Syspect Un entorno de desarrollo gráfico gratuito para subconjuntos UML
Descargar ahora

Syspect Clasificación y resumen

Syspect Etiquetas

traducir desarrollar entorno de desarrollo diagrama traducir diagrama traducción del diagrama

Syspect Descripción

Un entorno de desarrollo gráfico gratuito para subconjuntos UML. Syspect es una fuente gratuita y abierta, entorno de desarrollo gráfico para un subconjunto UML con una semántica formal de acuerdo con el idioma CSP-OZ-DC. CSP-OZ-DC combina el proceso de algebra CSP para la especificación de la comunicación y el comportamiento del proceso, el método objeto-Z, que describe los datos y las operaciones, y la duración del cálculo para caracterizar los requisitos basados ​​en el tiempo. Syspect permite al usuario diseñar componentes, clases y estatijas. Los problemas que se producen durante una exportación se identificarán y se marcarán visualmente. Para la formalización de los datos, la herramienta ofrece diferentes posibilidades de entrada, como una entrada gráfica para la especificación-Idioma Z. Además, la herramienta comprende un editor para la duración de las fórmulas de cálculo. Syspect admite el ahorro de modelos en XMI, así como su propio formato de datos. Además de una exportación gráfica para los tipos de imágenes comunes, el Enviroment Syspect de desarrollo admite una exportación de látex para una conveniente presentación de una especificación.syspect ofrece una traducción de la especificación en la fase evento Automata. Estos se pueden leer por modelos de herramientas de verificación a las propiedades de Verifiy (seguridad) de la especificación. Actualmente, está disponible una conexión automatizada con el modelo ARMC del modelo: El modelo de Syspect se puede verificar automáticamente contra la duración de las fórmulas de cálculo. Si ARMC detecta un error y devuelve un contador Ejemplo de Syspect visualiza este ejemplo de contador de una manera fácil de usar.

Syspect Software relacionado