Syspect. Um ambiente gratuito de desenvolvimento gráfico para subconjuntos UML
Baixe Agora

Syspect. Classificação e resumo

Syspect. Tag

traduzir desenvolve ambiente de desenvolvimento diagrama Traduza o diagrama Diagram Tradutor

Syspect. Descrição

Um ambiente de desenvolvimento gráfico gratuito para subconjuntos UML O SYSPECT é um ambiente gratuito e aberto de desenvolvimento gráfico para um subconjunto UML com uma semântica formal de acordo com a linguagem csp-oz-dc. O CSP-Oz-DC combina o CSP da álgebra do processo para a especificação do comportamento de comunicação e processo, o método Object-Z, que descreve dados e operações e cálculo de duração para caracterizar os requisitos baseados em tempo. SYSPECT permite que o usuário crie componente, classe e statediaGrams. Problemas ocorridos durante uma exportação serão identificados e marcados visualmente. Para a formalização de dados, a ferramenta oferece diferentes possibilidades de entrada, como uma entrada gráfica para a linguagem de especificação Z. Além disso, a ferramenta compreende um editor para fórmulas de cálculo de duração. O SYSPECT suporta economia de modelos no XMI, bem como seu próprio formato de dados. Além de uma exportação gráfica para os tipos de imagem comuns, o desenvolvimento do desenvolvimento SYSPECT suporta uma exportação de látex para uma apresentação conveniente de uma especificação.Syspect oferece uma tradução da especificação em automatização de eventos de fase. Estes podem ser lidos por ferramentas de verificação de modelos para propriedades verificadas (segurança) da especificação. Atualmente, uma conexão automatizada com o modelo Checker ARRC está disponível: o modelo SYSPECT pode ser automaticamente verificado contra fórmulas de cálculo de duração. Se a ARMC detectar um erro e retornar um exemplo do contador, o SYPECT visualiza este exemplo de contador de uma maneira amigável.

Syspect. Software Relacionado