Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

Este projeto propõe uma ferramenta para verificação formal da composição dos serviços web com base no cálculo Pi e na conversão entre o BPEL e o pi-cálculo. Esta ferramenta integra dois tipos de técnicas formais de verificação e pode validar automaticamente.

história da versão

  • Versão webjetCheck1.0_src.zip postado em 2006-12-13
    Várias correções e atualizações
  • Versão webjetCheck1.0_src.zip postado em 2006-12-13

Detalhes do programa

Programas Relacionados

  • Kernel Module Examples Grátis

    Um Módulo Kernel Carregador - exemplos sobre como codificar um Módulo Kernel carregador.

  • J-Hop Gnutella System Grátis

    Servent gnutella modular com interfaces GUI, texto e lote. Desenvolvido com java1.4 novas I/O e redes APIs. Otimizado para ligações de baixa largura de banda e ADSL.

  • dasmarm Grátis

    Desmontar e montar o Windows Mobile com processador ARM. Compilado com Pelles C no Windows XP.

  • Cojen - Java bytecode generator Grátis

    Dinâmica java bytecode geração e ferramentas de desmontagem. Um construtor permite que o código seja gerado mais facilmente, em vez de ter que selecionar instruções exatas. São fornecidas classes de utilidade que demonstram o

  • digitalSTROM Grátis

    Controle e monitorize a sua casa ativada digital mente usando o seu dispositivo Android através da sua rede Wi-Fi. Pode definir cenas de luz para se adaptar aos seus humores e abrir, fechar ou ajustar as persianas. Veja o seu

  • jamsel Grátis

    JAMSEL (Java API for Message Selection) é uma implementação de alto desempenho da especificação de seleção JMS 1.1 para filtragem do lado do cliente. A API Java/C# fornece suporte construído para fornecedores de dados JMS, TI

  • animal battery widget *alpaca* Julgamento Gratuito

    Widget ALPACA bonito para mostrar a quantidade restante de bateria.Exibe o design bonito, a bateria dos smartphones.Também são exibidos em números fáceis de ler.15 design incluem!O melhor para o ecrã principal!Tam

  • LambdaMOO Server Grátis

    LambdaMOO é um sistema interativo acessível à rede, multiutilizador, programável e interativo, adequado à construção de jogos de aventura baseados em texto, sistemas de conferências e outros softwares colaborativos.

  • PPIV Grátis

    PPIV é uma aplicação paralela de software utilizada na análise de Velocimetria de Imagem de Partículas (PIV). O software irá calcular o campo vetorial para um par de imagens ou múltiplos pares de imagens. O PPIV pode funciona

  • HTC One LED Flashlight Julgamento Gratuito

    Utilize o telemóvel como lanterna ligando e desligando a luz LED (ao lado da câmara). Esta aplicação de tochas grátis é brilhante e parece ótima. É rápido e fácil de usar, com um grande botão centrado.CARACTERÍSTICAS:-